E. Hüllermeier and J. Beringer, “Learning decision rules from positive and negative preferences,” in In Proceedings IPMU-2004 10th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Perugia, Italy, 2004.
LibreCat: /record/15220

E. Hüllermeier, I. Renners, and A. Grauel, “An evolutionary approach to constraints-regularized learning,” Mathware and Soft Computing, vol. 11, no. 2–3, pp. 109–124, 2004.
LibreCat: /record/16185

N. Weskamp, D. Kuhn, E. Hüllermeier, and G. Klebe, “Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing,” Bioinformatics, vol. 20, no. 10, pp. 1522–1526, 2004.
LibreCat: /record/16186

E. Hüllermeier, “Flexible constraints for regularization in learning from data,” International Journal of Intelligent Systems, vol. 19, no. 6, pp. 525–541, 2004.
LibreCat: /record/16187

J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, and F. Meyer auf der Heide, “The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments,” Presence: Teleoperators and Virtual Environments, pp. 617–637, 2004.
LibreCat: /record/16399
DOI: 10.1162/1054746043280619

M. Liu Jing et al., “Sensor Networks with More Features Using Less Hardware,” in GOR/NGB Conference Tilburg 2004, 2004.
LibreCat: /record/13071

E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, and A. Wolisz, “Distributed maintenance of resource reservation paths in multihop 802.11 networks,” in Vehicular Technology Conference, 2004. V-Fall. 2004 IEEE 60th, 2004, pp. 2994--2998.
LibreCat: /record/1002

J. Gross, H. Karl, and A. Wolisz, “On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems,” in European Wireless 2004, 2004.
LibreCat: /record/1006

M. Kubisch, H. Karl, and A. Wolisz, “A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas,” Frequenz, no. 3–4, pp. 92--96, 2004.
LibreCat: /record/1017
DOI: /10.1.1.3.3185

J. Gross, H. Karl, and A. Wolisz, “Throughput optimization of dynamic OFDM-FDMA systems with inband signaling,” in 2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004), 2004.
LibreCat: /record/1019

H. Walder and M. Platzner, “A Runtime Environment for Reconfigurable Hardware Operating Systems,” in Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL), 2004, pp. 831–835.
LibreCat: /record/13618
DOI: 10.1007/978-3-540-30117-2_84

H. Walder, S. Nobs, and M. Platzner, “XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems,” in Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), 2004.
LibreCat: /record/13619

M. Dyer, M. Platzner, and L. Thiele, “Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine,” in Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), 2004.
LibreCat: /record/13620
DOI: 10.1109/fccm.2004.31

S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook 2004, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.
LibreCat: /record/33827

A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.
LibreCat: /record/33830

A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.
LibreCat: /record/33829

A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.
LibreCat: /record/33832

W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,”10.1109/HICSS.2004.1265674__presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi:10.1109/HICSS.2004.1265674 .
LibreCat: /record/39053
DOI: 10.1109/HICSS.2004.1265674

M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics of SystemVerilog,” presented at the  Forum on specification and Design Languages, Lille, France, 2004.
LibreCat: /record/39055