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.
5950 Publications
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, et al. “A Visual Framework for the Scripting of Parallel Agents.” Proceedings of the IEEE Symposium on Visual Languages, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” Proceedings of IECON 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” Proceedings of UKPEW 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” Proceedings of AVI 2000, 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
Bonorden, Olaf, et al. “The Paderborn University BSP (PUB) Library-Design, Implementation and Performance.” Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 1999, pp. 99–104, doi:10.1109/ipps.1999.760442.
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning, Hans, and Theodor Lettmann. “Resolution Remains Hard under Equivalence.” Discrete Applied Mathematics, 1999, pp. 139–48, doi:10.1016/s0166-218x(99)00055-4.
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette M. Wing et al., 1999, pp. 1028--1047, doi:10.1007/3-540-48118-4_5.
LibreCat
| DOI
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