Javier Esparza;David Hansel;Peter Rossmanith;Stefan Schwoon
Efficient Algorithm for Model Checking Pushdown Systems
2000
40

Ruth Breu;Wolfgang Schwerin
V-Model Conform Software Development with Catalysis
2000
65

Markl Volker;Ramsak Frank;Bayer Rudolf
Improving OLAP Performance by Multidimensional Hierarchical Clustering
2000
26

Guenther Rackl
Monitoring Globus Components with MIMO
2000
30

Klaus Bergner;Bernhard Deifel;Carsten Jacobi;Wolfgang Kellerer;Andreas Rausch;Alexander Sabbah;Bernhard Schaetz;Marc Sihling;Alexander Vilbig;Sascha Vogel
The Future of Information Technology - an interdisciplinary, scenario-based approach
2000
18

Barbara Koenig
Analysing Input/Output Capabilities of Mobile Processes with a Generic Type System
2000
28

Manfred Broy;Ruth Breu;Franz Huber;Ingolf Krueger;Bernhard Rumpe;Wolfgang Schwerin
SysLab - Abschlussbericht
2000
37

Max Breitling;Jan Philipps
Verification Diagrams for Dataflow Properties
2000
59

Barbara Koenig
Hypergraph Construction and Its Application to the Compositional Modelling of Concurrency
2000
22

Barbara Koenig
A General Framework for Types in Graph Rewriting
2000
34