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
2002 | Conference Paper | LibreCat-ID: 3242
Specification and Inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.
LibreCat
| DOI
E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.
2002 | Conference Paper | LibreCat-ID: 3243
Checking Behavioural Subtypes via Refinement
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.
LibreCat
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.
2002 | Journal Article | LibreCat-ID: 3034
Priority encoding transmission
A. Albanese, J. Blömer, J. Edmonds, M. Luby, M. Sudan, IEEE Transactions on Information Theory 42 (2002) 1737–1744.
LibreCat
| Files available
| DOI
A. Albanese, J. Blömer, J. Edmonds, M. Luby, M. Sudan, IEEE Transactions on Information Theory 42 (2002) 1737–1744.
2002 | Conference Paper | LibreCat-ID: 3040
Priority encoding transmission
A. Albanese, J. Blömer, J. Edmonds, M. Luby, M. Sudan, in: Proceedings 35th Annual Symposium on Foundations of Computer Science, IEEE Comput. Soc. Press, 2002.
LibreCat
| DOI
A. Albanese, J. Blömer, J. Edmonds, M. Luby, M. Sudan, in: Proceedings 35th Annual Symposium on Foundations of Computer Science, IEEE Comput. Soc. Press, 2002.
2002 | Journal Article | LibreCat-ID: 2134
Improved Bounds for Acyclic Job Shop Scheduling
U. Feige, C. Scheideler, Combinatorica (2002) 361--399.
LibreCat
| DOI
U. Feige, C. Scheideler, Combinatorica (2002) 361--399.
2002 | Conference Paper | LibreCat-ID: 2135 |
Improved bounds for the unsplittable flow problem
P. Kolman, C. Scheideler, in: SODA, ACM/SIAM, 2002, pp. 184--193.
LibreCat
| Files available
P. Kolman, C. Scheideler, in: SODA, ACM/SIAM, 2002, pp. 184--193.
2002 | Conference Paper | LibreCat-ID: 2136 |
Compact, adaptive placement schemes for non-uniform requirements
A. Brinkmann, K. Salzwedel, C. Scheideler, in: SPAA, 2002, pp. 53--62.
LibreCat
| Files available
A. Brinkmann, K. Salzwedel, C. Scheideler, in: SPAA, 2002, pp. 53--62.
2002 | Conference Paper | LibreCat-ID: 2137 |
Algorithms for fault-tolerant routing in circuit switched networks
A. Bagchi, A. Chaudhary, C. Scheideler, P. Kolman, in: SPAA, 2002, pp. 265--274.
LibreCat
| Files available
A. Bagchi, A. Chaudhary, C. Scheideler, P. Kolman, in: SPAA, 2002, pp. 265--274.
2002 | Conference Paper | LibreCat-ID: 2138 |
Models and Techniques for Communication in Dynamic Networks
C. Scheideler, in: STACS, Springer, 2002, pp. 27--49.
LibreCat
| Files available
C. Scheideler, in: STACS, Springer, 2002, pp. 27--49.
2002 | Journal Article | LibreCat-ID: 18853
Abstract Combinatorial Programs and Efficient Property Testers
C. Sohler, A. Czumaj, Proceedings of the 43th Symposium on Foundations of Computer Science (FOCS) (2002) 83–92.
LibreCat
C. Sohler, A. Czumaj, Proceedings of the 43th Symposium on Foundations of Computer Science (FOCS) (2002) 83–92.
2002 | Report | LibreCat-ID: 18961
A Degree O(log log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing
T. Lukovszki, A. Benczúr, A Degree O(Log Log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing, Paderborn, 2002.
LibreCat
T. Lukovszki, A. Benczúr, A Degree O(Log Log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing, Paderborn, 2002.
2002 | Conference Paper | LibreCat-ID: 1921
New Scheduling Algorithm for Providing Proportional Jitter in Differentiated Service Network
T. Ngo-Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Proc. IST Mobile & Wireless Telecommunications Summit 2002., 2002.
LibreCat
T. Ngo-Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Proc. IST Mobile & Wireless Telecommunications Summit 2002., 2002.
2002 | Dissertation | LibreCat-ID: 18169
Zur Berechenbarkeit reeller geometrischer Probleme
M. Ziegler, Zur Berechenbarkeit reeller geometrischer Probleme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
LibreCat
| Files available
M. Ziegler, Zur Berechenbarkeit reeller geometrischer Probleme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
2002 | Journal Article | LibreCat-ID: 18176
Computability on Regular Subsets of Euclidean Space
M. Ziegler, Mathematical Logic Quarterly (MLQ) 48 (2002) 157–181.
LibreCat
| DOI
M. Ziegler, Mathematical Logic Quarterly (MLQ) 48 (2002) 157–181.
2002 | Conference Paper | LibreCat-ID: 18177
Point Location Algorithms of Minimum Size
M. Ziegler, V. Damerow, L. Finschi, in: Proceedings of the 14th Canadian Conference on Computational Geometry (CCCG’02), 2002.
LibreCat
M. Ziegler, V. Damerow, L. Finschi, in: Proceedings of the 14th Canadian Conference on Computational Geometry (CCCG’02), 2002.
2002 | Conference Paper | LibreCat-ID: 18179
Computability of Linear Equations
V. Brattka, M. Ziegler, in: Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science, Boston, MA, 2002, pp. 95–106.
LibreCat
| DOI
V. Brattka, M. Ziegler, in: Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science, Boston, MA, 2002, pp. 95–106.
2002 | Conference Paper | LibreCat-ID: 18369
Bi-directional Coupling of Simulation Tools with a Walkthrough-System
B. Mueck, W. Dangelmaier, M. Fischer, W. Klemisch, in: Simulation Und Visualisierung, SCS European Publishing House, Ghent, BE, 2002, pp. 71–84.
LibreCat
B. Mueck, W. Dangelmaier, M. Fischer, W. Klemisch, in: Simulation Und Visualisierung, SCS European Publishing House, Ghent, BE, 2002, pp. 71–84.
2002 | Conference Paper | LibreCat-ID: 18566
Randomized Pursuit-Evasion in Graphs
M. Adler, H. Räcke, N. Sivadasan, C. Sohler, B. Vöcking, in: Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Berlin, Heidelberg, 2002.
LibreCat
| DOI
M. Adler, H. Räcke, N. Sivadasan, C. Sohler, B. Vöcking, in: Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Berlin, Heidelberg, 2002.
2002 | Conference (Editor) | LibreCat-ID: 7785
Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)
R. Heckel, T. Mens, M. Wermelinger, eds., Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain), Elsevier, 2002.
LibreCat
R. Heckel, T. Mens, M. Wermelinger, eds., Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain), Elsevier, 2002.
2002 | Conference (Editor) | LibreCat-ID: 7786
Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE '02), Pittsburgh, PA (USA)
M. Clauss, S. Hanenberg, I. John, K. Mehner, R. Van Der Straeten, eds., Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA), 2002.
LibreCat
M. Clauss, S. Hanenberg, I. John, K. Mehner, R. Van Der Straeten, eds., Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA), 2002.