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. (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
2001 | Conference Paper | LibreCat-ID: 18370
Klein, J., & Fischer, M. (2001). Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph. In Proc. of 3. GI-Informatiktage 2001 (pp. 275–278). Bad Schussenried.
LibreCat
| Files available
2001 | Conference (Editor) | LibreCat-ID: 7787
Mehner, K., Mezini, M., Pulvermüller, E., & Speck, A. (Eds.). (2001). 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.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7788
Engels, G., Oberweis, A., & Zündorf, A. (Eds.). (2001). Modellierung 2001 (Vol. 1). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7789
Böllert, K., Streitferdt, D., Heuzeroth, D., Mehner, K., & Hanenberg, S. (Eds.). (2001). Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany).
LibreCat
2001 | Conference Paper | LibreCat-ID: 7879
Lütkemeier, B., & Thöne, S. (2001). Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle. In Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany). Konradin-Verlag.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7880
Baldan, P., Corradini, A., Ehrig, H., & Heckel, R. (2001). Compositional Modeling of Reactive Systems Using Open Nets. In Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark) (Vol. 2154, pp. 502–518). Berlin/Heidelberg: Springer.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7881
Küster, J., & Stroop, J. (2001). 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) (pp. 31–40). Washington, DC, USA: IEEE Computer Society. 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. (2001). Improving the Agent-Oriented Modeling Process with Roles. In Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada) (pp. 640–647). New York, NY, USA: ACM Press.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7883
Depke, R., & Heckel, R. (2001). 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.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
Engels, G., Heckel, R., & Küster, J. (2001). 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, pp. 272–287). Berlin/Heidelberg: Springer. 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. (2001). 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, pp. 186–195). New York, NY, USA: ACM Press. http://dx.doi.org/10.1145/503271.503235
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7886
Geiger, C., Flake, S., & Küster, J. (2001). 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).
LibreCat