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.
412 Publications
2000 | Conference Paper | LibreCat-ID: 2211 | 
A. Czumaj and C. Scheideler, “A New Algorithmic Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems ,” in 32nd ACM Symposium on Theory of Computing, 2000, pp. 38–47.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 21783
S. Volbracht and G. Domik, “Developing Effective Navigation Techniques in Virtual 3D Environments,” in Virtual Environments 2000, 2000, pp. 55–64.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7790
H. Ehrig, G. Engels, H.-J. Kreowksi, and G. Taentzer, Eds., Special Issue: Selected Papers of GRATRA 2000, vol. 44, no. 2. Amsterdam, The Netherlands: Elsevier, 2000.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7791
J. D. P. Rolim et al., Eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland). Waterloo, Ontario, Canada: Carleton Scientific, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7861
M. Lohmann and A. Wagner, “Konzeption eines XML-fähigen Mailtools,” in Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7862
S. Thöne, “Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate,” in Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7863
A. Cherchago and N. Alexandrova, “A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics,” in Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7864
R. Depke, M. Langham, B. Lütkemeier, and S. Thöne, “Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen,” in Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
G. Engels and R. Heckel, “Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution,” in Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), 2000, vol. 1853, pp. 127–150.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7873
G. Engels, R. Heckel, and S. Sauer, “UML - A Universal Modeling Language?,” in Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), 2000, vol. 1825, pp. 24–38.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7874
G. Engels and L. Groenewegen, “Object-Oriented Modeling - A Roadmap,” in Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland), 2000, pp. 103–116.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7875
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML,” in Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK), 2000, vol. 1939, pp. 323–337.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7876
J. Hendrik Hausmann, “Graphtransitionsregeln zur Beschreibung der Semantik von UML,” in Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), 2000, pp. 103–107.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7877
K. Mehner and A. Wagner, “Visualizing the Synchronization of Java-Threads with UML,” in Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), 2000, pp. 199–206.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8124
S. Krauter and R. G. Araujo, “New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation,” in Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. , 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8125
S. Krauter and H. Herold, “PV in Brazil,” in Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2909–2911, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8126
S. Krauter, “Sistemas híbridos termo-solares/fotovoltaicos.,” in Proceedings of Workshop “Formas Não-Convencionais de Geração e Uso Racional de Energia”, UFSC, Florianópolis, Santa Catarina (Brasilien), 9.–11. November 2000., 2000.
LibreCat
2000 | Report | LibreCat-ID: 8207
R. Depke, G. Engels, and J. Küster, On the Integration of Roles in the UML. University of Paderborn, Department of Computer Science, 2000.
LibreCat