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.

5792 Publications


2000 | Conference Paper | LibreCat-ID: 8339
G. Engels and R. Heckel, “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation,” in Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland), 2000, pp. 373–382.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8340
G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 44–49.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7396
G. Engels and R. Heckel, “Graph Transformation and Visual Modeling Techniques,” Bulletin of the EATCS, no. 71, pp. 186–202, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7397
A. Corradini and R. Heckel, “Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo,” Bulletin of the EATCS, no. 72, pp. 69–76, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7398
R. Depke, R. Heckel, J. Küster, and M. Langham, “Agenten im Auftrag des Bankkunden,” Geldinstitute, vol. 31, no. 1–2, pp. 32–33, 2000.
LibreCat
 

2000 | Book | LibreCat-ID: 7509
E.-E. Doberkat, Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7520
G. Engels, U. Kelter, R. Depke, and K. Mehner, “Unterstützende Angebote der Softwarebegleitgruppe,” in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 27–56.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7521
G. Engels, R. Depke, and K. Mehner, “Ergebnisse - vergleichende Darstellung,” in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 277–294.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7522
G. Engels, L. Groenewegen, and G. Kappel, “Coordinated Collaboration of Objects,” in Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8341
F. Gadducci, R. Heckel, and M. Koch, “A Fully Abstract Model for Graph-Interpreted Temporal Logic,” in Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), 2000, vol. 1764, pp. 310–322.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8342
G. Engels and A. Zamperoni, “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!,” in Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 2000, vol. 1779, pp. 359–368.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8343
R. Heckel and S. Sauer, “Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML,” in Proceedings of the 7th GI-Workshop GROOM, 2000, vol. 20, no. 2, pp. 43–44.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
R. Heckel and S. Sauer, “Strengthening the Semantics of UML Collaboration Diagrams,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 63–69.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8345
J. Küster and J. Stroop, “Towards Consistency of Dynamic Models and Analysis of Timing Constraints,” in Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8346
K. Mehner and T. Schattkowsky, “Methodische Aspekte von Modellierungssprachen für nebenläufige Software,” in Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), 2000, vol. 24, pp. 14–18.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8347
K. Mehner and A. Wagner, “Visualisierung der Synchronisation von Java-Threads mit UML,” in Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), 2000, vol. 15.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6507
M. Platzner, “Reconfigurable accelerators for combinatorial problems,” Computer, vol. 33, no. 4, pp. 58–60, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 16495
F. Meyer auf der Heide, H. Räcke, and M. Westermann, “Data management in hierarchical bus networks,” 2000, doi: 10.1145/341800.341814.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 16496
F. Meyer auf der Heide, B. Vöcking, and M. Westermann, “Caching in networks,” in SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms, 2000, pp. 430–439.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16497
F. Meyer auf der Heide, M. Kutyłowski, and P. Ragde, “Complexity Theory and Algorithms,” in Euro-Par 2000 Parallel Processing, Berlin, Heidelberg, 2000.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed