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
1999 | Conference Paper | LibreCat-ID: 3254
Fischer C, Wehrheim H. Model-Checking {CSP-OZ} Specifications with {FDR}. In: Araki K, Galloway A, Taguchi K, eds. Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999. ; 1999:315--334.
LibreCat
1999 | Journal Article | LibreCat-ID: 2151
Flammini M, Scheideler C. Simple, Efficient Routing Schemes for All-Optical Networks. Theory Comput Syst. 1999;32(3):387--420. doi:10.1007/s002240000123
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 2164 | 
Berenbrink P, Scheideler C. Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths. In: SODA. ; 1999:112--121.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2165 |
Berenbrink P, Riedel M, Scheideler C. Simple Competitive Request Scheduling Strategies. In: SPAA. ; 1999:33--42.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 17864
Fischer M, Lukovszki T, Ziegler M. Partitioned neighborhood spanners of minimal outdegree. In: Proceedings of the 11th Canadian Conference on Computational Geometry. Vancouver; 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18747
Sohler C. Fast Reconstruction of Delaunay Triangulations. In: Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99). ; 1999:136-141.
LibreCat
1999 | Dissertation | LibreCat-ID: 18942
Lukovszki T. New Results on Geometric Spanners and Their Applications. Vol 63. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18959
Lukovszki T. New Results on Fault Tolerant Geometric Spanners. In: Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS’99), LNCS. ; 1999:193-204. doi:10.1007/3-540-48447-7_20
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 18965
Krick C, Meyer auf der Heide F, Räcke H, Vöcking B, Westermann M. Data management in networks: experimental evaluation of a provably good strategy. In: Proceedings of the Eleventh Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’99. ; 1999:165-174. doi:10.1145/305619.305637
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 18576
Sohler C. Generating Random Star-Shaped Polygons. In: Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99). ; 1999:174-177.
LibreCat
1999 | Conference Paper | LibreCat-ID: 2210 |
Berenbrink P, Riedel M, Scheideler C. Design of the PRESTO Multimedia Storage Network (Extended Abstract). In: International Workshop on Communication and Data Management in Large Networks (CDMLarge). ; 1999:2-12.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2166 |
Scheideler C, Vöcking B. From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols. In: STOC. ; 1999:215--224.
LibreCat
| Files available
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels G, Beiersdörfer K, Schäfer W, eds. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
Deugo D, Küster J, Oppacher F, von Otte I. Patterns as a Means for Intelligent Software Engineering. In: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA). Vol 2. CSREA Press; 1999:605-611.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
Corradini A, Heckel R, Montanari U. Tile Transition Systems as Structured Coalgebras. In: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99). Vol 1684. LNCS. Berlin/Heidelberg: Springer; 1999:13-38.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
Cherchago A. Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia). ; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
Engels G, Depke R, Borowski C. Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen. Vol 8. Ostfildern: Technische Akademie Esslingen; 1999:531-540.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. In: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA. Vol 1723. LNCS. Berlin/Heidelberg: Springer; 1999:473-488.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci F, Heckel R, Llabrés M. A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK). Vol 29. Electronic Notes in Theoretical Computer Science. Elsevier; 1999:80-100. doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
Heckel R. Modeling Agent-Based Systems with Graph Transformation and UML. In: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems. ; 1999.
LibreCat