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.
9311 Publications
2002 | Conference Paper | LibreCat-ID: 2425
Custom Computing Machines for the Set Covering Problem
C. Plessl, M. Platzner, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2002, pp. 163–172.
LibreCat
| DOI
C. Plessl, M. Platzner, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2002, pp. 163–172.
2002 | Journal Article | LibreCat-ID: 24336
Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks
A. Benczúr, U. Glässer, T. Lukovszki, Proc. of 10th International Workshop on Abstract State Machines, LNCS (2002).
LibreCat
| Files available
A. Benczúr, U. Glässer, T. Lukovszki, Proc. of 10th International Workshop on Abstract State Machines, LNCS (2002).
2002 | Conference Paper | LibreCat-ID: 24338
Distributed Maintenance of Resource Efficient Wireless Network Topologies
M. Grünewald, T. Lukovszki, C. Schindelhauer, K. Volbert, in: Proceedings of the 8th International Euro-Par Conference, Paderborn, Germany, 2002.
LibreCat
| DOI
M. Grünewald, T. Lukovszki, C. Schindelhauer, K. Volbert, in: Proceedings of the 8th International Euro-Par Conference, Paderborn, Germany, 2002.
2002 | Conference (Editor) | LibreCat-ID: 24594
1. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, ed., 1. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
LibreCat
J. Gausemeier, ed., 1. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
2002 | Journal Article | LibreCat-ID: 26160
In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures
A. Schiel, A.P. Weber, G. Kasper, H.-J. Schmid, Particle & Particle Systems Characterization 19 (2002) 410–418.
LibreCat
| DOI
A. Schiel, A.P. Weber, G. Kasper, H.-J. Schmid, Particle & Particle Systems Characterization 19 (2002) 410–418.
2002 | Journal Article | LibreCat-ID: 26161
In-Situ Measurement of Local Particle Flux Densities in a Complex Two-Phase Flow
H.-J. Schmid, S. Veith, H. Umhauer, Particle & Particle Systems Characterization 19 (2002).
LibreCat
| DOI
H.-J. Schmid, S. Veith, H. Umhauer, Particle & Particle Systems Characterization 19 (2002).
2002 | Conference Paper | LibreCat-ID: 26412
A simulation environment for ad hoc networks using sector subdivision
K. Volbert, in: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing, 2002.
LibreCat
| DOI
K. Volbert, in: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing, 2002.
2002 | Journal Article | LibreCat-ID: 3241
Relating State-based and Behaviour-oriented Subtyping
H. Wehrheim, Nord. J. Comput. (2002) 405--435.
LibreCat
H. Wehrheim, Nord. J. Comput. (2002) 405--435.
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: 28788
Anisotropic creep modeling based on elastic projection operators
R. Mahnken, PAMM (2002).
LibreCat
| DOI
R. Mahnken, PAMM (2002).
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: 27761
Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus
A. Buyken, M. Toeller, G. Heitkamp, K. Irsigler, C. Holler, F. Santeusanio, P. Stehle, J.H. Fuller, the E.I.C.S. Group, Diabetic Medicine (2002) 351–359.
LibreCat
| DOI
A. Buyken, M. Toeller, G. Heitkamp, K. Irsigler, C. Holler, F. Santeusanio, P. Stehle, J.H. Fuller, the E.I.C.S. Group, Diabetic Medicine (2002) 351–359.
2002 | Conference Paper | LibreCat-ID: 21053
Material-Specific Joining Techniques for Magnesium Body Structures
S. Jüttner, G. Meschut, in: Aalen, 2002, pp. 1–10.
LibreCat
S. Jüttner, G. Meschut, in: Aalen, 2002, pp. 1–10.
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.