Search
Now showing items 1-10 of 61
Towards average-case complexity analysis of NP optimization problems
Schuler, Rainer; Watanabe, Osamu (2010)
Arbeitspapier
Model-Checking zur Analyse von Message Sequence Charts über Statecharts
Canver, Ercüment (2010)
Arbeitspapier
A pumping lemma for output languages of attributed tree transducers
Kühnemann, Armin; Vogler, Heiko (2010)
Arbeitspapier
Efficient distributed workflow management based on variable server assignments
Bauer, Thomas; Dadam, Peter (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
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
New collapse consequences of NP having small circuits
Köbler, Johannes; Watanabe, Osamu (2010)
Arbeitspapier
COCOON and KRISYS - a survey and comparison
Laasch, Christian et al. (2010)
Arbeitspapier