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
Testing Hypergraph Coloring
A. Czumaj, C. Sohler, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) (2001) 493–505.
LibreCat
| DOI
A. Czumaj, C. Sohler, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) (2001) 493–505.
2001 | Conference Paper | LibreCat-ID: 18750
Soft Kinetic Data Structures
C. Sohler, A. Czumaj, in: Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, pp. 865–872.
LibreCat
C. Sohler, A. Czumaj, in: Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, pp. 865–872.
2001 | Journal Article | LibreCat-ID: 18857
Property Testing with Geometric Queries
C. Sohler, A. Czumaj, Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) (2001) 266–277.
LibreCat
| DOI
C. Sohler, A. Czumaj, Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) (2001) 266–277.
2001 | Conference Paper | LibreCat-ID: 18964
I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems
T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.
LibreCat
| DOI
T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.
2001 | Journal Article | LibreCat-ID: 23731
Factoring a binary polynomial of degree over one million
O. Bonorden, J. von zur Gathen, J. Gerhard, O. Müller, ACM SIGSAM Bulletin (2001) 16–18.
LibreCat
| DOI
O. Bonorden, J. von zur Gathen, J. Gerhard, O. Müller, ACM SIGSAM Bulletin (2001) 16–18.
2001 | Conference Paper | LibreCat-ID: 18152
A Computable Spectral Theorem
M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388.
LibreCat
| DOI
M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388.
2001 | Conference Paper | LibreCat-ID: 18166
New Bounds for Hypercube Slicing Numbers
M. Ziegler, M.R. Emamy-Khansari, in: Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001), 2001, pp. 155–164.
LibreCat
M. Ziegler, M.R. Emamy-Khansari, in: Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001), 2001, pp. 155–164.
2001 | Conference Paper | LibreCat-ID: 18168
Turing Computability of (Non-)Linear Optimization
V. Brattka, M. Ziegler, in: Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01), 2001, pp. 181–184.
LibreCat
V. Brattka, M. Ziegler, in: Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01), 2001, pp. 181–184.
2001 | Conference Paper | LibreCat-ID: 18370
Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph
J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278.
LibreCat
| Files available
J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278.
2001 | Conference (Editor) | LibreCat-ID: 7787
Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)
K. Mehner, M. Mezini, E. Pulvermüller, A. Speck, eds., Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany), University of Paderborn, 2001.
LibreCat
K. Mehner, M. Mezini, E. Pulvermüller, A. Speck, eds., Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany), University of Paderborn, 2001.
2001 | Conference (Editor) | LibreCat-ID: 7788
Modellierung 2001
G. Engels, A. Oberweis, A. Zündorf, eds., Modellierung 2001, Gesellschaft für Informatik (GI), Bonn, 2001.
LibreCat
G. Engels, A. Oberweis, A. Zündorf, eds., Modellierung 2001, Gesellschaft für Informatik (GI), Bonn, 2001.
2001 | Conference (Editor) | LibreCat-ID: 7789
Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE '01), Erfurt (Germany)
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, S. Hanenberg, 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
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, S. Hanenberg, 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.
2001 | Conference Paper | LibreCat-ID: 7879
Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle
B. Lütkemeier, S. Thöne, in: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), Konradin-Verlag, 2001.
LibreCat
B. Lütkemeier, S. Thöne, in: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), Konradin-Verlag, 2001.
2001 | Conference Paper | LibreCat-ID: 7880
Compositional Modeling of Reactive Systems Using Open Nets
P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg, 2001, pp. 502–518.
LibreCat
P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg, 2001, pp. 502–518.
2001 | Conference Paper | LibreCat-ID: 7881
Consistent Design of Embedded Real-Time Systems with UML-RT
J. Küster, J. Stroop, in: Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany), IEEE Computer Society, Washington, DC, USA, 2001, pp. 31–40.
LibreCat
| DOI
J. Küster, J. Stroop, in: Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany), IEEE Computer Society, Washington, DC, USA, 2001, pp. 31–40.
2001 | Conference Paper | LibreCat-ID: 7882
Improving the Agent-Oriented Modeling Process with Roles
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), ACM Press, New York, NY, USA, 2001, pp. 640–647.
LibreCat
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), ACM Press, New York, NY, USA, 2001, pp. 640–647.
2001 | Conference Paper | LibreCat-ID: 7883
Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform
R. Depke, R. Heckel, in: Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany), Technische Akademie Esslingen, 2001.
LibreCat
R. Depke, R. Heckel, in: Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany), Technische Akademie Esslingen, 2001.
2001 | Conference Paper | LibreCat-ID: 7884
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.
LibreCat
| DOI
G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.
2001 | Conference Paper | LibreCat-ID: 7885
A methodology for specifying and analyzing consistency of object-oriented behavioral models
G. Engels, J. Küster, L. Groenewegen, R. Heckel, 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), ACM Press, New York, NY, USA, 2001, pp. 186–195.
LibreCat
| DOI
G. Engels, J. Küster, L. Groenewegen, R. Heckel, 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), ACM Press, New York, NY, USA, 2001, pp. 186–195.
2001 | Conference Paper | LibreCat-ID: 7886
Towards UML-based Analysis and Design of Multi-Agent Systems
C. Geiger, S. Flake, J. Küster, 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
C. Geiger, S. Flake, J. Küster, 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.