Publications

2015

• Temporal Query Answering in DL-Lite with NegationBorgwardt, S. & Thost, V., 2015, GCAI 2015. Global Conference on Artificial Intelligence. Vol. 36. p. 51-65, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Temporal Query Answering in ELBorgwardt, S. & Thost, V., 2015, Proceedings of the 28th International Workshop on Description Logics (DL’15). p. 83-87Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Temporal Query Answering in the Description Logic ELBorgwardt, S. & Thost, V., 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15). p. 2819-2825, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Temporal Query Entailment in the Description Logic SHQBaader, F., Borgwardt, S. & Lippmann, M., 2015, In: Journal of Web Semantics. 33, p. 71-93, 23 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The Bayesian Ontology reasoner is BORN!Ceylan, I. I., Mendez, J. A. & Penaloza, R., 2015, Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE 2015). Dumontier, M., Glimm, B., Rafael, G., Horridge, M., Jiménez-Ruiz, E., Matentzoglu, N., Parsia, B., Stamou, G. & Stoilos, G. (eds.). CEUR Workshop Proceedings, p. 8-14, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Complexity of Subsumption in Fuzzy ELBorgwardt, S., Cerami, M. & Peñaloza, R., 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15). p. 2812-2818, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Exact Unification Type of Commutative TheoriesBaader, F. & Ludmann, P., 2015, Proceedings of the 29th International Workshop on Unification (UNIF'15). Escobar, S. & Villaret, M. (eds.). Warsaw, Poland, p. 19-23, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Limits of Decidability in Fuzzy Description Logics with General Concept InclusionsBorgwardt, S., Distel, F. & Peñaloza, R., 2015, In: Artificial Intelligence. p. 23-55, 33 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The scrambler attack: A robust physical layer attack on location privacy in vehicular networksBloessl, B., Sommer, C., Dressier, F. & Eckhoff, D., 2015, 2015 International Conference on Computing, Networking and Communications, ICNC 2015Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. ProceedingsBaier, C. & Tinelli, C., 2015, Springer, Berlin [u. a.]Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Toward Communication Strategies for Platooning: Simulative and Experimental EvaluationSegata, M., Bloessl, B., Joerer, S., Sommer, C., Gerla, M., Cigno, R. L. & Dressler, F., 2015, In: IEEE transactions on vehicular technologyElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards a Fluid Interaction Concept Bringing Star Plots to Interactive DisplaysLangner, R., Kister, U., Engel, C., Horak, T. & Dachselt, R., 2015, p. 349-354, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Towards a Navigation Paradigm for Triadic ConceptsRudolph, S., Săcărea, C. & Troancă, D., 2015, Proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2015. Springer Open, p. pp. 252-267Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards a Next-Generation Parallel Particle-Mesh LanguageKarol, S., Incardona, P., Afshar, Y., Sbalzarini, I. F. & Castrillon, J., 2015, Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation: DSLDI’15. p. 14-17Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Detailed Exascale Application Analysis - Selective Monitoring and VisualisationDoleschal, J., William, T., Wesarg, B., Ziegenbalg, J., Brunst, H., Knuepfer, A. & Nagel, W. E., 2015, Solving Software Challenges for Exascale. p. 122-129, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Using Reference Attribute Grammar-Controlled Rewriting for Energy Auto-TuningBürger, C., Mey, J., Schöne, R., Karol, S. & Langner, D., 2015Research output: Contribution to conferences > Paper
• Von der Software-Dissertation zum Lean StartupKaiser, R., Püschel, G., Götz, S., Kahle, K. & Aßmann, U., 2015Research output: Contribution to conferences > Paper
• What Is a Reasonable Argumentation Semantics?Gaggl, S. A., Rudolph, S. & Thomazo, M., 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Eiter, Thomas, Strass, Hannes, Truszczyński, Mirosław, Woltran & Stefan (eds.). Springer International Publishing AG, Vol. 9060. p. 309-324, 16 p., (Lecture Notes in Computer Science)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report

2014

• Energy-Efficient Databases Using Sweet Spot FrequenciesGötz, S., Ilsche, T., Cardoso, J., Spillner, J., Kissinger, T., Assmann, U., Lehner, W. & 2 others, 1 Dec 2014, 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing. Wiley-IEEE PressElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Virtual Sensor for Calibration of Thermal Models of Machine ToolsDementjev, A., Hensel, B., Kabitzsch, K., Kauschinger, B. & Schroeder, S., 27 Nov 2014, In: Advances in Artificial Neural SystemsElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Combining timeline and graph visualizationMorawa, R., Mitschick, A., Horak, T., Dachselt, R. & Kister, U., 16 Nov 2014, ITS 2014 - Proceedings of the 2014 ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery, p. 345-350, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi-Touch manipulation of magic lenses for information visualizationKister, U., Reipschläger, P. & Dachselt, R., 16 Nov 2014, ITS 2014 - Proceedings of the 2014 ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery, p. 431-434, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Welcome to INDIN 2014Pereira, C. E., Gomes, L., Colombo, A. W., Barata, J. & Wollschlaeger, M., 3 Nov 2014, In: IEEE International Conference on Industrial Informatics (INDIN). p. 3-4, 2 p., 6945471Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• The Role of Parked Cars in Content Downloading for Vehicular NetworksMalandrino, F., Casetti, C., Chiasserini, C., Sommer, C. & Dressler, F., Nov 2014, In: IEEE transactions on vehicular technologyElectronic (full-text) versionResearch output: Contribution to journal > Research article
• A simple and secure e-ticketing system for intelligent public transportation based on NFCGudymenko, I., Sousa, F. & Köpsell, S., 27 Oct 2014, URB-IOT '14: Proceedings of the First International Conference on IoT in Urban Space. Association for Computing Machinery (ACM), New York, p. 19-24, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution