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.

9908 Publications


2000 | Conference Paper | LibreCat-ID: 8342
G. Engels and A. 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), 2000, vol. 1779, pp. 359–368.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8343
R. Heckel and S. Sauer, “Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML,” in Proceedings of the 7th GI-Workshop GROOM, 2000, vol. 20, no. 2, pp. 43–44.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
R. Heckel and S. Sauer, “Strengthening the Semantics of UML Collaboration Diagrams,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 63–69.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8345
J. Küster and J. 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), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8346
K. Mehner and T. 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), 2000, vol. 24, pp. 14–18.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8347
K. Mehner and A. 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), 2000, vol. 15.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6507
M. Platzner, “Reconfigurable accelerators for combinatorial problems,” Computer, vol. 33, no. 4, pp. 58–60, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 6690
J. Bendfeld, M. Gruffke, E. Ortjohann, T. Peters, and J. 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
J. Bendfeld 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
J. Bendfeld, M. Gruffke, E. Ortjohann, and J. Voss, “Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte,” Bundes Bau Blatt, vol. 3, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16495
F. Meyer auf der Heide, H. Räcke, and M. Westermann, “Data management in hierarchical bus networks,” 2000, doi: 10.1145/341800.341814.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 16496
F. Meyer auf der Heide, B. Vöcking, and M. Westermann, “Caching in networks,” in SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms, 2000, pp. 430–439.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16497
F. Meyer auf der Heide, M. Kutyłowski, and P. Ragde, “Complexity Theory and Algorithms,” in Euro-Par 2000 Parallel Processing, Berlin, Heidelberg, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16513
P. J. Aston and M. Dellnitz, “The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms,” in Equadiff 99, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16553
M. Dellnitz, G. Froyland, and S. Sertl, “A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator,” in Equadiff 99, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 16554
M. Dellnitz, G. Froyland, and S. Sertl, “On the isolated spectrum of the Perron-Frobenius operator,” Nonlinearity, pp. 1171–1188, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16616
O. Junge, “Rigorous discretization of subdivision techniques,” in Equadiff 99, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 17010
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Contention Resolution in Hashing Based Shared Memory Simulations,” SIAM Journal on Computing, pp. 1703–1739, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17018
M. Dellnitz, O. Junge, M. Rumpf, and R. Strzodka, “The computation of an unstable invariant set inside a cylinder containing a knotted flow,” in Equadiff 99, 2000, pp. 1053--1059.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10606
M. Eisenring and M. Platzner, “Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems,” IEE Proceedings -- Computers & Digital Techniques, vol. 147, pp. 159–165, 2000.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed