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.

5950 Publications


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
 

2001 | Conference (Editor) | LibreCat-ID: 7787
K. Mehner, M. Mezini, E. Pulvermüller, and A. Speck, 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
G. Engels, A. Oberweis, and A. Zündorf, Eds., Modellierung 2001, vol. 1. Bonn: Gesellschaft für Informatik (GI), 2001.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7789
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, and 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
 

2001 | Conference Paper | LibreCat-ID: 7879
B. Lütkemeier and S. Thöne, “Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle,” in Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7880
P. Baldan, A. Corradini, H. Ehrig, and R. Heckel, “Compositional Modeling of Reactive Systems Using Open Nets,” in Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), 2001, vol. 2154, pp. 502–518.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7881
J. Küster and J. Stroop, “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), 2001, pp. 31–40.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7882
R. Depke, R. Heckel, and J. Küster, “Improving the Agent-Oriented Modeling Process with Roles,” in Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), 2001, pp. 640–647.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7883
R. Depke and R. Heckel, “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), 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7884
G. Engels, R. Heckel, and J. Küster, “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), 2001, vol. 2185, pp. 272–287.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7885
G. Engels, J. Küster, L. Groenewegen, and R. Heckel, “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), 2001, vol. 26, no. 5, pp. 186–195.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7886
C. Geiger, S. Flake, and J. Küster, “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
 

2001 | Conference Paper | LibreCat-ID: 7887
R. Heckel and G. Engels, “Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution,” in Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal), 2001, no. UNL-DI-1-2001, pp. 42–47.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7888
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams,” in Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), 2001, pp. 80–87.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed