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
2000 | Conference Paper | LibreCat-ID: 3251
Behavioural Subtyping and Property Preservation
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.
LibreCat
| DOI
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.
2000 | Book Chapter | LibreCat-ID: 3023
Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
LibreCat
| DOI
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
2000 | Journal Article | LibreCat-ID: 2143
Efficient Communication Strategies for Ad Hoc Wireless Networks
M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.
LibreCat
| DOI
M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.
2000 | Journal Article | LibreCat-ID: 2145
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
C. Scheideler, B. Vöcking, SIAM J. Comput. 30 (2000) 1126--1155.
LibreCat
| DOI
C. Scheideler, B. Vöcking, SIAM J. Comput. 30 (2000) 1126--1155.
2000 | Conference Paper | LibreCat-ID: 2146 | 
Distributed Path Selection for Storage Networks
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.
LibreCat
| Files available
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.
2000 | Conference Paper | LibreCat-ID: 2147 |
Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma
A. Czumaj, C. Scheideler, in: SODA, 2000, pp. 30--39.
LibreCat
| Files available
A. Czumaj, C. Scheideler, in: SODA, 2000, pp. 30--39.
2000 | Journal Article | LibreCat-ID: 2148
Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma
A. Czumaj, C. Scheideler, Random Struct. Algorithms 17 (2000) 213--237.
LibreCat
A. Czumaj, C. Scheideler, Random Struct. Algorithms 17 (2000) 213--237.
2000 | Conference Paper | LibreCat-ID: 2149 |
Efficient, distributed data placement strategies for storage area networks (extended abstract)
A. Brinkmann, K. Salzwedel, C. Scheideler, in: SPAA, 2000, pp. 119--128.
LibreCat
| Files available
A. Brinkmann, K. Salzwedel, C. Scheideler, in: SPAA, 2000, pp. 119--128.
2000 | Conference Paper | LibreCat-ID: 2150 |
A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)
A. Czumaj, C. Scheideler, in: STOC, ACM, 2000, pp. 38--47.
LibreCat
| Files available
A. Czumaj, C. Scheideler, in: STOC, ACM, 2000, pp. 38--47.
2000 | Report | LibreCat-ID: 17865
Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes
M. Wand, M. Fischer, F. Meyer auf der Heide, Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes, Universität Paderborn, 2000.
LibreCat
| Files available
M. Wand, M. Fischer, F. Meyer auf der Heide, Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes, Universität Paderborn, 2000.
2000 | Conference Paper | LibreCat-ID: 18962
I/O-Efficient Well-Separated Pair Decomposition and Applications
S. Govindarajan, T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614.
LibreCat
| DOI
S. Govindarajan, T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614.
2000 | Conference Paper | LibreCat-ID: 1920
Predictable Network Computing using Message-driven Scheduling
H. Karl, A. Polze, M. Werner, in: Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
LibreCat
H. Karl, A. Polze, M. Werner, in: Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
2000 | Conference Paper | LibreCat-ID: 17990
Property Testing in Computational Geometry
A. Czumaj, C. Sohler, M. Ziegler, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), Springer, Berlin, Heidelberg, 2000, pp. 155–166.
LibreCat
| DOI
A. Czumaj, C. Sohler, M. Ziegler, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), Springer, Berlin, Heidelberg, 2000, pp. 155–166.
2000 | Conference Paper | LibreCat-ID: 18146
Computing the Dimension of Linear Subspaces
M. Ziegler, V. Brattka, in: SOFSEM 2000: Theory and Practice of Informatics, Springer, Berlin, Heidelberg, 2000, pp. 450–458.
LibreCat
| DOI
M. Ziegler, V. Brattka, in: SOFSEM 2000: Theory and Practice of Informatics, Springer, Berlin, Heidelberg, 2000, pp. 450–458.
2000 | Conference Paper | LibreCat-ID: 18150
Computing Cut Numbers
M. Ziegler, C. Sohler, in: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
LibreCat
M. Ziegler, C. Sohler, in: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
2000 | Journal Article | LibreCat-ID: 18446
Periodification Scheme: Constructing Sorting Networks with Constant Period
K. Lorys, R. Wanka, B. Oesterdiekhoff, M. Kutylowski, Journal of the ACM 45 (2000) 944–967.
LibreCat
| DOI
K. Lorys, R. Wanka, B. Oesterdiekhoff, M. Kutylowski, Journal of the ACM 45 (2000) 944–967.
2000 | Conference Paper | LibreCat-ID: 2211 |
A New Algorithmic Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems
A. Czumaj, C. Scheideler, in: 32nd ACM Symposium on Theory of Computing, 2000, pp. 38–47.
LibreCat
| Files available
A. Czumaj, C. Scheideler, in: 32nd ACM Symposium on Theory of Computing, 2000, pp. 38–47.
2000 | Journal Article | LibreCat-ID: 21782
Do we need formal education in visualization?
G. Domik, IEEE Computer Graphics and Applications 20 (2000) 16–19.
LibreCat
| DOI
G. Domik, IEEE Computer Graphics and Applications 20 (2000) 16–19.
2000 | Conference Paper | LibreCat-ID: 21783
Developing Effective Navigation Techniques in Virtual 3D Environments
S. Volbracht, G. Domik, in: J. Mulder, R. van Liere (Eds.), Virtual Environments 2000, Springer Vienna, Vienna, 2000, pp. 55–64.
LibreCat
S. Volbracht, G. Domik, in: J. Mulder, R. van Liere (Eds.), Virtual Environments 2000, Springer Vienna, Vienna, 2000, pp. 55–64.
2000 | Conference (Editor) | LibreCat-ID: 7790
Special Issue: Selected Papers of GRATRA 2000
H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.
LibreCat
H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.