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 G, Groenewegen L, Kappel G. Coordinated Collaboration of Objects. In: Proceedings of Advances in Object-Oriented Modeling. The MIT Press; 2000:307-332.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8341
Gadducci F, Heckel R, Koch M. 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). Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels G, Zamperoni A. 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). Vol 1779. LNCS. Berlin/Heidelberg: Springer; 2000:359-368. doi:http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In: Proceedings of the 7th GI-Workshop GROOM. Vol 20. University of Koblenz-Landau; 2000:43-44.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel R, Sauer S. Strengthening the Semantics of UML Collaboration Diagrams. In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University; 2000:63-69.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
Küster J, Stroop J. 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 K, Schattkowsky T. 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). Vol 24. Universität Münster; 2000:14-18.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner K, Wagner A. 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 M. Reconfigurable accelerators for combinatorial problems. Computer. 2000;33(4):58-60. doi:10.1109/2.839322
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 6690
Bendfeld J, Gruffke M, Ortjohann E, Peters T, Voss J. 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, Bettenwort G, Drilling C, et al. 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, Gruffke M, Ortjohann E, Voss J. Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte. Bundes Bau Blatt. 2000;3.
LibreCat
2000 | Conference Paper | LibreCat-ID: 16495
Meyer auf der Heide F, Räcke H, Westermann M. Data management in hierarchical bus networks. In: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00. ; 2000. doi:10.1145/341800.341814
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide F, Vöcking B, Westermann M. Caching in networks. In: SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms. ; 2000:430–439.
LibreCat
2000 | Book Chapter | LibreCat-ID: 16497
Meyer auf der Heide F, Kutyłowski M, Ragde P. Complexity Theory and Algorithms. In: Euro-Par 2000 Parallel Processing. Berlin, Heidelberg; 2000. doi:10.1007/3-540-44520-x_59
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 16513
Aston PJ, Dellnitz M. The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0196
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 16553
Dellnitz M, Froyland G, Sertl S. A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0199
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 16554
Dellnitz M, Froyland G, Sertl S. On the isolated spectrum of the Perron-Frobenius operator. Nonlinearity. 2000:1171-1188. doi:10.1088/0951-7715/13/4/310
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 16616
Junge O. Rigorous discretization of subdivision techniques. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0178
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 17010
Czumaj A, Meyer auf der Heide F, Stemann V. Contention Resolution in Hashing Based Shared Memory Simulations. SIAM Journal on Computing. 2000:1703-1739. doi:10.1137/s009753979529564x
LibreCat
| DOI