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.
5786 Publications
1999 | Conference Paper | LibreCat-ID: 19732
@inproceedings{Bonorden_Juurlink_Von Otte_Rieping_1999, title={The Paderborn university BSP (PUB) library-design, implementation and performance}, DOI={10.1109/ipps.1999.760442}, booktitle={Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing}, author={Bonorden, Olaf and Juurlink, Bernhardus and Von Otte, I. and Rieping, Ingo}, year={1999}, pages={99–104} }
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 19815
@article{Kleine Büning_Lettmann_1999, title={Resolution remains hard under equivalence}, DOI={10.1016/s0166-218x(99)00055-4}, journal={Discrete Applied Mathematics}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1999}, pages={139–148} }
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 3252
@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={10.1016/S1571-0661(05)80296-8}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3253
@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science}, title={Data Abstraction for {CSP-OZ}}, DOI={10.1007/3-540-48118-4_5}, booktitle={FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, author={Wehrheim, Heike}, editor={M. Wing, Jeannette and Woodcock, Jim and Davies, JimEditors}, year={1999}, pages={1028--1047}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3254
@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }
LibreCat
1999 | Journal Article | LibreCat-ID: 2151
@article{Flammini_Scheideler_1999, title={Simple, Efficient Routing Schemes for All-Optical Networks}, volume={32}, DOI={10.1007/s002240000123}, number={3}, journal={Theory Comput. Syst.}, author={Flammini, Michele and Scheideler, Christian}, year={1999}, pages={387--420} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 2164 | 
@inproceedings{Berenbrink_Scheideler_1999, title={Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths}, booktitle={SODA}, author={Berenbrink, Petra and Scheideler, Christian}, year={1999}, pages={112--121} }
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2165 |
@inproceedings{Berenbrink_Riedel_Scheideler_1999, title={Simple Competitive Request Scheduling Strategies}, booktitle={SPAA}, author={Berenbrink, Petra and Riedel, Marco and Scheideler, Christian}, year={1999}, pages={33--42} }
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 17864
@inproceedings{Fischer_Lukovszki_Ziegler_1999, place={Vancouver}, title={Partitioned neighborhood spanners of minimal outdegree}, booktitle={Proceedings of the 11th Canadian Conference on Computational Geometry}, author={Fischer, Matthias and Lukovszki, Tamas and Ziegler, Martin}, year={1999} }
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18747
@inproceedings{Sohler_1999, title={Fast Reconstruction of Delaunay Triangulations}, booktitle={Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99)}, author={Sohler, Christian}, year={1999}, pages={136–141} }
LibreCat
1999 | Dissertation | LibreCat-ID: 18942
@book{Lukovszki_1999, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={New Results on Geometric Spanners and Their Applications}, volume={63}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Lukovszki, Tamás}, year={1999}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18959
@inproceedings{Lukovszki_1999, title={New Results on Fault Tolerant Geometric Spanners}, DOI={10.1007/3-540-48447-7_20}, booktitle={Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS’99), LNCS}, author={Lukovszki, Tamás}, year={1999}, pages={193–204} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 18965
@inproceedings{Krick_Meyer auf der Heide_Räcke_Vöcking_Westermann_1999, title={Data management in networks: experimental evaluation of a provably good strategy}, DOI={10.1145/305619.305637}, booktitle={Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures - SPAA ’99}, author={Krick, Christof and Meyer auf der Heide, Friedhelm and Räcke, Harald and Vöcking, Berthold and Westermann, Matthias}, year={1999}, pages={165–174} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 18576
@inproceedings{Sohler_1999, title={Generating Random Star-Shaped Polygons}, booktitle={Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99)}, author={Sohler, Christian}, year={1999}, pages={174–177} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 2210 |
@inproceedings{Berenbrink_Riedel_Scheideler_1999, title={Design of the PRESTO Multimedia Storage Network (Extended Abstract)}, booktitle={International Workshop on Communication and Data Management in Large Networks (CDMLarge)}, author={Berenbrink, Petra and Riedel, Marco and Scheideler, Christian}, year={1999}, pages={2–12} }
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2166 |
@inproceedings{Scheideler_Vöcking_1999, title={From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols}, booktitle={STOC}, author={Scheideler, Christian and Vöcking, Berthold}, year={1999}, pages={215--224} }
LibreCat
| Files available
1999 | Conference (Editor) | LibreCat-ID: 7792
@book{Engels_Beiersdörfer_Schäfer_1999, place={Berlin/Heidelberg}, series={Informatik aktuell}, title={Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}, publisher={Springer}, year={1999}, collection={Informatik aktuell} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
@inproceedings{Deugo_Küster_Oppacher_von Otte_1999, title={Patterns as a Means for Intelligent Software Engineering}, volume={2}, booktitle={Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)}, publisher={CSREA Press}, author={Deugo, Dwight and Küster, Jochen and Oppacher, Franz and von Otte, Ingo}, year={1999}, pages={605–611} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
@inproceedings{Corradini_Heckel_Montanari_1999, place={Berlin/Heidelberg}, series={LNCS}, title={Tile Transition Systems as Structured Coalgebras}, volume={1684}, booktitle={Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)}, publisher={Springer}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={13–38}, collection={LNCS} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
@inproceedings{Cherchago_1999, title={Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development}, booktitle={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)}, author={Cherchago, Alexey}, year={1999} }
LibreCat