Publikationen

2012

• Interactive ontology revision.Nikitina, N., Rudolph, S. & Glimm, B., 2012, in: Web semantics : science, services and agents on the World Wide Web. 12, S. 118-130, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Interface Exploration zur Entwicklung natürlicher BenutzerschnittstellenKeck, M., Brade, M., Gründer, T., Kammer, D. & Groh, R., 2012, S. 385-388, 4 S.Publikation: Beitrag zu Konferenzen > 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 ExperiencePublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Layered architecture for production and logistics cockpitsVasyutynskyy, V., Hengstler, C., McCarthy, J., Brennan, K., Nadoveza, D. & Dennert, A., 2012, S. 1-9, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. (Hrsg.). TUDpress/Thelem Universitätsverlag, S. 325-334, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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