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.
5934 Publications
2003 | Conference Paper | LibreCat-ID: 39367
J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
LibreCat
2002 | Report | LibreCat-ID: 2538
H. Karl, S. Mengesha, and D. Hollos, Relaying in Wireless Access Networks . London: Business Briefing: Wireless Technology 2002, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2541
A. Köpke, V. Handziski, and H. Karl, “ Making sensor networks intelligent,” in Proc. 7th Wireless World Research Forum (WWRF), 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2544
H. Miesmer, H. Sanneck, A. Aguier, and H. Karl, “Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks,” in Proc. of 6th Wireless World Forum, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2548
D. Hollos and H. Karl, “A HiperLAN/2 simulation model in OMNeT++,” in Proc. of 2nd Intl. OMNet Workshop, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 19727
O. Bonorden, F. Meyer auf der Heide, and R. Wanka, “Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example,” in Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2002, pp. 2202–2208.
LibreCat
2002 | Conference Paper | LibreCat-ID: 19873
J. Klein, J. Krokowski, and N. Cuntz, “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression,” in Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.
LibreCat
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