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
Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” Acta Inf., no. 3, 2001, pp. 155--234, doi:10.1007/s002360100070.
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 3245
Bartetzko, Detlef, et al. “Jass - Java with Assertions.” Electr. Notes Theor. Comput. Sci., no. 2, 2001, pp. 103--117, doi:10.1016/S1571-0661(04)00247-6.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 3246
Fischer, Clemens, et al. “A {CSP} View on {UML-RT} Structure Diagrams.” 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, edited by Heinrich Hu{\ss}mann, 2001, pp. 91--108, doi:10.1007/3-540-45314-8_8.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 21010
Brüdgam, S., and Gerson Meschut. “Material Technologies Und Joining Techniques for Multi Material Car Body Structures.” DVS-Berichte, Band 218, vol. 218, 2001, pp. 191–200.
LibreCat
2001 | Journal Article | LibreCat-ID: 2139
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols.” Combinatorica, vol. 21, no. 1, 2001, pp. 95--138, doi:10.1007/s004930170007.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 2140 | 
Awerbuch, Baruch, et al. “Simple Routing Strategies for Adversarial Systems.” FOCS, IEEE Computer Society, 2001, pp. 158--167.
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2141 |
Berenbrink, Petra, et al. “SIMLAB-A Simulation Environment for Storage Area Networks.” PDP, IEEE Computer Society, 2001, pp. 227--234.
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2142 |
Kolman, Petr, and Christian Scheideler. “Simple On-Line Algorithms for the Maximum Disjoint Paths Problem.” SPAA, 2001, pp. 38--47.
LibreCat
| Files available
2001 | Book | LibreCat-ID: 17688
Mindt, Ilka. Intonation im Lancaster/IBM Spoken English Corpus. Falls und fall-rises, Sprecherwechsel, paratones, declination. Vol. 23, Narr, 2001.
LibreCat
2001 | Book Chapter | LibreCat-ID: 17911
Mindt, Ilka. “Longman Idioms Dictionary.” Anglistik. Mitteilungen Des Deutschen Anglistenverbandes, Heft 12/1, März 2001, Longman, 1998, 2001, pp. 193–95.
LibreCat
2001 | Book Chapter | LibreCat-ID: 17912
Mindt, Ilka, and Marianne Hundt. “New Zealand English Grammar Fact or Fiction? A Corpus-Based Study in Morphosyntactic Variation.” Anglistik: Mitteilungen Des Deutschen Anglistenverbandes, Heft 12/2, September 2001, John Benjamins, 1998, 2001, pp. 169–72.
LibreCat
2001 | Journal Article | LibreCat-ID: 18749
Czumaj, Artur, and Christian Sohler. “Testing Hypergraph Coloring.” Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP), 2001, pp. 493–505, doi:10.1007/3-540-48224-5_41.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18750
Sohler, Christian, and Artur Czumaj. “Soft Kinetic Data Structures.” Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, pp. 865–72.
LibreCat
2001 | Journal Article | LibreCat-ID: 18857
Sohler, Christian, and Artur Czumaj. “Property Testing with Geometric Queries.” Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01), 2001, pp. 266–77, doi:10.1007/3-540-44676-1_22.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18964
Lukovszki, Tamás, et al. “I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems.” Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001, doi:10.1007/3-540-45294-x_21.
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 23731
Bonorden, Olaf, et al. “Factoring a Binary Polynomial of Degree over One Million.” ACM SIGSAM Bulletin, 2001, pp. 16–18, doi:10.1145/504331.504333.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18152
Ziegler, Martin, and Vasco Brattka. “A Computable Spectral Theorem.” Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), vol. 2064, 2001, pp. 378–88, doi:10.1007/3-540-45335-0_23.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18166
Ziegler, Martin, and M. Reza Emamy-Khansari. “New Bounds for Hypercube Slicing Numbers.” Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001), vol. AA, 2001, pp. 155–64.
LibreCat
2001 | Conference Paper | LibreCat-ID: 18168
Brattka, Vasco, and Martin Ziegler. “Turing Computability of (Non-)Linear Optimization.” Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01), 2001, pp. 181–84.
LibreCat
2001 | Conference Paper | LibreCat-ID: 18370
Klein, Jan, and Matthias Fischer. “Occlusion Culling for Virtual Environments Based on the 3D-Sectorgraph.” Proc. of 3. GI-Informatiktage 2001, 2001, pp. 275–78.
LibreCat
| Files available