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
Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” Proceedings of CCE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, Alexander, and Wolfgang Müller. Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten. 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Proceedings of FDL’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” Proceedings of the Workshop OCL 2.0 at UML 2003, 2003.
LibreCat
2002 | Report | LibreCat-ID: 2538
Karl, Holger, et al. Relaying in Wireless Access Networks . Business Briefing: Wireless Technology 2002, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2541
Köpke, Andreas, et al. “ Making Sensor Networks Intelligent.” Proc. 7th Wireless World Research Forum (WWRF), 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2544
Miesmer, Horst, et al. “Concepts for a QoS-Enabled, TCP/IP-Oriented Link Layer in Beyond 3G Networks.” Proc. of 6th Wireless World Forum, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 2548
Hollos, D., and Holger Karl. “A HiperLAN/2 Simulation Model in OMNeT++.” Proc. of 2nd Intl. OMNet Workshop, 2002.
LibreCat
| Files available
2002 | Conference Paper | LibreCat-ID: 19727
Bonorden, Olaf, et al. “Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example.” Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2002, pp. 2202–08.
LibreCat
2002 | Conference Paper | LibreCat-ID: 19850
Wanka, Rolf. “Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal.” Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2002, pp. 413–20, doi:10.1007/3-540-36379-3_36.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 19873
Klein, Jan, et al. “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression.” Proc. of 4. GI-Informatiktage, 2002, pp. 224–29.
LibreCat
2002 | Conference Paper | LibreCat-ID: 2423
Plessl, Christian, et al. “Reconfigurable Hardware in Wearable Computing Nodes.” Proc. Int. Symp. on Wearable Computers (ISWC), IEEE Computer Society, 2002, pp. 215–22, doi:10.1109/ISWC.2002.1167250.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 2424
Dyer, Matthias, et al. “Partially Reconfigurable Cores for Xilinx Virtex.” Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), vol. 2438, Springer, 2002, pp. 292–301, doi:10.1007/3-540-46117-5.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 2425
Plessl, Christian, and Marco Platzner. “Custom Computing Machines for the Set Covering Problem.” Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2002, pp. 163–72, doi:10.1109/FPGA.2002.1106671.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 24336
Benczúr, András, et al. “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
Grünewald, Matthias, et al. “Distributed Maintenance of Resource Efficient Wireless Network Topologies.” Proceedings of the 8th International Euro-Par Conference, 2002, doi:10.1007/3-540-45706-2_134.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 26412
Volbert, Klaus. “A Simulation Environment for Ad Hoc Networks Using Sector Subdivision.” Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing, 2002, doi:10.1109/empdp.2002.994324.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 3241
Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4, 2002, pp. 405--435.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3242
Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” 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, edited by Bart Jacobs and Arend Rensink, 2002, pp. 79--93.
LibreCat