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, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki et al., 1999, pp. 315--334.
LibreCat
1999 | Journal Article | LibreCat-ID: 2151
Flammini, Michele, and Christian Scheideler. “Simple, Efficient Routing Schemes for All-Optical Networks.” Theory Comput. Syst., vol. 32, no. 3, 1999, pp. 387--420, doi:10.1007/s002240000123.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 2164 | 
Berenbrink, Petra, and Christian Scheideler. “Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths.” SODA, 1999, pp. 112--121.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2165 |
Berenbrink, Petra, et al. “Simple Competitive Request Scheduling Strategies.” SPAA, 1999, pp. 33--42.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 17864
Fischer, Matthias, et al. “Partitioned Neighborhood Spanners of Minimal Outdegree.” Proceedings of the 11th Canadian Conference on Computational Geometry, 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18747
Sohler, Christian. “Fast Reconstruction of Delaunay Triangulations.” Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99), 1999, pp. 136–41.
LibreCat
1999 | Dissertation | LibreCat-ID: 18942
Lukovszki, Tamás. New Results on Geometric Spanners and Their Applications. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18959
Lukovszki, Tamás. “New Results on Fault Tolerant Geometric Spanners.” Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS’99), LNCS, 1999, pp. 193–204, doi:10.1007/3-540-48447-7_20.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 18965
Krick, Christof, et al. “Data Management in Networks: Experimental Evaluation of a Provably Good Strategy.” Proceedings of the Eleventh Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’99, 1999, pp. 165–74, doi:10.1145/305619.305637.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 18576
Sohler, Christian. “Generating Random Star-Shaped Polygons.” Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99), 1999, pp. 174–77.
LibreCat
1999 | Conference Paper | LibreCat-ID: 2210 |
Berenbrink, Petra, et al. “Design of the PRESTO Multimedia Storage Network (Extended Abstract).” International Workshop on Communication and Data Management in Large Networks (CDMLarge), 1999, pp. 2–12.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2166 |
Scheideler, Christian, and Berthold Vöcking. “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols.” STOC, 1999, pp. 215--224.
LibreCat
| Files available
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, Gregor, et al., editors. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
Deugo, Dwight, et al. “Patterns as a Means for Intelligent Software Engineering.” Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), vol. 2, CSREA Press, 1999, pp. 605–11.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
Corradini, Andrea, et al. “Tile Transition Systems as Structured Coalgebras.” Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), vol. 1684, Springer, 1999, pp. 13–38.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
Cherchago, Alexey. “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development.” 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, Gregor, et al. “Konzeption Und Objektorientierte Realisierung Einer Internet-Basierten Datenbankanwendung.” Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, vol. 8, Technische Akademie Esslingen, 1999, pp. 531–40.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
Engels, Gregor, et al. “UML Collaboration Diagrams and Their Transformation to Java.” Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, vol. 1723, Springer, 1999, pp. 473–88.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci, Fabio, et al. “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.” Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), vol. 29, Elsevier, 1999, pp. 80–100, doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, no. 258, 1999.
LibreCat