Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3179 Entries
2017
-
Magnetoviscous effect in ferrofluids diluted with sheep blood , 2017, In: Journal of magnetism and magnetic materialsElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
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. (eds.). Springer, Berlin [u. a.], p. 269–285Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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.], p. 190-206, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Metadata Management in the MoSGrid Science Gateway - Evaluation and the Expansion of Quantum Chemistry Support , 2017, In: Journal of Grid Computing. 15, 1, p. 41-53, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
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. (eds.).p. 128-141, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Metric Temporal Description Logics with Interval-Rigid Names , 2017, Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17). p. 60-76, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract) , 2017, Proceedings of the 30th International Workshop on Description Logics (DL'17)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Mobiles Bedienkonzept für die Baggersteuerung von Morgen , 2017, 11 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Most Probable Explanations for Probabilistic Database Queries , 2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17). p. 950-956, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Most Probable Explanations for Probabilistic Database Queries (Extended Abstract) , 2017, Proceedings of the 30th International Workshop on Description Logics (DL'17)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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 ElectronicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Next directions in experimental data for seismic hazard mitigation , 2017, In: Engineering Structures. 136, p. 535-546Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Ontologies for Knowledge Graphs? , 2017, Proceedings of the 30th International Workshop on Description Logics (DL 2017). Artale, A., Glimm, B. & Kontchakov, R. (eds.).12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Ontology-Mediated Queries for Probabilistic Databases , 2017, Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI'17). p. 1063-1069, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Ontology-Mediated Queries for Probabilistic Databases (Extended Abstract) , 2017, Proceedings of the 30th International Workshop on Description Logics (DL'17)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). , 2017, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). p. 1:1-1:37, 37 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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. (eds.). Gesellschaft fur Informatik (GI), p. 383-402, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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. (eds.).p. 16-30, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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 2017Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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. (eds.). Springer, Berlin [u. a.], p. 149-163, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Pilot platform of Videocampus Saxony, Videocampus Sachsen-Pilotplattform , 2017, Wissensgemeinschaften in Wirtschaft, Wissenschaft und Offentlicher Verwaltung - 20. Workshop GeNeMe 2017, Gemeinschaften in Neuen MedienResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Poster: Connecting simulation and real world: IEEE 802.11p in the loop , 2017, Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOMElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Poster: Field testing vehicular networks using OpenC2X , 2017, MobiSys 2017 - Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and ServicesElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Poster: Using clusters of parked cars as virtual vehicular network infrastructure , 2017, 8th IEEE Vehicular Networking Conference (VNC 2016), Poster SessionElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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. (ed.).p. 80-81, 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution