Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3178 Einträge
2017
-
Maximizing the Conditional Expected Reward for Reaching the Goal , 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Legay, A. & Margaria, T. (Hrsg.). Springer, Berlin [u. a.], S. 269–285Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms , 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Springer, Berlin [u. a.], S. 190-206, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Metadata Management in the MoSGrid Science Gateway - Evaluation and the Expansion of Quantum Chemistry Support , 2017, in: Journal of Grid Computing. 15, 1, S. 41-53, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Metamodeling Lightweight Data Compression Algorithms and its Application Scenarios , 2017, Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017), Valencia, Spain, - November 6-9, 2017. Cabanillas, C., España, S. & Farshidi, S. (Hrsg.).S. 128-141, 14 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Metric Temporal Description Logics with Interval-Rigid Names , 2017, Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17). S. 60-76, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract) , 2017, Proceedings of the 30th International Workshop on Description Logics (DL'17)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Mobiles Bedienkonzept für die Baggersteuerung von Morgen , 2017, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Most Probable Explanations for Probabilistic Database Queries , 2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). S. 950-956, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Most Probable Explanations for Probabilistic Database Queries (Extended Abstract) , 2017, Proceedings of the 30th International Workshop on Description Logics (DL'17)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Multi-source data collection for state-of-the-art data analysis from ground-proximate images in sea ice classification , 2017, IEEE International Symposium on Industrial ElectronicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Next directions in experimental data for seismic hazard mitigation , 2017, in: Engineering Structures. 136, S. 535-546Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Ontologies for Knowledge Graphs? , 2017, Proceedings of the 30th International Workshop on Description Logics (DL 2017). Artale, A., Glimm, B. & Kontchakov, R. (Hrsg.).12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Ontology-Mediated Queries for Probabilistic Databases , 2017, Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI'17). S. 1063-1069, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Ontology-Mediated Queries for Probabilistic Databases (Extended Abstract) , 2017, Proceedings of the 30th International Workshop on Description Logics (DL'17)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). , 2017, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). S. 1:1-1:37, 37 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Overview on hardware optimizations for database engines , 2017, Datenbanksysteme fur Business, Technologie und Web, BTW 2017 - 17. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2017, Proceedings. Mitschang, B., Nicklas, D., Leymann, F., Schoning, H., Herschel, M., Teubner, J. & Harder, T. (Hrsg.). Gesellschaft fur Informatik (GI), S. 383-402, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination , 2017, Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. Bouyer, P., Orlandini, A. & San Pietro, P. (Hrsg.).S. 16-30, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Parked cars as virtual network infrastructure: Enabling stable V2I access for long-lasting data flows , 2017, CarSys 2017 - Proceedings of the 2nd ACM International Workshop on Smart, Autonomous, and Connected Vehicular Systems and Services, co-located with MobiCom 2017Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Partitioning Strategy Selection for In-Memory Graph Pattern Matching on Multiprocessor Systems , 2017, Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Proceedings. Rivera, F. F., Pena, T. F. & Cabaleiro, J. C. (Hrsg.). Springer, Berlin [u. a.], S. 149-163, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Pilot platform of Videocampus Saxony, Videocampus Sachsen-Pilotplattform , 2017, Wissensgemeinschaften in Wirtschaft, Wissenschaft und Offentlicher Verwaltung - 20. Workshop GeNeMe 2017, Gemeinschaften in Neuen MedienPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Poster: Connecting simulation and real world: IEEE 802.11p in the loop , 2017, Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOMElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Poster: Field testing vehicular networks using OpenC2X , 2017, MobiSys 2017 - Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and ServicesElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Poster: Using clusters of parked cars as virtual vehicular network infrastructure , 2017, 8th IEEE Vehicular Networking Conference (VNC 2016), Poster SessionElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Potenziale digitaler Assistenzsysteme für die Kommunikation in interdisziplinären Entwicklungsprojekten , 2017, EUKO 2017 - Kommunikation und Digitalisierung: Proceedings zur 17. Interdisziplinären Tagung des Forschungsnetzwerkes Europäische Kulturen in der Wirtschaftskommunikation - European Cultures in Business and Corporate Communication (EUKO). Stumpf, M. (Hrsg.).S. 80-81, 2 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Preliminary Results on the Identity Problem in Description Logic Ontologies , 2017, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., volume 1879 of CEUR Workshop Proceedings. Artale, A., Glimm, B. & Kontchakov, R. (Hrsg.). CEUR-WS.org, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband