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.
9332 Publications
2001 | Journal Article | LibreCat-ID: 3244
@article{Rensink_Wehrheim_2001, title={Process algebra with action dependencies}, DOI={10.1007/s002360100070}, number={3}, journal={Acta Inf.}, author={Rensink, Arend and Wehrheim, Heike}, year={2001}, pages={155--234} }
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: 2139
@article{Meyer auf der Heide_Scheideler_2001, title={Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols}, volume={21}, DOI={10.1007/s004930170007}, number={1}, journal={Combinatorica}, author={Meyer auf der Heide, Friedhelm and Scheideler, Christian}, year={2001}, pages={95--138} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 2140 | 
@inproceedings{Awerbuch_Berenbrink_Brinkmann_Scheideler_2001, title={Simple Routing Strategies for Adversarial Systems}, booktitle={FOCS}, publisher={IEEE Computer Society}, author={Awerbuch, Baruch and Berenbrink, Petra and Brinkmann, André and Scheideler, Christian}, year={2001}, pages={158--167} }
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2141 |
@inproceedings{Berenbrink_Brinkmann_Scheideler_2001, title={SIMLAB-A Simulation Environment for Storage Area Networks}, booktitle={PDP}, publisher={IEEE Computer Society}, author={Berenbrink, Petra and Brinkmann, André and Scheideler, Christian}, year={2001}, pages={227--234} }
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2142 |
@inproceedings{Kolman_Scheideler_2001, title={Simple on-line algorithms for the maximum disjoint paths problem}, booktitle={SPAA}, author={Kolman, Petr and Scheideler, Christian}, year={2001}, pages={38--47} }
LibreCat
| Files available
2001 | Book | LibreCat-ID: 17688
@book{Mindt_2001, place={Tübingen}, series={Language in Performance }, title={Intonation im Lancaster/IBM Spoken English Corpus. Falls und fall-rises, Sprecherwechsel, paratones, declination}, volume={23}, publisher={Narr}, author={Mindt, Ilka}, year={2001}, collection={Language in Performance } }
LibreCat
2001 | Book Chapter | LibreCat-ID: 17911
@inbook{Mindt_2001, place={Harlow}, edition={Heft 12/1, März 2001}, title={Longman Idioms Dictionary}, booktitle={Anglistik. Mitteilungen des Deutschen Anglistenverbandes}, publisher={Longman, 1998}, author={Mindt, Ilka}, year={2001}, pages={193–195} }
LibreCat
2001 | Book Chapter | LibreCat-ID: 17912
@inbook{Mindt_Hundt_2001, place={Amsterdam / Philadelphia}, edition={Heft 12/2, September 2001}, title={New Zealand English Grammar Fact or Fiction? A corpus-based study in morphosyntactic variation}, booktitle={Anglistik: Mitteilungen des Deutschen Anglistenverbandes}, publisher={John Benjamins, 1998}, author={Mindt, Ilka and Hundt, Marianne}, year={2001}, pages={169–172} }
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 | Conference Paper | LibreCat-ID: 18750
@inproceedings{Sohler_Czumaj_2001, title={Soft Kinetic Data Structures}, booktitle={Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms}, author={Sohler, Christian and Czumaj, Artur}, year={2001}, pages={865–872} }
LibreCat
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 | Journal Article | LibreCat-ID: 23731
@article{Bonorden_von zur Gathen_Gerhard_Müller_2001, title={Factoring a binary polynomial of degree over one million}, DOI={10.1145/504331.504333}, journal={ACM SIGSAM Bulletin}, author={Bonorden, Olaf and von zur Gathen, Joachim and Gerhard, Jürgen and Müller, Olaf}, year={2001}, pages={16–18} }
LibreCat
| DOI
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: 18166
@inproceedings{Ziegler_Emamy-Khansari_2001, title={New Bounds for Hypercube Slicing Numbers}, volume={AA}, booktitle={Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001)}, author={Ziegler, Martin and Emamy-Khansari, M. Reza}, year={2001}, pages={155–164} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 18168
@inproceedings{Brattka_Ziegler_2001, title={Turing Computability of (Non-)Linear Optimization}, booktitle={Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01)}, author={Brattka, Vasco and Ziegler, Martin}, year={2001}, pages={181–184} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 18370
@inproceedings{Klein_Fischer_2001, place={Bad Schussenried}, title={Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph}, booktitle={Proc. of 3. GI-Informatiktage 2001}, author={Klein, Jan and Fischer, Matthias}, year={2001}, pages={275–278} }
LibreCat
| Files available