about
welcome!
the castle of hagenberg
partners
conferences
media
how to reach us
contact
certificates
|
people
|
publications
|
projects
|
research
algebraic geometry
description
members
seminar
publications
software
algorithm theory
description
members
seminar
publications
algorithmic combinatorics
description
members
seminar
publications
software
events
links
computer algebra
description
members
seminar
publications
software
formal methods
description
members
seminar
publications
software
parallel/distributed computing
description
members
seminar
projects
publications
software
theorema
description
members
seminar
publications
software
events
|
education
courses
phd program
theses
risc moodle
|
industry
internal
my risc
my mail
my personal data
my publications
my library
my allocations
my teaching
forum talks
risc wiki
risc portal
risc mailing lists
sysadmin user info
quick guide
complete guide
system administration
equipment
rooms
image archive
media archive
> people
>
search:
sitemap
Wolfgang Schreiner
E-mail:
Wolfgang.Schreiner
risc.uni-linz.ac.at
Room 1.3-1
Phone: +43 732 2468 +43 732 2468 9963
Research Interests
Formal Methods, Parallel and Distributed Computing
Publications and Software
[
Publications
|
Talks
]
Some technical reports are not online yet. If you wish to obtain a preprint, please send a mail to the author.
Personal Homepage
[
Homepage
]
The content of this page is provided under the responsibility of its owner.