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
2003 | Book Review | LibreCat-ID: 18436 | 
Köhler, E. u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Dokumente und historische Analysen, öbv & hpt: Wien 2002
V. Peckhaus, zbMATH Open, Zbl. 1014.01009 (2003).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1014.01009 (2003).
2002 | Report | LibreCat-ID: 2538
Relaying in Wireless Access Networks
H. Karl, S. Mengesha, D. Hollos, Relaying in Wireless Access Networks , Business Briefing: Wireless Technology 2002, London, 2002.
LibreCat
| Files available
H. Karl, S. Mengesha, D. Hollos, Relaying in Wireless Access Networks , Business Briefing: Wireless Technology 2002, London, 2002.
2002 | Conference Paper | LibreCat-ID: 2541
Making sensor networks intelligent
A. Köpke, V. Handziski, H. Karl, in: Proc. 7th Wireless World Research Forum (WWRF), Eindhoven/Netherlands, 2002.
LibreCat
| Files available
A. Köpke, V. Handziski, H. Karl, in: Proc. 7th Wireless World Research Forum (WWRF), Eindhoven/Netherlands, 2002.
2002 | Conference Paper | LibreCat-ID: 2544
Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks
H. Miesmer, H. Sanneck, A. Aguier, H. Karl, in: Proc. of 6th Wireless World Forum, London / GB, 2002.
LibreCat
| Files available
H. Miesmer, H. Sanneck, A. Aguier, H. Karl, in: Proc. of 6th Wireless World Forum, London / GB, 2002.
2002 | Conference Paper | LibreCat-ID: 2548
A HiperLAN/2 simulation model in OMNeT++
D. Hollos, H. Karl, in: Proc. of 2nd Intl. OMNet Workshop, Berlin , 2002.
LibreCat
| Files available
D. Hollos, H. Karl, in: Proc. of 2nd Intl. OMNet Workshop, Berlin , 2002.
2002 | Conference Paper | LibreCat-ID: 19727
Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example
O. Bonorden, F. Meyer auf der Heide, R. Wanka, in: Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2002, pp. 2202–2208.
LibreCat
O. Bonorden, F. Meyer auf der Heide, R. Wanka, in: Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2002, pp. 2202–2208.
2002 | Conference Paper | LibreCat-ID: 19850
Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal
R. Wanka, in: Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG), Berlin, Heidelberg, 2002, pp. 413–420.
LibreCat
| DOI
R. Wanka, in: Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG), Berlin, Heidelberg, 2002, pp. 413–420.
2002 | Conference Paper | LibreCat-ID: 19873
Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression
J. Klein, J. Krokowski, N. Cuntz, in: Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.
LibreCat
J. Klein, J. Krokowski, N. Cuntz, in: Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.
2002 | Conference Paper | LibreCat-ID: 2423
Reconfigurable Hardware in Wearable Computing Nodes
C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, in: Proc. Int. Symp. on Wearable Computers (ISWC), IEEE Computer Society, 2002, pp. 215–222.
LibreCat
| DOI
C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, in: Proc. Int. Symp. on Wearable Computers (ISWC), IEEE Computer Society, 2002, pp. 215–222.
2002 | Conference Paper | LibreCat-ID: 2424
Partially Reconfigurable Cores for Xilinx Virtex
M. Dyer, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2002, pp. 292–301.
LibreCat
| DOI
M. Dyer, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2002, pp. 292–301.
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.