Browse by Series Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Showing results 1 to 20 of 98
Series Issue Number | Title | Author(s) |
2007-01 | Categorical Foundation for Layer Consistency in AHO-Net Models Supporting Workflow Management in Mobile Ad-Hoc Networks | Biermann, Enrico; Modica, Tony; Hoffmann, Kathrin |
2007-02 | Concurrency in Reconfigurable Place/Systems | Ehrig, Hartmut; Ermel, Claudia; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike |
2007-03 | ObjectTeams/Java Language Definition - version 1.0 | Herrmann, Stephan; Hundt, Christine; Mosconi, Marco |
2007-04 | QAOOSE 2007 – Proceedings of the 11th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software | - |
2007-05 | ICOOOLPS'2007 – Proceedings of the Second ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems | - |
2007-06 | Proceedings of the Third Workshop on Models and Aspects - Handling Crosscutting Concerns in MDSD | - |
2007-07 | 17th Edition of ECOOP Doctoral Symposium and PhD Workshop | - |
2007-08 | 1st Workshop on Refactoring Tools (WRT'07) | - |
2007-09 | Roles '07 – Proceedings of the 2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies | - |
2007-10 | 1st Workshop on Model-driven Software Adaptation | - |
2007-11 | EOOLT 2007 – Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools | - |
2007-13 | TimeNET 4.0 | Zimmermann, Armin; Knoke, Michael |
2007-14 | Object Technology for Ambient Intelligence | - |
2007-14 | Adhesive High-Level Replacement Systems with Negative Application Conditions | Lambers, Leen |
2007-15 | On Spectral Conditions for Positive Realness of Transfer Function Matrices | Shorten, R.; Curran, P.; Wulff, Kai; King, C.; Zeheb, E. |
2007-16 | On quadratic stability of state-dependent planar switching systems | Shorten, R.; King, C.; Wulff, Kai; Mason, O. |
2007-17 | On the stability of switched dfferential algebraic Systems - conditions and applications | Pendharkar, Ishan; Wulff, Kai; Raisch, Jörg |
2007-18 | Information Security and Knowledge Management: Solutions Through Analogies? | Glaser, Timo; Pallas, Frank |
2007-20 | A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL | Kammüller, Florian; Sudhof, Henry |
2007-21 | Theorie der Informatik zwischen den Stühlen | Siefkes, Dirk |