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.
10426 Publications
2000 | Book Chapter | LibreCat-ID: 7522
Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. “Coordinated Collaboration of Objects.” In Proceedings of Advances in Object-Oriented Modeling, 307–32. The MIT Press, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8341
Gadducci, Fabio, Reiko Heckel, and Manuel 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), 1764:310–22. LNCS. London, UK: Springer, 2000. http://dx.doi.org/10.1007/b75045.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels, Gregor, and Andreas 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), 1779:359–68. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-45104-8_28.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
Heckel, Reiko, and Stefan Sauer. “Dynamische Metamodellierung Als Methode Zur Definition Einer Operationalen Semantik Für Die UML.” In Proceedings of the 7th GI-Workshop GROOM, 20:43–44. University of Koblenz-Landau, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration Diagrams.” In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 63–69. Munich (Germany): Ludwig-Maximilians-University, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
Küster, Jochen, and Joachim 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). York, UK: University of York, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner, Katharina, and Tim 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), 24:14–18. Universität Münster, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner, Katharina, and Annika 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), Vol. 15. Koblenzer Schriften Zur Informatik. Fölbach, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 6507
Platzner, Marco. “Reconfigurable Accelerators for Combinatorial Problems.” Computer 33, no. 4 (2000): 58–60. https://doi.org/10.1109/2.839322.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 6690
Bendfeld, Jörg, Michael Gruffke, Egon Ortjohann, T. Peters, and Jürgen Voss. “FULL AREA COVERAGE MEASURING NETWORK FOR RECORDING THE DISTRIBUTION OF INCIDENT SOLAR RADIATION.” In Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 6691
Bendfeld, Jörg, Gerd Bettenwort, Carsten Drilling, Michael Gruffke, Egon Ortjohann, S. Rump, and Jürgen Voß. “MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS.” In Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 6692
Bendfeld, Jörg, Michael Gruffke, Egon Ortjohann, and Jürgen Voss. “Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte.” Bundes Bau Blatt 3 (2000).
LibreCat
2000 | Conference Paper | LibreCat-ID: 16495
Meyer auf der Heide, Friedhelm, Harald Räcke, and Matthias Westermann. “Data Management in Hierarchical Bus Networks.” In Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00, 2000. https://doi.org/10.1145/341800.341814.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide, Friedhelm, Berthold Vöcking, and Matthias Westermann. “Caching in Networks.” In SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 430–439, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 16497
Meyer auf der Heide, Friedhelm, Mirosław Kutyłowski, and Prabhakar Ragde. “Complexity Theory and Algorithms.” In Euro-Par 2000 Parallel Processing. Berlin, Heidelberg, 2000. https://doi.org/10.1007/3-540-44520-x_59.
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 16513
Aston, P. J., and M. Dellnitz. “The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms.” In Equadiff 99, 2000. https://doi.org/10.1142/9789812792617_0196.
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 16553
Dellnitz, Michael, Gary Froyland, and Stefan Sertl. “A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator.” In Equadiff 99, 2000. https://doi.org/10.1142/9789812792617_0199.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 16554
Dellnitz, Michael, Gary Froyland, and Stefan Sertl. “On the Isolated Spectrum of the Perron-Frobenius Operator.” Nonlinearity, 2000, 1171–88. https://doi.org/10.1088/0951-7715/13/4/310.
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 16616
Junge, Oliver. “Rigorous Discretization of Subdivision Techniques.” In Equadiff 99, 2000. https://doi.org/10.1142/9789812792617_0178.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 17010
Czumaj, Artur, Friedhelm Meyer auf der Heide, and Volker Stemann. “Contention Resolution in Hashing Based Shared Memory Simulations.” SIAM Journal on Computing, 2000, 1703–39. https://doi.org/10.1137/s009753979529564x.
LibreCat
| DOI