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.
9306 Publications
2000 | Journal Article | LibreCat-ID: 7691
A new peak in the bend resistance of a four-terminal device written by FIB implantation
D. Diaconescu, S. Hoch, C. Heidtkamp, C. Meier, D. Reuter, A.D. Wieck, Physica B: Condensed Matter 284–288 (2000) 1906–1907.
LibreCat
| DOI
D. Diaconescu, S. Hoch, C. Heidtkamp, C. Meier, D. Reuter, A.D. Wieck, Physica B: Condensed Matter 284–288 (2000) 1906–1907.
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 | Book Review | LibreCat-ID: 9665
Lewis, J.E.: Mary Queen of Scots. Romance and Nation, 1998
M. Tönnies, Journal for the Study of British Cultures 7 (2000) 80–83.
LibreCat
M. Tönnies, Journal for the Study of British Cultures 7 (2000) 80–83.
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 | Book (Editor) | LibreCat-ID: 6762
Youth Identities. Teens and Twens in British Culture
M. Tönnies, G. Stratmann, C.-U. Viol, Anglistik und Englischunterricht 63, eds., Youth Identities. Teens and Twens in British Culture, Winter, Heidelberg, 2000.
LibreCat
M. Tönnies, G. Stratmann, C.-U. Viol, Anglistik und Englischunterricht 63, eds., Youth Identities. Teens and Twens in British Culture, Winter, Heidelberg, 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 | 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.
2000 | Journal Article | LibreCat-ID: 10606
Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems
M. Eisenring, M. Platzner, IEE Proceedings -- Computers & Digital Techniques 147 (2000) 159–165.
LibreCat
| DOI
M. Eisenring, M. Platzner, IEE Proceedings -- Computers & Digital Techniques 147 (2000) 159–165.
2000 | Journal Article | LibreCat-ID: 10725
Toward embedded qualitative simulation: a specialized computer architecture for QSim
M. Platzner, B. Rinner, R. Weiss, IEEE Intelligent Systems 15 (2000) 62–68.
LibreCat
| DOI
M. Platzner, B. Rinner, R. Weiss, IEEE Intelligent Systems 15 (2000) 62–68.
2000 | Conference Paper | LibreCat-ID: 15301
Fuzzy dynamics: Methodological framework and applications of compartmental modeling
E. Hüllermeier, in: D.M. Dubois (Ed.), In Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium, 2000.
LibreCat
E. Hüllermeier, in: D.M. Dubois (Ed.), In Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium, 2000.