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.
10463 Publications
2002 | Conference Paper | LibreCat-ID: 2138 | 
Scheideler C. Models and Techniques for Communication in Dynamic Networks. In: STACS. Vol 2285. Lecture Notes in Computer Science. Springer; 2002:27--49.
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 18853
Sohler C, Czumaj A. Abstract Combinatorial Programs and Efficient Property Testers. Proceedings of the 43th Symposium on Foundations of Computer Science (FOCS). 2002:83-92.
LibreCat
2002 | Report | LibreCat-ID: 18961
Lukovszki T, Benczúr A. A Degree O(Log Log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing. Paderborn; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 1921
Ngo-Quynh T, Karl H, Wolisz A, Rebensburg K. New Scheduling Algorithm for Providing Proportional Jitter in Differentiated Service Network . In: Proc. IST Mobile & Wireless Telecommunications Summit 2002. ; 2002.
LibreCat
2002 | Dissertation | LibreCat-ID: 18169
Ziegler M. Zur Berechenbarkeit reeller geometrischer Probleme. Vol 115. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 18176
Ziegler M. Computability on Regular Subsets of Euclidean Space. Mathematical Logic Quarterly (MLQ). 2002;48(S1):157-181. doi:10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 18177
Ziegler M, Damerow V, Finschi L. Point Location Algorithms of Minimum Size. In: Proceedings of the 14th Canadian Conference on Computational Geometry (CCCG’02). ; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 18179
Brattka V, Ziegler M. Computability of Linear Equations. In: Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science. Boston, MA; 2002:95-106. doi:10.1007/978-0-387-35608-2_9
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 18369
Mueck B, Dangelmaier W, Fischer M, Klemisch W. Bi-directional Coupling of Simulation Tools with a Walkthrough-System. In: Simulation Und Visualisierung. Ghent, BE: SCS European Publishing House; 2002:71-84.
LibreCat
2002 | Conference Paper | LibreCat-ID: 18566
Adler M, Räcke H, Sivadasan N, Sohler C, Vöcking B. Randomized Pursuit-Evasion in Graphs. In: Proceedings of the 29th International Colloquium on Automata, Languages and Programming. Berlin, Heidelberg; 2002. doi:10.1007/3-540-45465-9_77
LibreCat
| DOI
2002 | Conference (Editor) | LibreCat-ID: 7785
Heckel R, Mens T, Wermelinger M, eds. Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain). Vol 72. Elsevier; 2002.
LibreCat
2002 | Conference (Editor) | LibreCat-ID: 7786
Clauss M, Hanenberg S, John I, Mehner K, Van Der Straeten R, eds. Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA).; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7895
Baresi L, Heckel R. Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain). Vol 2505. LNCS. Berlin/Heidelberg: Springer; 2002:402-429. doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7896
Depke R, Engels G, Langham M, Lütkemeier B, Thöne S. Process-Oriented, Consistent Integration of Software Components. In: Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England). Washington, DC, USA: IEEE Computer Society; 2002:13-18. doi:http://dx.doi.org/10.1109/CMPSAC.2002.1044527
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7897
Engels G, Heckel R, Küster J, Groenewegen L. Consistency-Preserving Model Evolution through Transformations. In: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany). Vol 2460. LNCS. Berlin/Heidelberg: Springer; 2002:212-226.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7898
Engels G, Küster J, Groenewegen L. Consistent Interaction Of Software Components. In: Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA). Vol 6. IOS Press; 2002:2-22.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7899
Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Testing the Consistency of Dynamic UML Diagrams. In: Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA). ; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7900
Gyapay S, Heckel R, Varró D. Graph Transformation with Time: Causality and Logical Clocks. In: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain). Vol 2505. LNCS. Berlin/Heidelberg: Springer; 2002:120-134.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7901
Hendrik Hausmann J, Heckel R, Taentzer G. Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA). New York, NY, USA: ACM Press; 2002:105-155. doi:http://doi.acm.org/10.1145/581339.581355
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7902
Heckel R, Chouikha M. Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets. In: Proceedings of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA). Grandview, TX, USA: Society of Design and Process Science; 2002:63-77.
LibreCat