Publikationen

2015

• Temporal Query Answering in DL-Lite with NegationBorgwardt, S. & Thost, V., 2015, GCAI 2015. Global Conference on Artificial Intelligence. Band 36. S. 51-65, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Temporal Query Answering in ELBorgwardt, S. & Thost, V., 2015, Proceedings of the 28th International Workshop on Description Logics (DL’15). S. 83-87Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Temporal Query Answering in the Description Logic ELBorgwardt, S. & Thost, V., 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15). S. 2819-2825, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Temporal Query Entailment in the Description Logic SHQBaader, F., Borgwardt, S. & Lippmann, M., 2015, in: Journal of Web Semantics. 33, S. 71-93, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). CEUR Workshop Proceedings, S. 8-14, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 2812-2818, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Warsaw, Poland, S. 19-23, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Limits of Decidability in Fuzzy Description Logics with General Concept InclusionsBorgwardt, S., Distel, F. & Peñaloza, R., 2015, in: Artificial Intelligence. S. 23-55, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 2015Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.]Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 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 technologyElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Towards a Fluid Interaction Concept Bringing Star Plots to Interactive DisplaysLangner, R., Kister, U., Engel, C., Horak, T. & Dachselt, R., 2015, S. 349-354, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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, S. pp. 252-267Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 14-17Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 122-129, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Using Reference Attribute Grammar-Controlled Rewriting for Energy Auto-TuningBürger, C., Mey, J., Schöne, R., Karol, S. & Langner, D., 2015Publikation: Beitrag zu Konferenzen > Paper
• Von der Software-Dissertation zum Lean StartupKaiser, R., Püschel, G., Götz, S., Kahle, K. & Aßmann, U., 2015Publikation: Beitrag zu Konferenzen > 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 (Hrsg.). Springer International Publishing AG, Band 9060. S. 309-324, 16 S., (Lecture Notes in Computer Science)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten

2014

• Energy-Efficient Databases Using Sweet Spot FrequenciesGötz, S., Ilsche, T., Cardoso, J., Spillner, J., Kissinger, T., Assmann, U., Lehner, W. & 2 weitere, 1 Dez. 2014, 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing. Wiley-IEEE PressElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 SystemsElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 345-350, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 431-434, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 3-4, 2 S., 6945471Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• 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 technologyElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A simple and secure e-ticketing system for intelligent public transportation based on NFCGudymenko, I., Sousa, F. & Köpsell, S., 27 Okt. 2014, URB-IOT '14: Proceedings of the First International Conference on IoT in Urban Space. Association for Computing Machinery (ACM), New York, S. 19-24, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband