Publikationen

2012

• LODifier: Generating Linked Data from Unstructured TextAugenstein, I., Padó, S. & Rudolph, S., 2012, ESWC. S. 210-224, 15 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• LTL over description logic axiomsBaader, F., Ghilardi, S. & Lutz, C., 2012, in: ACM Transactions on Computational Logic : TOCL. 13, 3, 32 S., 21Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Managing Low Latency in Paravirtualized Virtual MachinesLackorzynski, A., 2012, Proceedings of the 14th Real-Time Linux Workshop, 2012. Chapell Hill, North Carolina, USPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 320-328, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based OptimisationBock, J., Rudolph, S. & Mutter, M., 2012, FoIKS. S. 71-90, 20 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Multi-Agent Knowledge AllocationRudolph, S. & Croitoru, M., 2012, SGAI Conf.. S. 165-178, 14 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 166-175, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Multitouch-Gestensteuerung für das neuartige Suchinterface DelVizKammer, D., Keck, M., Röpke, C. & Groh, R., 2012, S. 477-480, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• Noch jemand ohne Rückfahrkarte? Anmerkungen zu den gestalterischen Potentialen des Reverse EngineeringGroh, R., 2012, EEE, Entwerfen - Entwickeln - Erleben. S. 201-210, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Non-Gödel Negation Makes Unwitnessed Consistency UndecidableBorgwardt, S. & Peñaloza, R., 2012, Proceedings of the 2012 International Workshop on Description Logics (DL'12). S. 411-421, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Integrating Description Logics and Rules under Minimal HypothesesMehdi, A., Pinto, A. M. & Rudolph, S., 2012, RR. S. 242-245, 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 8-31, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, 2012, eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2012, ECPPM 2012Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). IOS Press, Amsterdam [u. a.], S. 481-490, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 WebElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Probabilistic omega-automataBaier, C., Groesser, M. & Bertrand, N., 2012, in: Journal of the ACM. 59, 1, S. 1-52Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. 912Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• Programming embedded devices in IEC 61131-languages with industrial PLC tools using PLCopen XMLSimros, M., Theurich, S. & Wollschlaeger, M., 2012Publikation: Beitrag zu Konferenzen > 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. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 217-226, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 6-57, 52 S., 1-2Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Recent Advances in Unification for the EL FamilyBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 26th International Workshop on Unification (UNIF'12)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Rule-driven manufacturing control based on ontologiesGellrich, A., Lunkwitz, D., Dennert, A. & Kabitzsch, K., 2012, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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.], S. 30-44, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 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. (Hrsg.). Berlin, Heidelberg: Springer, Berlin [u. a.], S. 85-97, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband