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.

1768 Publications


2001 | Journal Article | LibreCat-ID: 3245
D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, “Jass - Java with Assertions,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 103--117, 2001.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 3246
C. Fischer, E.-R. Olderog, and H. Wehrheim, “A {CSP} View on {UML-RT} Structure Diagrams,” in 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
 

2001 | Conference Paper | LibreCat-ID: 21010
S. Brüdgam and G. Meschut, “Material technologies und joining techniques for multi material car body structures,” in DVS-Berichte, Band 218, Bejing, P.R. China, 2001, vol. 218, pp. 191–200.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 18749
A. Czumaj and C. Sohler, “Testing Hypergraph Coloring,” Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP), pp. 493–505, 2001.
LibreCat | DOI
 

2001 | Journal Article | LibreCat-ID: 18857
C. Sohler and A. Czumaj, “Property Testing with Geometric Queries,” Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01), pp. 266–277, 2001.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 18964
T. Lukovszki, A. Maheshwari, and N. Zeh, “I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems,” in Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.
LibreCat | DOI
 

2001 | Book Chapter | LibreCat-ID: 19145
E.-M. Seng, “Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins ‘Wir’ und die Architektur des 20. Jahrhunderts,” in Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage, W. Reese-Schäfer, M. Kühnel, and A. Rüdiger, Eds. Halle, 2001, pp. 236–263.
LibreCat
 

2001 | Book Chapter | LibreCat-ID: 19184
E.-M. Seng, “Christianopolis. Der utopische Architekturentwurf des Johann Valentin Andreae,” in Das Echo Halles, R. Lächele, Ed. Tübingen, 2001, pp. 59–92.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 19195
E.-M. Seng, “Vom Kristallpalast zum gläsernen Menschen,” MUT. Forum für Kultur, Politik und Geschichte, Nr.407, Juli 2001, no. Nr. 407, pp. 18–27, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 18152
M. Ziegler and V. Brattka, “A Computable Spectral Theorem,” in Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), 2001, vol. 2064, pp. 378–388.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7884
G. Engels, R. Heckel, and J. Küster, “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model,” in Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), 2001, vol. 2185, pp. 272–287.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7889
J. Hendrik Hausmann and R. Heckel, “Use Cases as views: A formal approach to Requirements engineering in the Unified Process,” in Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich), 2001, vol. 1, pp. 595–599.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7891
R. Heckel and S. Sauer, “Strengthening UML Collaboration Diagrams by State Transformations,” in Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), 2001, vol. 2029, pp. 109–123.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 8357
R. Depke, R. Heckel, and J. Küster, “Agent-oriented Modeling with Graph Transformation,” in Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland), 2001, vol. 1957, pp. 105–120.
LibreCat | DOI
 

2001 | Dissertation | LibreCat-ID: 8469
T. Hemsel, Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe, vol. 101. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2001.
LibreCat
 

2001 | Book Chapter | LibreCat-ID: 16493
F. Meyer auf der Heide, “Data Management in Networks,” in Graph-Theoretic Concepts in Computer Science, vol. 2204, Berlin, Heidelberg, 2001.
LibreCat | DOI
 

2001 | Book Chapter | LibreCat-ID: 16494
F. Meyer auf der Heide and R. Wanka, “Parallel Bridging Models and Their Impact on Algorithm Design,” in Computational Science - ICCS 2001, Berlin, Heidelberg, 2001.
LibreCat | DOI
 

2001 | Book (Editor) | LibreCat-ID: 16722
F. Meyer auf der Heide, Ed., Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark, Lecture Notes in Computer Science (LNCS, Volume 2161). Berlin, Heidelberg: Springer , 2001.
LibreCat | DOI
 

2001 | Book Review | LibreCat-ID: 34770
J. Süßmann, “[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,” Historische Zeitschrift, vol. 272. p. 764 f., 2001, doi: https://doi.org/10.1524/hzhz.2001.272.jg.667.
LibreCat | DOI | Download (ext.)
 

2001 | Translation (Section) | LibreCat-ID: 34931
G. Lloyd, “Wissenschaft und Gesellschaft in antiken Kulturen,” in Revolutionen des Wissens. Von der Steinzeit bis zur Moderne, vol. 1450, J. Fried and J. Süßmann, Eds. München: C.H. Beck, 2001, pp. 96–115.
LibreCat
 

Filters and Search Terms

isbn%3D3-540-32158-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed