Search
Now showing items 1-10 of 61
A pumping lemma for output languages of attributed tree transducers
Kühnemann, Armin; Vogler, Heiko (2010)
Arbeitspapier
Model-Checking zur Analyse von Message Sequence Charts über Statecharts
Canver, Ercüment (2010)
Arbeitspapier
Towards customizable, flexible storage structures for complex objects
Keßler, Ullrich; Dadam, Peter (2010)
Arbeitspapier
Rechnerunterstützung für die konzeptuelle Modellierung
Gaßner, Klaus (2010)
Arbeitspapier
Ein AppleTalk Link Access Protocol basierend auf dem Abstract Personal Communications Manager
Lupper, Alfred; Froitzheim, Konrad (2010)
Arbeitspapier
COCOON and KRISYS - a survey and comparison
Laasch, Christian et al. (2010)
Arbeitspapier
On the correlation of symmetric functions
Cai, Jin-Yi; Green, Frederic; Thierauf, Thomas (2010)
Arbeitspapier
ADEPT_flex - supporting dynamic changes of workflows without loosing control
Reichert, Manfred; Dadam, Peter (2010)
Arbeitspapier
Generic compilation schemes for simple programming constructs
Pfeifer, Holger et al. (2010)
Arbeitspapier
The complexity of generating and checking proofs of membership
Buhrman, Harry; Thierauf, Thomas (2010)
Arbeitspapier