@inproceedings{2211,
  author       = {{Czumaj, Artur and Scheideler, Christian}},
  booktitle    = {{32nd ACM Symposium on Theory of Computing}},
  pages        = {{38--47}},
  title        = {{{A New Algorithmic Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems }}},
  year         = {{2000}},
}

@article{21782,
  author       = {{Domik, Gitta}},
  journal      = {{IEEE Computer Graphics and Applications}},
  number       = {{4}},
  pages        = {{16--19}},
  publisher    = {{IEEE}},
  title        = {{{Do we need formal education in visualization?}}},
  doi          = {{10.1109/38.851744}},
  volume       = {{20}},
  year         = {{2000}},
}

@inproceedings{21783,
  author       = {{Volbracht, Sabine and Domik, Gitta}},
  booktitle    = {{Virtual Environments 2000}},
  editor       = {{Mulder, Jurriaan and van Liere, Robert}},
  isbn         = {{978-3-7091-6785-4}},
  pages        = {{55--64}},
  publisher    = {{Springer Vienna}},
  title        = {{{Developing Effective Navigation Techniques in Virtual 3D Environments}}},
  year         = {{2000}},
}

@proceedings{7790,
  editor       = {{Ehrig, Hartmut and Engels, Gregor and Kreowksi, H.-J. and Taentzer, Gabriele}},
  number       = {{2}},
  publisher    = {{Elsevier}},
  title        = {{{Special Issue: Selected Papers of GRATRA 2000}}},
  volume       = {{44}},
  year         = {{2000}},
}

@proceedings{7791,
  editor       = {{Rolim, J.D.P. and Broder, A.Z. and Corradini, A. and Gorrieri, R. and Heckel, R. and Hromkovic, J. and Vaccaro, U. and Wells, J.B.}},
  publisher    = {{Carleton Scientific}},
  title        = {{{Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland)}}},
  year         = {{2000}},
}

@inproceedings{7861,
  author       = {{Lohmann, Marc and Wagner, Annika}},
  booktitle    = {{Proceedings of Net.Object Days 2000, Erfurt (Germany)}},
  title        = {{{Konzeption eines XML-fähigen Mailtools}}},
  year         = {{2000}},
}

@inproceedings{7862,
  author       = {{Thöne, Sebastian}},
  booktitle    = {{Proceedings of the Informatiktage 2000, Bad Schussenried (Germany)}},
  publisher    = {{Konradin-Verlag}},
  title        = {{{Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate}}},
  year         = {{2000}},
}

@inproceedings{7863,
  author       = {{Cherchago, Alexey and Alexandrova, N.}},
  booktitle    = {{Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia)}},
  title        = {{{A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics}}},
  year         = {{2000}},
}

@inproceedings{7864,
  author       = {{Depke, Ralph and Langham, Matthew and Lütkemeier, Björn and Thöne, Sebastian}},
  booktitle    = {{Proceedings of the Net.ObjectDays (2000), Erfurt (Germany)}},
  title        = {{{Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen}}},
  year         = {{2000}},
}

@inproceedings{7872,
  author       = {{Engels, Gregor and Heckel, Reiko}},
  booktitle    = {{Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland)}},
  pages        = {{127--150}},
  publisher    = {{Springer}},
  title        = {{{Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45022-X_12}},
  volume       = {{1853}},
  year         = {{2000}},
}

@inproceedings{7873,
  abstract     = {{Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to model structural and behavioral aspects of a software system. The UML was developed as a general-purpose language together with intrinsic features to extend the UML towards problem domain-specific profiles. The paper illustrates the language features of the UML and its adaptation mechanisms. As a conclusion, we show that the UML or an appropriate, to be defined core UML, respectively, may serve as a universal base of an object-oriented modeling language. But this core has to be adapted according to problem domain-specific requirements to yield an expressive and intuitive modeling language for a certain problem domain.}},
  author       = {{Engels, Gregor and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)}},
  pages        = {{24--38}},
  publisher    = {{Springer}},
  title        = {{{UML - A Universal Modeling Language?}}},
  volume       = {{1825}},
  year         = {{2000}},
}

@inproceedings{7874,
  author       = {{Engels, Gregor and Groenewegen, Luuk}},
  booktitle    = {{Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland)}},
  pages        = {{103--116}},
  publisher    = {{ACM Press}},
  title        = {{{Object-Oriented Modeling - A Roadmap}}},
  year         = {{2000}},
}

@inproceedings{7875,
  abstract     = {{In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a speci.cation of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to de.ne the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics speci.cation for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML statechart and object diagrams. Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users.}},
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)}},
  pages        = {{323--337}},
  publisher    = {{Springer}},
  title        = {{{Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-40011-7_23}},
  volume       = {{1939}},
  year         = {{2000}},
}

@inproceedings{7876,
  author       = {{Hendrik Hausmann, Jan}},
  booktitle    = {{Proceedings of the Informatiktage 2000, Bad Schussenried (Germany)}},
  pages        = {{103--107}},
  publisher    = {{Konradin Verlag}},
  title        = {{{Graphtransitionsregeln zur Beschreibung der Semantik von UML}}},
  year         = {{2000}},
}

@inproceedings{7877,
  author       = {{Mehner, Katharina and Wagner, Annika}},
  booktitle    = {{Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington)}},
  pages        = {{199--206}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Visualizing the Synchronization of Java-Threads with UML}}},
  year         = {{2000}},
}

@inproceedings{7878,
  author       = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}},
  booktitle    = {{Proceedings of the conference on Autonomous agents (AGENTS 2000), Barcelona (Spain)}},
  pages        = {{82--83}},
  publisher    = {{ACM Press}},
  title        = {{{Integrating visual modeling of agent-based and object-oriented systems}}},
  doi          = {{http://dx.doi.org/10.1145/336595.337052}},
  year         = {{2000}},
}

@inproceedings{8124,
  author       = {{Krauter, Stefan and Araujo, R. G.}},
  booktitle    = {{Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. }},
  title        = {{{New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation}}},
  year         = {{2000}},
}

@inproceedings{8125,
  author       = {{Krauter, Stefan and Herold, H.}},
  booktitle    = {{Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2909–2911}},
  title        = {{{PV in Brazil}}},
  year         = {{2000}},
}

@inproceedings{8126,
  author       = {{Krauter, Stefan}},
  booktitle    = {{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.}},
  title        = {{{Sistemas híbridos termo-solares/fotovoltaicos.}}},
  year         = {{2000}},
}

@techreport{8207,
  author       = {{Depke, Ralph and Engels, Gregor and Küster, Jochen}},
  publisher    = {{University of Paderborn, Department of Computer Science}},
  title        = {{{On the Integration of Roles in the UML}}},
  year         = {{2000}},
}