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.
5777 Publications
2002 | Journal Article | LibreCat-ID: 3241
Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4, 2002, pp. 405--435.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3242
Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” 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, edited by Bart Jacobs and Arend Rensink, 2002, pp. 79--93.
LibreCat
2002 | Journal Article | LibreCat-ID: 3034
Albanese, Andres, et al. “Priority Encoding Transmission.” IEEE Transactions on Information Theory, vol. 42, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 1737–44, doi:10.1109/18.556670.
LibreCat
| Files available
| DOI
2002 | Conference Paper | LibreCat-ID: 3040
Albanese, A., et al. “Priority Encoding Transmission.” Proceedings 35th Annual Symposium on Foundations of Computer Science, IEEE Comput. Soc. Press, 2002, doi:10.1109/sfcs.1994.365731.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 2134
Feige, Uriel, and Christian Scheideler. “Improved Bounds for Acyclic Job Shop Scheduling.” Combinatorica, no. 3, 2002, pp. 361--399, doi:10.1007/s004930200018.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 2135 |
Kolman, Petr, and Christian Scheideler. “Improved Bounds for the Unsplittable Flow Problem.” SODA, ACM/SIAM, 2002, pp. 184--193.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2136 |
Brinkmann, André, et al. “Compact, Adaptive Placement Schemes for Non-Uniform Requirements.” SPAA, 2002, pp. 53--62.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2137 |
Bagchi, Amitabha, et al. “Algorithms for Fault-Tolerant Routing in Circuit Switched Networks.” SPAA, 2002, pp. 265--274.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2138 |
Scheideler, Christian. “Models and Techniques for Communication in Dynamic Networks.” STACS, vol. 2285, Springer, 2002, pp. 27--49.
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 18853
Sohler, Christian, and Artur Czumaj. “Abstract Combinatorial Programs and Efficient Property Testers.” Proceedings of the 43th Symposium on Foundations of Computer Science (FOCS), 2002, pp. 83–92.
LibreCat
2002 | Report | LibreCat-ID: 18961
Lukovszki, Tamás, and A. Benczúr. A Degree O(Log Log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing. 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 1921
Ngo-Quynh, Thu, et al. “New Scheduling Algorithm for Providing Proportional Jitter in Differentiated Service Network .” Proc. IST Mobile & Wireless Telecommunications Summit 2002., 2002.
LibreCat
2002 | Dissertation | LibreCat-ID: 18169
Ziegler, Martin. Zur Berechenbarkeit reeller geometrischer Probleme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 18176
Ziegler, Martin. “Computability on Regular Subsets of Euclidean Space.” Mathematical Logic Quarterly (MLQ), vol. 48, no. S1, 2002, pp. 157–81, doi:10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 18177
Ziegler, Martin, et al. “Point Location Algorithms of Minimum Size.” Proceedings of the 14th Canadian Conference on Computational Geometry (CCCG’02), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 18179
Brattka, Vasco, and Martin Ziegler. “Computability of Linear Equations.” Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science, 2002, pp. 95–106, doi:10.1007/978-0-387-35608-2_9.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 18369
Mueck, Bengt, et al. “Bi-Directional Coupling of Simulation Tools with a Walkthrough-System.” Simulation Und Visualisierung, SCS European Publishing House, 2002, pp. 71–84.
LibreCat
2002 | Conference Paper | LibreCat-ID: 18566
Adler, Micah, et al. “Randomized Pursuit-Evasion in Graphs.” Proceedings of the 29th International Colloquium on Automata, Languages and Programming, 2002, doi:10.1007/3-540-45465-9_77.
LibreCat
| DOI
2002 | Conference (Editor) | LibreCat-ID: 7785
Heckel, Reiko, et al., editors. Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain). Vol. 72, no. 4, Elsevier, 2002.
LibreCat