Publications

2010

• Model-based Data Acquisition for improved eMaintenance strategiesGössling, A., Theurich, S. & Wollschlaeger, M., 2010, p. 234-240, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Mut zur Lücke - Zur Umsetzung von spezifischen Algorithmen für DesignerZavesky, M., Wojdziak, J., Franke, I. S., Linke, M., Peter, F. & Groh, R., 2010Research output: Contribution to conferences > Paper
• Network asset models in intelligent field devicesTheurich, S., Lehmann, R. & Wollschlaeger, M., 2010, p. 161-164, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!Rudolph, S. & Glimm, B., 2010, In: J. Artif. Intell. Res.. 39, p. 429-481, 53 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• OCL Tools Report based on the IDE4OCL Feature Model: Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011)Demuth, B., Chimiak-Opoka, J., Awenius, A., Chiorean, D., Gabel, S., Hamann, L. & Willink, E., 2010, In: Electronic Communications of the EASST. 2011, 44Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On the impact of energy-saving strategies in opportunistic gridsPonciano, L. & Brasileiro, F., 2010, Proceedings - IEEE/ACM International Workshop on Grid Computing. IEEE, New York [u. a.]Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Impact of Human Driver Behavior on Intelligent Transportation SystemsDressler, F. & Sommer, C., 2010, 71st IEEE Vehicular Technology Conference (VTC 2010-Spring)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Orel: Database-Driven Reasoning for OWL 2 ProfilesKrötzsch, M., ul Mehdi, A. & Rudolph, S., 2010, International Workshop on Description LogicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Outcoupling efficiency in small-molecule OLEDs: from theory to experimentFurno, M., Meerheim, R., Thomschke, M., Hofmann, S., Lussem, B., Leo, K., Streubel, K. & 3 others, 2010, LIGHT-EMITTING DIODES: MATERIALS, DEVICES, AND APPLICATIONS FOR SOLID STATE LIGHTING XIV. Vol. 7617. 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Podcastproduktion als kollaborativer Zugang zur theoretischen InformatikÁbrahám, E., Brauner, P., Jansen, N., Leonhardt, T., Loup, U. & Schroeder, U., 2010, DeLFI 2010 : 8. Tagung der Fachgruppe E-Learning der Gesellschaft für Informatik e.V., 12. - 15. September 2010, Universität Duisburg-Essen ; [im Rahmen der interdisziplinären Fachkonferenz Interaktive Kulturen ] / Michael Kerres ... (Hrsg.). Bonn: Ges. für Informatik, Vol. 169. p. 239-251, 13 p., (GI-Edition lecture notes in informatics : P, Proceedings)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Practical resource constraints for online synthesisD̈obrich, S. & Hochberger, C., 2010, Proceedings of the 5th International Workshop on Reconfigurable Communication-Centric Systems on Chip 2010, ReCoSoC 2010. p. 51-58, 8 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Query and Predicate Emptiness in Description LogicsBaader, F., Bienvenu, M., Lutz, C. & Wolter, F., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010. AAAI Press, p. 192-202, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• .raindrops - A flowerful installation with body and sound interaction using camera trackingSchmidt, D., Eschrich, B., Herrmann, M., Wojdziak, J. & Groh, R., 2010Research output: Contribution to conferences > Paper
• RobuSTM: A Robust Software Transactional MemoryWamhoff, J., Riegel, T., Fetzer, C. & Felber, P., 2010, p. 388-404, 17 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Role-based Multi-Purpose Workflow Engine ArchitectureRichly, S., Götz, S., Aßmann, U. & Schmidt, S., 2010Research output: Contribution to conferences > Paper
• Sakkadenkontingente perspektivische Optimierung von BewegtbildernKusch, K., Franke, I. S., Helmert, J., Wojdziak, J., Mosch, M., Pannasch, S., Groh, R. & 1 others, 2010Research output: Contribution to conferences > Paper
• SAT Encoding of Unification in ELBaader, F. & Morawska, B., 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17. Springer, Berlin [u. a.], p. 97-111, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Secure logging of retained data for an anonymity serviceKöpsell, S. & Švenda, P., 2010, Privacy and Identity Management for Life - 5th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, 2009, Revised Selected Papers. Bezzi, M., Duquenoy, P., Fischer-Hubner, S., Zhang, G. & Hansen, M. (eds.). Springer Verlag, New York, p. 284-298, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Semantische Vernetzung im Lebenszyklus der AutomatisierungWollschlaeger, M., 2010, p. 115-125, 11 p.Research output: Contribution to conferences > Paper
• Setting the Standards for Haptic and Tactile Interactions: ISO's Work.Erp, J. B. F. V., Kyung, K., Kassner, S., Carter, J., Brewster, S. A., Weber, G. & Andrew, I., 2010, EuroHaptics (2). p. 353-358, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Simulation of Ad hoc routing protocols using OMNeT++ : A case study for the DYMO protocolSommer, C., Dietrich, I. & Dressler, F., 2010, In: Mobile networks and applications : the journal of special issues on mobility of systems, users, data and computingElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Simultane Betten-und Leistungsstellenplanung auf Basis SAP IS-HJähnicke, W., Winkler, K., Helbig, K. & Lambeck, C., 2010Research output: Contribution to conferences > Paper
• Slice Your Bug: Debugging Error Detection Mechanisms\nusing Error Injection SlicingSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, p. 13-22, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Small is Again Beautiful in Description LogicsBaader, F., Lutz, C. & Turhan, A., 2010, In: KI - Kunstliche Intelligenz. 24, 1, p. 25-33, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Software-Implemented Hardware Error Detection: Costs and GainsSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, p. 51-57, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper