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.
10426 Publications
2002 | Journal Article | LibreCat-ID: 24336
A. Benczúr, U. Glässer, and T. Lukovszki, “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks,” Proc. of 10th International Workshop on Abstract State Machines, LNCS, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 24338
M. Grünewald, T. Lukovszki, C. Schindelhauer, and K. Volbert, “Distributed Maintenance of Resource Efficient Wireless Network Topologies,” 2002, doi: 10.1007/3-540-45706-2_134.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 26412
K. Volbert, “A simulation environment for ad hoc networks using sector subdivision,” 2002, doi: 10.1109/empdp.2002.994324.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 3241
H. Wehrheim, “Relating State-based and Behaviour-oriented Subtyping,” Nord. J. Comput., no. 4, pp. 405--435, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3242
E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in {CSP-OZ},” in 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
2002 | Conference Paper | LibreCat-ID: 3243
H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in 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
2002 | Journal Article | LibreCat-ID: 3034
A. Albanese, J. Blömer, J. Edmonds, M. Luby, and M. Sudan, “Priority encoding transmission,” IEEE Transactions on Information Theory, vol. 42, no. 6, pp. 1737–1744, 2002.
LibreCat
| Files available
| DOI
2002 | Conference Paper | LibreCat-ID: 2135 | 
P. Kolman and C. Scheideler, “Improved bounds for the unsplittable flow problem,” in SODA, 2002, pp. 184--193.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2136 |
A. Brinkmann, K. Salzwedel, and C. Scheideler, “Compact, adaptive placement schemes for non-uniform requirements,” in SPAA, 2002, pp. 53--62.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2137 |
A. Bagchi, A. Chaudhary, C. Scheideler, and P. Kolman, “Algorithms for fault-tolerant routing in circuit switched networks,” in SPAA, 2002, pp. 265--274.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2138 |
C. Scheideler, “Models and Techniques for Communication in Dynamic Networks,” in STACS, 2002, vol. 2285, pp. 27--49.
LibreCat
| Files available
2002 | Journal Article | LibreCat-ID: 18853
C. Sohler and A. Czumaj, “Abstract Combinatorial Programs and Efficient Property Testers,” Proceedings of the 43th Symposium on Foundations of Computer Science (FOCS), pp. 83–92, 2002.
LibreCat
2002 | Report | LibreCat-ID: 18961
T. Lukovszki and A. Benczúr, A Degree O(log log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing. Paderborn, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 1921
T. Ngo-Quynh, H. Karl, A. Wolisz, and K. Rebensburg, “New Scheduling Algorithm for Providing Proportional Jitter in Differentiated Service Network ,” in Proc. IST Mobile & Wireless Telecommunications Summit 2002., 2002.
LibreCat
2002 | Dissertation | LibreCat-ID: 18169
M. Ziegler, Zur Berechenbarkeit reeller geometrischer Probleme, vol. 115. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 18177
M. Ziegler, V. Damerow, and L. Finschi, “Point Location Algorithms of Minimum Size,” in Proceedings of the 14th Canadian Conference on Computational Geometry (CCCG’02), 2002.
LibreCat