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.
10473 Publications
1999 | Conference Paper | LibreCat-ID: 3254
C. Fischer and H. Wehrheim, “Model-Checking {CSP-OZ} Specifications with {FDR},” in Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.
LibreCat
1999 | Conference Paper | LibreCat-ID: 2164 | 
P. Berenbrink and C. Scheideler, “Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths,” in SODA, 1999, pp. 112--121.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2165 |
P. Berenbrink, M. Riedel, and C. Scheideler, “Simple Competitive Request Scheduling Strategies,” in SPAA, 1999, pp. 33--42.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 17864
M. Fischer, T. Lukovszki, and M. Ziegler, “Partitioned neighborhood spanners of minimal outdegree,” in Proceedings of the 11th Canadian Conference on Computational Geometry, 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18747
C. Sohler, “Fast Reconstruction of Delaunay Triangulations,” in Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99), 1999, pp. 136–141.
LibreCat
1999 | Dissertation | LibreCat-ID: 18942
T. Lukovszki, 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: 18965
C. Krick, F. Meyer auf der Heide, H. Räcke, B. Vöcking, and M. Westermann, “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, pp. 165–174.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 18576
C. Sohler, “Generating Random Star-Shaped Polygons,” in Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99), 1999, pp. 174–177.
LibreCat
1999 | Conference Paper | LibreCat-ID: 2210 |
P. Berenbrink, M. Riedel, and C. Scheideler, “Design of the PRESTO Multimedia Storage Network (Extended Abstract),” in International Workshop on Communication and Data Management in Large Networks (CDMLarge), 1999, pp. 2–12.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2166 |
C. Scheideler and B. Vöcking, “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols,” in STOC, 1999, pp. 215--224.
LibreCat
| Files available
1999 | Conference (Editor) | LibreCat-ID: 7792
G. Engels, K. Beiersdörfer, and W. Schäfer, 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
D. Deugo, J. Küster, F. Oppacher, and I. von Otte, “Patterns as a Means for Intelligent Software Engineering,” in Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), 1999, vol. 2, pp. 605–611.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
A. Corradini, R. Heckel, and U. Montanari, “Tile Transition Systems as Structured Coalgebras,” in Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), 1999, vol. 1684, pp. 13–38.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
A. Cherchago, “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
G. Engels, R. Depke, and C. Borowski, “Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung,” in Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, 1999, vol. 8, pp. 531–540.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
G. Engels, R. Hücking, S. Sauer, and A. Wagner, “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, 1999, vol. 1723, pp. 473–488.
LibreCat