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.
9931 Publications
2000 | Book Chapter | LibreCat-ID: 7522
Coordinated Collaboration of Objects
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
LibreCat
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
2000 | Conference Paper | LibreCat-ID: 8341
A Fully Abstract Model for Graph-Interpreted Temporal Logic
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, London, UK, 2000, pp. 310–322.
LibreCat
| DOI
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, London, UK, 2000, pp. 310–322.
2000 | Conference Paper | LibreCat-ID: 8342
Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!
G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.
LibreCat
| DOI
G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.
2000 | Conference Paper | LibreCat-ID: 8343
Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
2000 | Conference Paper | LibreCat-ID: 8344
Strengthening the Semantics of UML Collaboration Diagrams
R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.
2000 | Conference Paper | LibreCat-ID: 8345
Towards Consistency of Dynamic Models and Analysis of Timing Constraints
J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, York, UK, 2000.
LibreCat
J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, York, UK, 2000.
2000 | Conference Paper | LibreCat-ID: 8346
Methodische Aspekte von Modellierungssprachen für nebenläufige Software
K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.
LibreCat
K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.
2000 | Conference Paper | LibreCat-ID: 8347
Visualisierung der Synchronisation von Java-Threads mit UML
K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.
2000 | Journal Article | LibreCat-ID: 6507
Reconfigurable accelerators for combinatorial problems
M. Platzner, Computer 33 (2000) 58–60.
LibreCat
| DOI
M. Platzner, Computer 33 (2000) 58–60.
2000 | Conference Paper | LibreCat-ID: 6690
FULL AREA COVERAGE MEASURING NETWORK FOR RECORDING THE DISTRIBUTION OF INCIDENT SOLAR RADIATION
J. Bendfeld, M. Gruffke, E. Ortjohann, T. Peters, J. Voss, in: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
LibreCat
J. Bendfeld, M. Gruffke, E. Ortjohann, T. Peters, J. Voss, in: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
2000 | Conference Paper | LibreCat-ID: 6691
MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS
J. Bendfeld, G. Bettenwort, C. Drilling, M. Gruffke, E. Ortjohann, S. Rump, J. Voß, in: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
LibreCat
J. Bendfeld, G. Bettenwort, C. Drilling, M. Gruffke, E. Ortjohann, S. Rump, J. Voß, in: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
2000 | Journal Article | LibreCat-ID: 6692
Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte
J. Bendfeld, M. Gruffke, E. Ortjohann, J. Voss, Bundes Bau Blatt 3 (2000).
LibreCat
J. Bendfeld, M. Gruffke, E. Ortjohann, J. Voss, Bundes Bau Blatt 3 (2000).
2000 | Conference Paper | LibreCat-ID: 16495
Data management in hierarchical bus networks
F. Meyer auf der Heide, H. Räcke, M. Westermann, in: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00, 2000.
LibreCat
| DOI
F. Meyer auf der Heide, H. Räcke, M. Westermann, in: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00, 2000.
2000 | Conference Paper | LibreCat-ID: 16496
Caching in networks
F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 430–439.
LibreCat
F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 430–439.
2000 | Book Chapter | LibreCat-ID: 16497
Complexity Theory and Algorithms
F. Meyer auf der Heide, M. Kutyłowski, P. Ragde, in: Euro-Par 2000 Parallel Processing, Berlin, Heidelberg, 2000.
LibreCat
| DOI
F. Meyer auf der Heide, M. Kutyłowski, P. Ragde, in: Euro-Par 2000 Parallel Processing, Berlin, Heidelberg, 2000.
2000 | Book Chapter | LibreCat-ID: 16513
The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms
P.J. Aston, M. Dellnitz, in: Equadiff 99, 2000.
LibreCat
| DOI
P.J. Aston, M. Dellnitz, in: Equadiff 99, 2000.
2000 | Book Chapter | LibreCat-ID: 16553
A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator
M. Dellnitz, G. Froyland, S. Sertl, in: Equadiff 99, 2000.
LibreCat
| DOI
M. Dellnitz, G. Froyland, S. Sertl, in: Equadiff 99, 2000.
2000 | Journal Article | LibreCat-ID: 16554
On the isolated spectrum of the Perron-Frobenius operator
M. Dellnitz, G. Froyland, S. Sertl, Nonlinearity (2000) 1171–1188.
LibreCat
| DOI
M. Dellnitz, G. Froyland, S. Sertl, Nonlinearity (2000) 1171–1188.
2000 | Book Chapter | LibreCat-ID: 16616
Rigorous discretization of subdivision techniques
O. Junge, in: Equadiff 99, 2000.
LibreCat
| DOI
O. Junge, in: Equadiff 99, 2000.
2000 | Journal Article | LibreCat-ID: 17010
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, SIAM Journal on Computing (2000) 1703–1739.
LibreCat
| DOI
A. Czumaj, F. Meyer auf der Heide, V. Stemann, SIAM Journal on Computing (2000) 1703–1739.