Publications

2012

• Managing Low Latency in Paravirtualized Virtual MachinesLackorzynski, A., 2012, Proceedings of the 14th Real-Time Linux Workshop, 2012. Chapell Hill, North Carolina, USResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model checking probabilistic systems against pushdown specificationsDubslaff, C., Baier, C. & Berg, M., 2012, In:  Information processing letters : devoted to the rapid publication of short contributions to information processing. 112, 8-9, p. 320-328, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based OptimisationBock, J., Rudolph, S. & Mutter, M., 2012, FoIKS. p. 71-90, 20 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi-Agent Knowledge AllocationRudolph, S. & Croitoru, M., 2012, SGAI Conf.. p. 165-178, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multilingual terminology acquisition for ontology-based information extractionFedermann, C., Gromann, D., Declerck, T., Hunsicker, S., Krieger, H. & Budin, G., 2012, Proceedings of the 10th Terminology and Knowledge Engineering Conference (TKE 2012). p. 166-175, 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multitouch-Gestensteuerung für das neuartige Suchinterface DelVizKammer, D., Keck, M., Röpke, C. & Groh, R., 2012, p. 477-480, 4 p.Research output: Contribution to conferences > Paper
• Noch jemand ohne Rückfahrkarte? Anmerkungen zu den gestalterischen Potentialen des Reverse EngineeringGroh, R., 2012, EEE, Entwerfen - Entwickeln - Erleben. p. 201-210, 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Non-Gödel Negation Makes Unwitnessed Consistency UndecidableBorgwardt, S. & Peñaloza, R., 2012, Proceedings of the 2012 International Workshop on Description Logics (DL'12). p. 411-421, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On Integrating Description Logics and Rules under Minimal HypothesesMehdi, A., Pinto, A. M. & Rudolph, S., 2012, RR. p. 242-245, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the applicability of Two-Ray path loss models for vehicular network simulationSommer, C., Joerer, S. & Dressler, F., 2012, 4th IEEE Vehicular Networking Conference (VNC 2012)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the complexity of entailment in existential conjunctive first-order logic with atomic negationMugnier, M., Simonet, G. & Thomazo, M., 2012, In: Information and computation. 215, p. 8-31, 24 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Ontological specification for the model integration in ICT building energy systemsGuruz, R., Katranuschkov, P., Scherer, R., Kaiser, J., Grunewald, J., Hensel, B., Kabitzsch, K. & 1 others, 2012, eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2012, ECPPM 2012Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Open Trace Format 2 The Next Generation of Scalable Trace Formats and Support LibrariesEschweiler, D., Wagner, M., Geimer, M., Knuepfer, A., Nagel, W. E. & Wolf, F., 2012, Applications, Tools and Techniques on the Road to Exascale Computing. De Bosschere, K., D'Hollander, E. H., Joubert, G. R., Padua, D., Peters, F. & Sawyer, M. (eds.). IOS Press, Amsterdam [u. a.], p. 481-490, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• OWL: Yet to arrive on the Web of Data?Glimm, B., Hogan, A., Krötzsch, M. & Polleres, A., 2012, Workshop on Linked Data on the WebElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic omega-automataBaier, C., Groesser, M. & Bertrand, N., 2012, In: Journal of the ACM. 59, 1, p. 1-52Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Proceedings of the 2nd International Workshop on Semantic Digital Archives, Paphos, Cyprus, September 27, 2012Mitschick, A., Loizides, F., Predoiu, L., Nürnberger, A. & Ross, S., 2012, In: CEUR Workshop Proceedings. 912Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Programming embedded devices in IEC 61131-languages with industrial PLC tools using PLCopen XMLSimros, M., Theurich, S. & Wollschlaeger, M., 2012Research output: Contribution to conferences > Paper
• Rare-event verification for stochastic hybrid systemsZuliani, P., Baier, C. & Clarke, E. M., 2012, HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. Dang, T. & Mitchell, I. M. (eds.). Association for Computing Machinery (ACM), New York, p. 217-226, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach.Anicic, D., Rudolph, S., Fodor, P. & Stojanovic, N., 2012, In: Applied artificial intelligence : AAI ; an international journal. 26, 1-2, p. 6-57, 52 p., 1-2Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Recent Advances in Unification for the EL FamilyBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 26th International Workshop on Unification (UNIF'12)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Rule-driven manufacturing control based on ontologiesGellrich, A., Lunkwitz, D., Dennert, A. & Kabitzsch, K., 2012, p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted OntologiesBaader, F., Borgwardt, S. & Morawska, B., 2012, Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings. Springer, Berlin [u. a.], p. 30-44, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Score-P: A Unified Performance Measurement System for Petascale ApplicationsMey, D. A., Biersdorf, S., Bischof, C., Diethelm, K., Eschweiler, D., Gerndt, M., Knüpfer, A. & 11 others, 2012, Competence in High Performance Computing 2010: Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany. Bischof, C., Hegering, H., Nagel, W. E. & Wittum, G. (eds.). Berlin, Heidelberg: Springer, Berlin [u. a.], p. 85-97, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Scout: A Source-to-Source Transformator for SIMD OptimizationsKrzikalla, O., Feldhoff, K., Müller-Pfefferkorn, R. & Nagel, W. E., 2012, Euro-Par 2011: Parallel Processing Workshops . p. 137-145, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• SketchViz: A Sketching Interface for Domain Comprehension Tasks Illustrated by an Industrial Network Use CaseBrade, M., Brändel, C., Salmen, A. & Groh, R., 2012Research output: Contribution to conferences > Paper