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.
907 Publications
2000 | Conference Paper | LibreCat-ID: 8345
@inproceedings{Küster_Stroop_2000, place={York, UK}, title={Towards Consistency of Dynamic Models and Analysis of Timing Constraints}, booktitle={Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)}, publisher={University of York}, author={Küster, Jochen and Stroop, Joachim}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
@inproceedings{Mehner_Schattkowsky_2000, title={Methodische Aspekte von Modellierungssprachen für nebenläufige Software}, volume={24}, booktitle={Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)}, publisher={Universität Münster}, author={Mehner, Katharina and Schattkowsky, Tim}, year={2000}, pages={14–18} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
@inproceedings{Mehner_Wagner_2000, series={Koblenzer Schriften zur Informatik}, title={Visualisierung der Synchronisation von Java-Threads mit UML}, volume={15}, booktitle={Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)}, publisher={Fölbach}, author={Mehner, Katharina and Wagner, Annika}, year={2000}, collection={Koblenzer Schriften zur Informatik} }
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
@book{Engels_Beiersdörfer_Schäfer_1999, place={Berlin/Heidelberg}, series={Informatik aktuell}, title={Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}, publisher={Springer}, year={1999}, collection={Informatik aktuell} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
@inproceedings{Deugo_Küster_Oppacher_von Otte_1999, title={Patterns as a Means for Intelligent Software Engineering}, volume={2}, booktitle={Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)}, publisher={CSREA Press}, author={Deugo, Dwight and Küster, Jochen and Oppacher, Franz and von Otte, Ingo}, year={1999}, pages={605–611} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
@inproceedings{Corradini_Heckel_Montanari_1999, place={Berlin/Heidelberg}, series={LNCS}, title={Tile Transition Systems as Structured Coalgebras}, volume={1684}, booktitle={Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)}, publisher={Springer}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={13–38}, collection={LNCS} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
@inproceedings{Cherchago_1999, title={Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development}, booktitle={Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)}, author={Cherchago, Alexey}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
@inproceedings{Engels_Depke_Borowski_1999, place={Ostfildern}, title={Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung}, volume={8}, booktitle={Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen}, publisher={Technische Akademie Esslingen}, author={Engels, Gregor and Depke, Ralph and Borowski, Christoph}, year={1999}, pages={531–540} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
@inproceedings{Engels_Hücking_Sauer_Wagner_1999, place={Berlin/Heidelberg}, series={LNCS}, title={UML Collaboration Diagrams and Their Transformation to Java}, volume={1723}, booktitle={Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA}, publisher={Springer}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}, year={1999}, pages={473–488}, collection={LNCS} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
@inproceedings{Gadducci_Heckel_Llabrés_1999, series={Electronic Notes in Theoretical Computer Science}, title={A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting}, volume={29}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80309-3}, booktitle={Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)}, publisher={Elsevier}, author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1999}, pages={80–100}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI