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.
9332 Publications
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.
2002 | Book Chapter | LibreCat-ID: 17851
Functions of intonation in sentences and texts
I. Mindt, in: P. Peters, P. Collins, A. Smith (Eds.), New Frontiers of Corpus Research. Papers from the Twenty First International Conference on English Language Research on Computerized Corpora, Rodopi, Amsterdam, 2002, pp. 283–293.
LibreCat
I. Mindt, in: P. Peters, P. Collins, A. Smith (Eds.), New Frontiers of Corpus Research. Papers from the Twenty First International Conference on English Language Research on Computerized Corpora, Rodopi, Amsterdam, 2002, pp. 283–293.
2002 | Book Chapter | LibreCat-ID: 17910
Emerging English Modals: A Corpus-Based Study of Grammaticalization
I. Mindt, M. Krug, in: Journal of English Linguistics, Volume 30, Number 3, Mouton de Gruyter, 2000, 2002, pp. 290–294.
LibreCat
I. Mindt, M. Krug, in: Journal of English Linguistics, Volume 30, Number 3, Mouton de Gruyter, 2000, 2002, pp. 290–294.
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.