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.
5792 Publications
2001 | Journal Article | LibreCat-ID: 18749
Czumaj A, Sohler C. Testing Hypergraph Coloring. Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP). 2001:493-505. doi:10.1007/3-540-48224-5_41
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18750
Sohler C, Czumaj A. Soft Kinetic Data Structures. In: Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms. ; 2001:865-872.
LibreCat
2001 | Journal Article | LibreCat-ID: 18857
Sohler C, Czumaj A. Property Testing with Geometric Queries. Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01). 2001:266-277. doi:10.1007/3-540-44676-1_22
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18964
Lukovszki T, Maheshwari A, Zeh N. 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. doi: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. Factoring a binary polynomial of degree over one million. ACM SIGSAM Bulletin. 2001:16-18. doi:10.1145/504331.504333
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18152
Ziegler M, Brattka V. A Computable Spectral Theorem. In: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000). Vol 2064. Berlin, Heidelberg; 2001:378-388. doi:10.1007/3-540-45335-0_23
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18166
Ziegler M, Emamy-Khansari MR. 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. ; 2001:155-164.
LibreCat
2001 | Conference Paper | LibreCat-ID: 18168
Brattka V, Ziegler M. Turing Computability of (Non-)Linear Optimization. In: Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01). ; 2001:181-184.
LibreCat
2001 | Conference Paper | LibreCat-ID: 18370
Klein J, Fischer M. Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph. In: Proc. of 3. GI-Informatiktage 2001. Bad Schussenried; 2001:275-278.
LibreCat
| Files available
2001 | Conference (Editor) | LibreCat-ID: 7787
Mehner K, Mezini M, Pulvermüller E, Speck A, eds. Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany). Vol tr-ri-01-223. University of Paderborn; 2001.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7788
Engels G, Oberweis A, Zündorf A, eds. Modellierung 2001. Vol 1. Bonn: Gesellschaft für Informatik (GI); 2001.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7789
Böllert K, Streitferdt D, Heuzeroth D, Mehner K, Hanenberg S, eds. Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany).; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7879
Lütkemeier B, Thöne S. Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle. In: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany). Konradin-Verlag; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7880
Baldan P, Corradini A, Ehrig H, Heckel R. Compositional Modeling of Reactive Systems Using Open Nets. In: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark). Vol 2154. LNCS. Berlin/Heidelberg: Springer; 2001:502-518.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7881
Küster J, Stroop J. Consistent Design of Embedded Real-Time Systems with UML-RT. In: Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany). Washington, DC, USA: IEEE Computer Society; 2001:31-40. doi:https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7882
Depke R, Heckel R, Küster J. Improving the Agent-Oriented Modeling Process with Roles. In: Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada). New York, NY, USA: ACM Press; 2001:640-647.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7883
Depke R, Heckel R. Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform. In: Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany). Technische Akademie Esslingen; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
Engels G, Heckel R, Küster J. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada). Vol 2185. Berlin/Heidelberg: Springer; 2001:272-287. doi:http://dx.doi.org/10.1007/3-540-45441-1_21
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7885
Engels G, Küster J, Groenewegen L, Heckel R. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria). Vol 26. New York, NY, USA: ACM Press; 2001:186-195. doi:http://dx.doi.org/10.1145/503271.503235
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7886
Geiger C, Flake S, Küster J. Towards UML-based Analysis and Design of Multi-Agent Systems. In: Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates). ; 2001.
LibreCat