Publications

2012

• Interactive ontology revision.Nikitina, N., Rudolph, S. & Glimm, B., 2012, In: Web semantics : science, services and agents on the World Wide Web. 12, p. 118-130, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Interface Exploration zur Entwicklung natürlicher BenutzerschnittstellenKeck, M., Brade, M., Gründer, T., Kammer, D. & Groh, R., 2012, p. 385-388, 4 p.Research output: Contribution to conferences > Paper
• JavAdaptor - Flexible Runtime Updates of Java ApplicationsPukall, M., Kästner, C., Cazzola, W., Götz, S., Grebhahn, A., Schöter, R. & Saake, G., 2012, In: Software - Practice and ExperienceResearch output: Contribution to journal > Research article
• Layered architecture for production and logistics cockpitsVasyutynskyy, V., Hengstler, C., McCarthy, J., Brennan, K., Nadoveza, D. & Dennert, A., 2012, p. 1-9, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Lernwegsteuerung im E-Learning - Ein alter Hut?Rohland, H. & Spalteholz, W., 2012, Communities in new media: virtual enterprises, research communities & social media networks. 15. Workshop GeNeMe '12, Gemeinschaften in Neuen Medien: TU Dresden, 04./05.10.2012. Köhler, T. & Kahnwald, N. (eds.). TUDpress/Thelem Universitätsverlag, p. 325-334, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• LODifier: Generating Linked Data from Unstructured TextAugenstein, I., Padó, S. & Rudolph, S., 2012, ESWC. p. 210-224, 15 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• LTL over description logic axiomsBaader, F., Ghilardi, S. & Lutz, C., 2012, In: ACM Transactions on Computational Logic : TOCL. 13, 3, 32 p., 21Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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