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.
1758 Publications
2001 | Journal Article | LibreCat-ID: 3245
Jass - Java with Assertions
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.
LibreCat
| DOI
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.
2001 | Conference Paper | LibreCat-ID: 3246
A {CSP} View on {UML-RT} Structure Diagrams
C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.
LibreCat
| DOI
C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.
2001 | Conference Paper | LibreCat-ID: 21010
Material technologies und joining techniques for multi material car body structures
S. Brüdgam, G. Meschut, in: DVS-Berichte, Band 218, Bejing, P.R. China, 2001, pp. 191–200.
LibreCat
S. Brüdgam, G. Meschut, in: DVS-Berichte, Band 218, Bejing, P.R. China, 2001, pp. 191–200.
2001 | Journal Article | LibreCat-ID: 18749
Testing Hypergraph Coloring
A. Czumaj, C. Sohler, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) (2001) 493–505.
LibreCat
| DOI
A. Czumaj, C. Sohler, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) (2001) 493–505.
2001 | Journal Article | LibreCat-ID: 18857
Property Testing with Geometric Queries
C. Sohler, A. Czumaj, Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) (2001) 266–277.
LibreCat
| DOI
C. Sohler, A. Czumaj, Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) (2001) 266–277.
2001 | Conference Paper | LibreCat-ID: 18964
I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems
T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.
LibreCat
| DOI
T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.
2001 | Book Chapter | LibreCat-ID: 19145
Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins “Wir” und die Architektur des 20. Jahrhunderts
E.-M. Seng, in: W. Reese-Schäfer, M. Kühnel, A. Rüdiger (Eds.), Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage, Halle, 2001, pp. 236–263.
LibreCat
E.-M. Seng, in: W. Reese-Schäfer, M. Kühnel, A. Rüdiger (Eds.), Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage, Halle, 2001, pp. 236–263.
2001 | Book Chapter | LibreCat-ID: 19184
Christianopolis. Der utopische Architekturentwurf des Johann Valentin Andreae
E.-M. Seng, in: R. Lächele (Ed.), Das Echo Halles, Tübingen, 2001, pp. 59–92.
LibreCat
E.-M. Seng, in: R. Lächele (Ed.), Das Echo Halles, Tübingen, 2001, pp. 59–92.
2001 | Journal Article | LibreCat-ID: 19195
Vom Kristallpalast zum gläsernen Menschen
E.-M. Seng, MUT. Forum für Kultur, Politik und Geschichte, Nr.407, Juli 2001 (2001) 18–27.
LibreCat
E.-M. Seng, MUT. Forum für Kultur, Politik und Geschichte, Nr.407, Juli 2001 (2001) 18–27.
2001 | Conference Paper | LibreCat-ID: 18152
A Computable Spectral Theorem
M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388.
LibreCat
| DOI
M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388.
2001 | Conference Paper | LibreCat-ID: 7884
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.
LibreCat
| DOI
G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.
2001 | Conference Paper | LibreCat-ID: 7889
Use Cases as views: A formal approach to Requirements engineering in the Unified Process
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
LibreCat
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
2001 | Conference Paper | LibreCat-ID: 7891
Strengthening UML Collaboration Diagrams by State Transformations
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
LibreCat
| DOI
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
2001 | Conference Paper | LibreCat-ID: 8357
Agent-oriented Modeling with Graph Transformation
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
LibreCat
| DOI
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
2001 | Dissertation | LibreCat-ID: 8469
Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe
T. Hemsel, Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
T. Hemsel, Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Book Chapter | LibreCat-ID: 16493
Data Management in Networks
F. Meyer auf der Heide, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 2001.
LibreCat
| DOI
F. Meyer auf der Heide, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 2001.
2001 | Book Chapter | LibreCat-ID: 16494
Parallel Bridging Models and Their Impact on Algorithm Design
F. Meyer auf der Heide, R. Wanka, in: Computational Science - ICCS 2001, Berlin, Heidelberg, 2001.
LibreCat
| DOI
F. Meyer auf der Heide, R. Wanka, in: Computational Science - ICCS 2001, Berlin, Heidelberg, 2001.
2001 | Book (Editor) | LibreCat-ID: 16722
Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark
F. Meyer auf der Heide, ed., Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark, Lecture Notes in Computer Science (LNCS, volume 2161), Springer , Berlin, Heidelberg, 2001.
LibreCat
| DOI
F. Meyer auf der Heide, ed., Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark, Lecture Notes in Computer Science (LNCS, volume 2161), Springer , Berlin, Heidelberg, 2001.
2001 | Book Review | LibreCat-ID: 18742
Gabriel, Gottfried/Kienzler, Wolfgang (eds.), "Frege in Jena. Beiträge zur Spurensicherung. Tagungsbericht, Jena, Deutschland, 6.–7. Dezember 1996", Königshausen & Neumann: Würzburg 1997
V. Peckhaus, Mathematical Reviews [Reprint von Zbl. 897.01002] (2001).
LibreCat
V. Peckhaus, Mathematical Reviews [Reprint von Zbl. 897.01002] (2001).
2001 | Book Review | LibreCat-ID: 34770
[Rez. v.] Marcus Weidner: Landadel in Münster 1600–1780. Stadtverfassung, Standesbehauptung und Fürstenhof. 2 Teilbde. (Quellen und Forschungen zur Geschichte der Stadt Münster, NF., Bd. 18/1 u. 2.) Münster, Aschendorff 2000
J. Süßmann, Historische Zeitschrift 272 (2001) 764 f.
LibreCat
| DOI
| Download (ext.)
J. Süßmann, Historische Zeitschrift 272 (2001) 764 f.