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
A. Rensink and H. Wehrheim, “Process algebra with action dependencies,” Acta Inf., no. 3, pp. 155--234, 2001.
LibreCat | DOI
 

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: 2139
F. Meyer auf der Heide and C. Scheideler, “Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols,” Combinatorica, vol. 21, no. 1, pp. 95--138, 2001.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 2140 | OA
B. Awerbuch, P. Berenbrink, A. Brinkmann, and C. Scheideler, “Simple Routing Strategies for Adversarial Systems,” in FOCS, 2001, pp. 158--167.
LibreCat | Files available
 

2001 | Conference Paper | LibreCat-ID: 2141 | OA
P. Berenbrink, A. Brinkmann, and C. Scheideler, “SIMLAB-A Simulation Environment for Storage Area Networks,” in PDP, 2001, pp. 227--234.
LibreCat | Files available
 

2001 | Conference Paper | LibreCat-ID: 2142 | OA
P. Kolman and C. Scheideler, “Simple on-line algorithms for the maximum disjoint paths problem,” in SPAA, 2001, pp. 38--47.
LibreCat | Files available
 

2001 | Book | LibreCat-ID: 17688
I. Mindt, Intonation im Lancaster/IBM Spoken English Corpus. Falls und  fall-rises, Sprecherwechsel, paratones, declination, vol. 23. Tübingen: Narr, 2001.
LibreCat
 

2001 | Book Chapter | LibreCat-ID: 17911
I. Mindt, “Longman Idioms Dictionary,” in Anglistik.  Mitteilungen des Deutschen Anglistenverbandes, Heft 12/1, März 2001., Harlow: Longman, 1998, 2001, pp. 193–195.
LibreCat
 

2001 | Book Chapter | LibreCat-ID: 17912
I. Mindt and M. Hundt, “New Zealand English Grammar Fact or Fiction?  A  corpus-based study in morphosyntactic variation,” in Anglistik: Mitteilungen des Deutschen Anglistenverbandes, Heft 12/2, September 2001., Amsterdam / Philadelphia: John Benjamins, 1998, 2001, pp. 169–172.
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 | Conference Paper | LibreCat-ID: 18750
C. Sohler and A. Czumaj, “Soft Kinetic Data Structures,” in Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, pp. 865–872.
LibreCat
 

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 | Journal Article | LibreCat-ID: 23731
O. Bonorden, J. von zur Gathen, J. Gerhard, and O. Müller, “Factoring a binary polynomial of degree over one million,” ACM SIGSAM Bulletin, pp. 16–18, 2001.
LibreCat | DOI
 

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: 18166
M. Ziegler and M. R. Emamy-Khansari, “New Bounds for Hypercube Slicing Numbers,” in Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001), 2001, vol. AA, pp. 155–164.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 18168
V. Brattka and M. Ziegler, “Turing Computability of (Non-)Linear Optimization,” in Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01), 2001, pp. 181–184.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 18370
J. Klein and M. Fischer, “Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph,” in Proc. of 3. GI-Informatiktage 2001, 2001, pp. 275–278.
LibreCat | Files available
 

Filters and Search Terms

isbn%3D978-1-4503-0743-7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed