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.
1769 Publications
2001 | Conference Paper | LibreCat-ID: 2431
@inproceedings{Schintke_Simon_Reinefeld_2001, place={Berlin / Heidelberg}, series={Lecture Notes in Computer Science (LNCS)}, title={A Cache Simulator for Shared Memory Systems}, volume={2074}, DOI={10.1007/3-540-45718-6_62}, booktitle={Proc. Int. Conf. on Computational Science (ICCS)}, publisher={Springer}, author={Schintke, Florian and Simon, Jens and Reinefeld, Alexander}, year={2001}, pages={569–578}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 3245
@article{Bartetzko_Fischer_Möller_Wehrheim_2001, title={Jass - Java with Assertions}, DOI={10.1016/S1571-0661(04)00247-6}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}, year={2001}, pages={103--117} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 3246
@inproceedings{Fischer_Olderog_Wehrheim_2001, series={Lecture Notes in Computer Science}, title={A {CSP} View on {UML-RT} Structure Diagrams}, DOI={10.1007/3-540-45314-8_8}, booktitle={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}, author={Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={Hu{\ss}mann, HeinrichEditor}, year={2001}, pages={91--108}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 21010
@inproceedings{Brüdgam_Meschut_2001, place={Bejing, P.R. China}, title={Material technologies und joining techniques for multi material car body structures}, volume={218}, booktitle={DVS-Berichte, Band 218}, author={Brüdgam, S. and Meschut, Gerson}, year={2001}, pages={191–200} }
LibreCat
2001 | Journal Article | LibreCat-ID: 18749
@article{Czumaj_Sohler_2001, title={Testing Hypergraph Coloring}, DOI={10.1007/3-540-48224-5_41}, journal={Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)}, author={Czumaj, Artur and Sohler, Christian}, year={2001}, pages={493–505} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 18857
@article{Sohler_Czumaj_2001, title={Property Testing with Geometric Queries}, DOI={10.1007/3-540-44676-1_22}, journal={Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01)}, author={Sohler, Christian and Czumaj, Artur}, year={2001}, pages={266–277} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18964
@inproceedings{Lukovszki_Maheshwari_Zeh_2001, title={I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems}, DOI={10.1007/3-540-45294-x_21}, booktitle={Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS}, author={Lukovszki, Tamás and Maheshwari, Anil and Zeh, Norbert}, year={2001} }
LibreCat
| DOI
2001 | Book Chapter | LibreCat-ID: 19145
@inbook{Seng_2001, place={Halle}, title={Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins “Wir” und die Architektur des 20. Jahrhunderts}, booktitle={Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage}, author={Seng, Eva- Maria}, editor={Reese-Schäfer, Walter and Kühnel, Martin and Rüdiger, AxelEditors}, year={2001}, pages={236–263} }
LibreCat
2001 | Book Chapter | LibreCat-ID: 19184
@inbook{Seng_2001, place={Tübingen}, title={Christianopolis. Der utopische Architekturentwurf des Johann Valentin Andreae}, booktitle={Das Echo Halles}, author={Seng, Eva- Maria}, editor={Lächele, RainerEditor}, year={2001}, pages={59–92} }
LibreCat
2001 | Journal Article | LibreCat-ID: 19195
@article{Seng_2001, title={Vom Kristallpalast zum gläsernen Menschen}, number={Nr. 407}, journal={MUT. Forum für Kultur, Politik und Geschichte, Nr.407, Juli 2001}, author={Seng, Eva- Maria}, year={2001}, pages={18–27} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 18152
@inproceedings{Ziegler_Brattka_2001, place={Berlin, Heidelberg}, title={A Computable Spectral Theorem}, volume={2064}, DOI={10.1007/3-540-45335-0_23}, booktitle={Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000)}, author={Ziegler, Martin and Brattka, Vasco}, year={2001}, pages={378–388} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7884
@inproceedings{Engels_Heckel_Küster_2001, place={Berlin/Heidelberg}, title={Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}, volume={2185}, DOI={http://dx.doi.org/10.1007/3-540-45441-1_21}, booktitle={Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={272–287} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7889
@inproceedings{Hendrik Hausmann_Heckel_2001, place={Wien (Österreich)}, title={Use Cases as views: A formal approach to Requirements engineering in the Unified Process}, volume={1}, booktitle={Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)}, publisher={Österreichische Computer Gesellschaft}, author={Hendrik Hausmann, Jan and Heckel, Reiko}, year={2001}, pages={595–599} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
@inproceedings{Heckel_Sauer_2001, place={London, UK}, series={LNCS}, title={Strengthening UML Collaboration Diagrams by State Transformations}, volume={2029}, DOI={http://dx.doi.org/10.1007/3-540-45314-8_9}, booktitle={Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)}, publisher={Springer}, author={Heckel, Reiko and Sauer, Stefan}, year={2001}, pages={109–123}, collection={LNCS} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8357
@inproceedings{Depke_Heckel_Küster_2001, place={Berlin/Heidelberg}, series={LNCS}, title={Agent-oriented Modeling with Graph Transformation}, volume={1957}, DOI={http://dx.doi.org/10.1007/3-540-44564-1_7}, booktitle={Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)}, publisher={Springer}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={105–120}, collection={LNCS} }
LibreCat
| DOI
2001 | Dissertation | LibreCat-ID: 8469
@book{Hemsel_2001, place={Paderborn}, title={Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe}, volume={101}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, author={Hemsel, Tobias}, year={2001} }
LibreCat
2001 | Book Chapter | LibreCat-ID: 16493
@inbook{Meyer auf der Heide_2001, place={Berlin, Heidelberg}, series={ Lecture Notes in Computer Science}, title={Data Management in Networks}, volume={2204}, DOI={10.1007/3-540-45477-2_2}, booktitle={Graph-Theoretic Concepts in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={2001}, collection={ Lecture Notes in Computer Science} }
LibreCat
| DOI
2001 | Book Chapter | LibreCat-ID: 16494
@inbook{Meyer auf der Heide_Wanka_2001, place={Berlin, Heidelberg}, title={Parallel Bridging Models and Their Impact on Algorithm Design}, DOI={10.1007/3-540-45718-6_68}, booktitle={Computational Science - ICCS 2001}, author={Meyer auf der Heide, Friedhelm and Wanka, Rolf}, year={2001} }
LibreCat
| DOI
2001 | Book (Editor) | LibreCat-ID: 16722
@book{Meyer auf der Heide_2001, place={Berlin, Heidelberg}, edition={Lecture Notes in Computer Science (LNCS, volume 2161)}, title={Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark}, DOI={10.1007/3-540-44676-1}, publisher={Springer }, year={2001} }
LibreCat
| DOI
2001 | Book Review | LibreCat-ID: 34770
@article{Süßmann_2001, title={[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}, volume={272}, DOI={https://doi.org/10.1524/hzhz.2001.272.jg.667}, journal={Historische Zeitschrift}, author={Süßmann, Johannes}, year={2001}, pages={764 f.} }
LibreCat
| DOI
| Download (ext.)