Fabian Schwarzer;Florian Bieberbach;Leo Joskowicz;Achim Schweikard
Efficiently Testing for Unboundedness and m-handed Assembly
1997
14

Alexander Vilbig;Bernd Deifel;Sascha Molterer;Andreas Rausch;Marc Sihling
Using the SysLab Method - A Case Study
1997
21

Klaus Bergner;Franz Huber;Andreas Rausch;Marc Sihling
Component-Oriented Redesign of the CASE-Tool AutoFocus
1997
34

Veronika Thurner
A Formally Founded Description Technique for Business Processes
1997
14

Jan Philipps;Alexander Schmidt
Traffic Flow by Data Flow
1997
39

Norbert Froehlich;Rolf Schlagenhaft;Josef Fleischmann
Partitioning VLSI-Circuits for Parallel Simulation on Transistor Level
1997
18 Pages

Christian Prehofer
From Inheritance to Feature Interaction or Composing Monads
1997
25

Christine Roeckl
How to Make Substitution Preserve Strong Bisimilarity
1997
18

Christian B. Czech
Architektur und Konzept des Dycos-Kerns
1997
46

Hans-Joachim Bungartz;Anton Frank;Florian Meier;Tilman Neunhoeffer;Stefan Schulte
Fluid Structure Interaction: 3D Numerical Simulation and Visualization of a Micropump
1997
34