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