Publikationen

2010

• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description LogicsBaader, F., Lippmann, M. & Liu, H., 2010, S. 82-96, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Verifying Properties of Infinite Sequences of Description Logic ActionsBaader, F., Liu, H. & ul Mehdi, A., 2010, S. 53-58, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Vermittlung fundamentaler Ideen der Informatik durch eine kollaborative Multitouch-AnwendungNabbi, N., Brauner, P. & Leonhardt, T., 2010, Interaktive Kulturen : Workshop-Band : Proceedings der Workshops der Mensch Computer 2010 - 10. Fachübergreifende Konferenz für Interaktive und Kooperative Medien, DeLFI 2010 - die 8. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. und der Entertainment Interfaces 2010 ; Duisburg, 12. - 15. September 2010 / Ulrik Schroeder (Hrsg.). Berlin: Logos Verlag, Berlin, S. 27-28, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Vertical IntegrationSauter, T., Soucek, S. & Wollschlaeger, M., 2010, The Industrial Electronics Handbook. aktualisierte Neuauflage Aufl., Boca Raton, Band Industrial Communication SystemsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Wahrnehmungsrealismus in der ComputergrafikFranke, I. S., 2010Publikation: Beitrag zu Konferenzen > Paper
• Wireless, Collaborative Virtual Sensors for Thermal ComfortPloennigs, J., Hensel, B. & Kabitzsch, K., 2010, Proceedings of the 2nd ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings. 6 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• XML in der Automation - Best PracticeWollschlaeger, M., Runde, S., Mühlhause, M., Lindemann, L. & Braune, A., 2010Publikation: Beitrag zu Konferenzen > Paper
• XML in der Automation - Systematisches SprachdesignWollschlaeger, M., Lindemann, L., Runde, S. & Mühlhause, M., 2010, S. 19-27, 9 S.Publikation: Beitrag zu Konferenzen > Paper

2009

• RDF syntax normalization using XML validationVrandečić, D., Dengler, F., Rudolph, S. & Erdmann, M., 1 Okt. 2009, Proceedings of the Workshop Semantics for the Rest of Us at ISWC2009. Kagal, L., Lassila, O. & Finin, T. (Hrsg.). CEUR-WSPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Refining Ontologies by Pattern-Based CompletionNikitina, N., Rudolph, S. & Blohm, S., 1 Okt. 2009, Proceedings of the Workshop on Ontology Patterns (WOP 2009). Blomqvist, E., Sandkuhl, K., Scharffe, F. & Svatek, V. (Hrsg.). CEUR-WS.org, Band 516Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energieeffizientes routing in linearen sensornetzwerkenZimmerling, M., Okt. 2009, in: Informatik-Spektrum. 32, 5, S. 410-415, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Effective algorithm for parameter back calculation - Geotechnical applicationsMeier, J., Rudolph, S. & Schanz, T., 1 Aug. 2009, in: Bautechnik. 86, S1, S. 86-97, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Conjunctive Query Entailment: Decidable in Spite of O, I, and QGlimm, B. & Rudolph, S., 1 Juli 2009, Proceedings of the DL Workshop 2009, Oxford, UK. Cuenca-Grau, B., Horrocks, I., Motik, B. & Sattler, U. (Hrsg.). CEUR Workshop Proceedings, Band 477Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Symbolic model checking for channel-based component connectorsKlüppelholz, S. & Baier, C., 1 Juli 2009, in: Science of Computer Programming. 74, 9, S. 688-701, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• ICT-eMuCo. An Innovative Solution for Future Smart Phones.Lackorzynski, A., Gonzalez, M. E., Bilgic, A., Tudor, D., Matús, E. & Badr, I., Juli 2009, IEEE International Conference on Multimedia and Expo (ICME 2009). New York, NY, USAElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tempus Fugit - Towards an Ontology Update LanguageLösch, U., Rudolph, S., Vrandečić, D. & Studer, R., 1 Juni 2009, 6th European Semantic Web Conference (ESWC 09). al., L. A. E. (Hrsg.). Springer Verlag, Band 5554. S. 278-292, 15 S., (Lecture Notes on Computer Science)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Lexico-Logical Approach to Ontology EngineeringRudolph, S. & Völker, J., 1 Mai 2009, Conceptual Structures in Practice. Hitzler, P. & Schärfe, H. (Hrsg.). Chapman Hall/CRC, S. 225-244, 20 S., (Studies in Informatics)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) DataTran, D. T., Wang, H., Rudolph, S. & Cimiano, P., 1 März 2009, Proceedings of the 25th International Conference on Data Engineering (ICDE'09)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Taming Subsystems: Capabilities as Universal Resource Access Control in L4Lackorzynski, A. & Warg, A., März 2009, Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, Eurosys affiliated workshop. ACM Press, S. 25-30, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's AxiomsBaader, F., Peñaloza, R. & Knechtel, M., 2009, The Semantic Web - ISWC 2009, 8th International Semantic Web Conference. Springer, Berlin [u. a.], S. 49-64Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Matter of Principles: Towards the Largest DLP PossibleKrötzsch, M. & Rudolph, S., 2009, International Workshop on Description LogicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• AN-Encoding Compiler: Building Safety-Critical Systems with Commodity HardwareSchiffel, U., Süßkraut, M. & Fetzer, C., 2009, S. 283-296, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Aspekte des Engineering eines netwerkzentrierten Plant Asset Management SystemsHahn, C., Bens, S., Theurich, S., Frenzel, R. & Wollschlaeger, M., 2009, S. 61-64, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• Aspekte des Engineerings eines netzwerkzentrierten Plant Asset Management SystemsHahn, C., Bens, S., Theurich, S., Frenzel, R. & Wollschlaeger, M., 2009, AUTOMATION 2009 - Der Automatisierungskongress in Deutschland. 2067 Aufl., VDI Verlag, Düsseldorf, S. 61-64, 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Assertion-Driven Development: Assessing the Quality of Contracts using Meta-MutationsKnauth, T., Fetzer, C. & Felber, P., 2009, S. 182-191, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper