Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

14326 Publications


2001 | Journal Article | LibreCat-ID: 7392
Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Applied Categorical Structures 9 (2001) 83–110.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7880
Compositional Modeling of Reactive Systems Using Open Nets
P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg, 2001, pp. 502–518.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7885
A methodology for specifying and analyzing consistency of object-oriented behavioral models
G. Engels, J. Küster, L. Groenewegen, R. Heckel, in: Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), ACM Press, New York, NY, USA, 2001, pp. 186–195.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7892
Towards Behavior Consistent Modeling in UML-RT
J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon, France, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8129
Development of an All-in-one Solar Home System
F. Ochs, S. Krauter, in: Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2595–2597, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8131
Façade Elements for Combined Photovoltaic–Solar Thermal Energy Generation and Building Insulation
S. Krauter, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 275–262, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8357
Agent-oriented Modeling with Graph Transformation
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
LibreCat | DOI
 

2001 | Journal Article | LibreCat-ID: 8922
Heat and Wear Generation for Rolling Contacts
W. Sextro, Zeitschrift Für Angewandte Mathematik Und Mechanik (ZAMM) 81 (2001) 225–226.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 8864
Players, Playthings and Patterns: Three Stages of Heteronomy in Beckett's Mature Drama
M. Tönnies, Samuel Beckett Today / Aujourd’hui: Endlessness in the Year 2000 / Fin sans Fin En l’an 2000 11 (2001) 194–201.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 996
Relative jitter packet scheduling for differentiated services
T. Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Proc. 9th IFIP Conf. Perf. Modeling and Eval. of ATM & IP Networks, 2001.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed