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.
1759 Publications
2001 | Conference Paper | LibreCat-ID: 2431
Schintke, F., Simon, J., & Reinefeld, A. (2001). A Cache Simulator for Shared Memory Systems. In Proc. Int. Conf. on Computational Science (ICCS) (Vol. 2074, pp. 569–578). Berlin / Heidelberg: Springer. https://doi.org/10.1007/3-540-45718-6_62
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 3245
Bartetzko, D., Fischer, C., Möller, M., & Wehrheim, H. (2001). Jass - Java with Assertions. Electr. Notes Theor. Comput. Sci., (2), 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 3246
Fischer, C., Olderog, E.-R., & Wehrheim, H. (2001). A {CSP} View on {UML-RT} Structure Diagrams. 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 (pp. 91--108). https://doi.org/10.1007/3-540-45314-8_8
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 21010
Brüdgam, S., & Meschut, G. (2001). Material technologies und joining techniques for multi material car body structures. In DVS-Berichte, Band 218 (Vol. 218, pp. 191–200). Bejing, P.R. China.
LibreCat
2001 | Journal Article | LibreCat-ID: 18749
Czumaj, A., & Sohler, C. (2001). Testing Hypergraph Coloring. Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP), 493–505. https://doi.org/10.1007/3-540-48224-5_41
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 18857
Sohler, C., & Czumaj, A. (2001). Property Testing with Geometric Queries. Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01), 266–277. https://doi.org/10.1007/3-540-44676-1_22
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18964
Lukovszki, T., Maheshwari, A., & Zeh, N. (2001). 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. https://doi.org/10.1007/3-540-45294-x_21
LibreCat
| DOI
2001 | Book Chapter | LibreCat-ID: 19145
Seng, E.-M. (2001). Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins “Wir” und die Architektur des 20. Jahrhunderts. In W. Reese-Schäfer, M. Kühnel, & A. Rüdiger (Eds.), Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage (pp. 236–263). Halle.
LibreCat
2001 | Book Chapter | LibreCat-ID: 19184
Seng, E.-M. (2001). Christianopolis. Der utopische Architekturentwurf des Johann Valentin Andreae. In R. Lächele (Ed.), Das Echo Halles (pp. 59–92). Tübingen.
LibreCat
2001 | Journal Article | LibreCat-ID: 19195
Seng, E.-M. (2001). Vom Kristallpalast zum gläsernen Menschen. MUT. Forum für Kultur, Politik und Geschichte, Nr.407, Juli 2001, (Nr. 407), 18–27.
LibreCat
2001 | Conference Paper | LibreCat-ID: 18152
Ziegler, M., & Brattka, V. (2001). A Computable Spectral Theorem. In Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000) (Vol. 2064, pp. 378–388). Berlin, Heidelberg. https://doi.org/10.1007/3-540-45335-0_23
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7884
Engels, G., Heckel, R., & Küster, J. (2001). 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) (Vol. 2185, pp. 272–287). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45441-1_21
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7889
Hendrik Hausmann, J., & Heckel, R. (2001). 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) (Vol. 1, pp. 595–599). Wien (Österreich): Österreichische Computer Gesellschaft.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
Heckel, R., & Sauer, S. (2001). Strengthening UML Collaboration Diagrams by State Transformations. In Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy) (Vol. 2029, pp. 109–123). London, UK: Springer. http://dx.doi.org/10.1007/3-540-45314-8_9
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8357
Depke, R., Heckel, R., & Küster, J. (2001). Agent-oriented Modeling with Graph Transformation. In Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland) (Vol. 1957, pp. 105–120). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-44564-1_7
LibreCat
| DOI
2001 | Dissertation | LibreCat-ID: 8469
Hemsel, T. (2001). Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe (Vol. 101). Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts.
LibreCat
2001 | Book Chapter | LibreCat-ID: 16493
Meyer auf der Heide, F. (2001). Data Management in Networks. In Graph-Theoretic Concepts in Computer Science (Vol. 2204). Berlin, Heidelberg. https://doi.org/10.1007/3-540-45477-2_2
LibreCat
| DOI
2001 | Book Chapter | LibreCat-ID: 16494
Meyer auf der Heide, F., & Wanka, R. (2001). Parallel Bridging Models and Their Impact on Algorithm Design. In Computational Science - ICCS 2001. Berlin, Heidelberg. https://doi.org/10.1007/3-540-45718-6_68
LibreCat
| DOI
2001 | Book (Editor) | LibreCat-ID: 16722
Meyer auf der Heide, F. (Ed.). (2001). Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark (Lecture Notes in Computer Science (LNCS, volume 2161)). Berlin, Heidelberg: Springer . https://doi.org/10.1007/3-540-44676-1
LibreCat
| DOI
2001 | Book Review | LibreCat-ID: 18742
Peckhaus, V. (2001). 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. In Mathematical Reviews [Reprint von Zbl. 897.01002] (MR 2001c:03004).
LibreCat