Search
Now showing items 1-10 of 61
An Approach for Modeling and Coordinating Process Interactions
Künzle, Vera et al. (2016)
Arbeitspapier
Model-Checking zur Analyse von Message Sequence Charts über Statecharts
Canver, Ercüment (2010)
Arbeitspapier
Structural average case complexity
Schuler, Rainer; Yamakami, Tomoyuki (2010)
Arbeitspapier
Architecture independent massive parallelization of Divide-and-Conquer algorithms
Achatz, Klaus; Schulte, Wolfram (2010)
Arbeitspapier
Towards average-case complexity analysis of NP optimization problems
Schuler, Rainer; Watanabe, Osamu (2010)
Arbeitspapier
Complexity of Presburger arithmetic with fixed quantifier dimension
Schöning, Uwe (2010)
Arbeitspapier
Prinzipien der Replikationskontrolle in verteilten Systemen
Beuter, Thomas; Dadam, Peter (2010)
Arbeitspapier
Towards customizable, flexible storage structures for complex objects
Keßler, Ullrich; Dadam, Peter (2010)
Arbeitspapier
Ein AppleTalk Link Access Protocol basierend auf dem Abstract Personal Communications Manager
Lupper, Alfred; Froitzheim, Konrad (2010)
Arbeitspapier
Rechnerunterstützung für die konzeptuelle Modellierung
Gaßner, Klaus (2010)
Arbeitspapier