A {μ}-Calculus Approach to Supervisor Synthesis. Ziller, R. M.; Schneider, K. 2003. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, 24.-25 Februar 2003. Hrsg.: R. Drechsler, 132–143, Shaker, Aachen
Arithmetic in formal synthesis. Sabelfeld, V. K.; Kapp, K. 2003. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, 24.-25. Februar 2003. Hrsg.: R. Drechsler, 112–120, Shaker, Aachen
Dead Code Elimination in Formal Synthesis. Kapp, K.; Sabelfeld, V. K. 2003. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, 24.-25. Februar 2003. Hrsg.: R. Drechsler, 121–130, Shaker, Aachen
XML for data representation in modeling and simulation environments. Syrjakow, E.; Syrjakow, M. 2003. Proceedings of the IASTED International Conference on Modelling, Simulation and Optimization (MSO 2003), Banff, CDN, July 2-4, 2003. Ed.: M.H. Hamza, 100–107, Acta Press, Anaheim, CA
Entwicklung eines prozessbasierten Unternehmensportals zum dynamischen Wissensmanagement. Mevius, M.; Gentner, C. 2003. WM 2003: Professionelles Wissensmanagement - Erfahrungen und Visionen: Beiträge der 2. Konferenz Professionelles Wissensmanagement - Erfahrungen und Visionen: 2.-4. April in Luzern, Schweiz. Hrsg.: U. Reimer, 363–368, Ges. für Informatik, Bonn
FPGA Implementation of Population-based Ant Colony Optimization. Scheuermann, B.; So, K.; Guntsch, M.; Middendorf, M.; Diessel, O.; ElGindy, H.; Schmeck, H. 2003. Dagstuhl Seminar Proceedings of the Dagstuhl Seminar 03301 "Dynamically Reconfigurable Architectures", Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Wadern
Ontology Driven Resolution of Bridging References. Cimiano, P. 2003. Proceedings of the Fifth International Workshop on Computational Semantics IWCS-5, January 15 - 17, 2003, Tilburg, The Netherlands / Harry Bunt ... (eds.), 453–456, Tilburg Univ., Tilburg
Incremental Maintenance of Dynamic Datalog Programs. Volz, R.; Staab, S.; Motik, B. 2003. Proceedings of the First International Workshop on Practical and Scalable Semantic Systems: Sanibel Island, Florida, USA, October 20, 2003. Ed.: R. Volz, 4 S
Incremental Maintenance of Materialized Ontologies. Volz, R.; Staab, S.; Motik, B. 2003. On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003. Proceedings. Ed.: R. Meersman, 707–724, Springer, Berlin. doi:10.1007/978-3-540-39964-3_45
Explaining Text Clustering Results using Semantic Structures. Hotho, A.; Staab, S.; Stumme, G. 2003. Knowledge Discovery in Databases: PKDD 2003: 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003. Proceedings. Ed.: N. Lavrač, 217–228, Springer, Berlin. doi:10.1007/978-3-540-39804-2_21
Konzeption und Betrieb eines Kompetenz- und Dienstleistungsnetzes für die Informatik. Horn, L.; Ley, M.; Luksch, P.; Maas, J.; Mayr, E.; Oberweis, A.; Ortyl, P.; Pfingstl, S.; Rossi, E.; Rüssel, F.; Rusnak, U.; Sommer, D.; Stucky, W.; Vollmar, R.; Mevius, M. 2003. INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September - 2. Oktober 2003 in Frankfurt am Main. P-34, 132-147 (2003). Hrsg.: K. Dittrich, W. König, A. Oberweis, K. Rannenberg, W. Wahlster, 132–147, Gesellschaft für Informatik (GI), Bonn
Building and Using the Semantic Web. Studer, R.; Stumme, G.; Handschuh, S.; Hotho, A.; Motik, B. 2003. New Trends in Knowledge Processing - Data Mining, Semantic Web and Computational Science. Proc. 6th Sanken International Symposium, 31–34
SWAP - A Semantics-Based Peer-to-Peer System Demonstration. Ehrig, M.; Haase, P.; Staab, S.; Tempich, C. 2003. Proceedings zum Treffen der Fachgruppe Wissensmanagement (FGWM) der Gesellschaft für Informatik, 173–174, Gesellschaft für Informatik e.V. (GI), Bonn
Engineering a complex ontology with time. Santos, J.; Staab, S. 2003. Proceedings of IJCAI 2003 Workshop on Ontologies and Distributed Systems, Acapulco, Mexico, August 9-10, 2003, 37–43, Acapulco, Mexico
A Metadata Model for Semantics-Based Peer-to-Peer Systems. Broekstra, J.; Ehrig, M.; Haase, P.; Harmelen, F. van; Kampman, A.; Sabou, M.; Siebes, R.; Staab, S.; Stuckenschmidt, H.; Tempich, C. 2003. Proceedings of the WWW’03 Workshop on Semantics in Peer-to-Peer and Grid Computing, Budapest, 20.05.2003
On Deep Annotation. Handschuh, S.; Staab, S.; Volz, R. 2003. WWW ’03 Proceedings of the 12th international conference on World Wide Web, 431–438, ACM, New York (NY). doi:10.1145/775152.775214
Modell eines Workflow-Systems zur Erhöhung der Sicherheit von Web Services. Podgayetskaya, T.; Ratz, D.; Stucky, W. 2003. Proceedings des Symposiums "Entwicklung Web-Service-basierter Anwendungen" im Rahmen der "Informatik 2003 - Innovative Informatikanwendungen", GI-Jahrestagung, Frankfurt Referierte Veröffentlichung