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.
9290 Publications
2001 | Conference Paper | LibreCat-ID: 2432
Enzler, R., Platzner, M., Plessl, C., Thiele, L., & Tröster, G. (2001). Reconfigurable Processors for Handhelds and Wearables: Application Analysis. In Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III (Vol. 4525, pp. 135–146). https://doi.org/10.1117/12.434376
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 3244
Rensink, A., & Wehrheim, H. (2001). Process algebra with action dependencies. Acta Inf., (3), 155--234. https://doi.org/10.1007/s002360100070
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: 2139
Meyer auf der Heide, F., & Scheideler, C. (2001). Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols. Combinatorica, 21(1), 95--138. https://doi.org/10.1007/s004930170007
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 2140 | 
Awerbuch, B., Berenbrink, P., Brinkmann, A., & Scheideler, C. (2001). Simple Routing Strategies for Adversarial Systems. In FOCS (pp. 158--167). IEEE Computer Society.
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2141 |
Berenbrink, P., Brinkmann, A., & Scheideler, C. (2001). SIMLAB-A Simulation Environment for Storage Area Networks. In PDP (pp. 227--234). IEEE Computer Society.
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2142 |
Kolman, P., & Scheideler, C. (2001). Simple on-line algorithms for the maximum disjoint paths problem. In SPAA (pp. 38--47).
LibreCat
| Files available
2001 | Book | LibreCat-ID: 17688
Mindt, I. (2001). Intonation im Lancaster/IBM Spoken English Corpus. Falls und fall-rises, Sprecherwechsel, paratones, declination (Vol. 23). Tübingen: Narr.
LibreCat
2001 | Book Chapter | LibreCat-ID: 17911
Mindt, I. (2001). Longman Idioms Dictionary. In Anglistik. Mitteilungen des Deutschen Anglistenverbandes (Heft 12/1, März 2001, pp. 193–195). Harlow: Longman, 1998.
LibreCat
2001 | Book Chapter | LibreCat-ID: 17912
Mindt, I., & Hundt, M. (2001). 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, pp. 169–172). Amsterdam / Philadelphia: John Benjamins, 1998.
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 | Conference Paper | LibreCat-ID: 18750
Sohler, C., & Czumaj, A. (2001). Soft Kinetic Data Structures. In Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms (pp. 865–872).
LibreCat
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 | Journal Article | LibreCat-ID: 23731
Bonorden, O., von zur Gathen, J., Gerhard, J., & Müller, O. (2001). Factoring a binary polynomial of degree over one million. ACM SIGSAM Bulletin, 16–18. https://doi.org/10.1145/504331.504333
LibreCat
| DOI
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: 18166
Ziegler, M., & Emamy-Khansari, M. R. (2001). New Bounds for Hypercube Slicing Numbers. In Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001) (Vol. AA, pp. 155–164).
LibreCat
2001 | Conference Paper | LibreCat-ID: 18168
Brattka, V., & Ziegler, M. (2001). Turing Computability of (Non-)Linear Optimization. In Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01) (pp. 181–184).
LibreCat