Publications

2015

• KI 2015: Advances in Artificial Intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, ProceedingsHölldobler, S., Krötzsch, M., Peñaloza, R. & Rudolph, S., 2015, Springer, 368 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Kontextbasierte und nutzergerechte MaschinenbedienungKnoefel, A., Stelzer, R. & Groh, R., 2015, p. 161-171, 11 p.Research output: Contribution to conferences > Paper
• Locks: Picking key methods for a scalable quantitative analysisBaier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S. & 2 others, 2015, In: Journal of Computer and System Sciences. 81, 1, p. 258-287, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Look & Pedal: Hands-free Navigation in Zoomable Information Spaces through Gaze-supported Foot Input.Klamka, K., Siegel, A., Vogt, S., Göbel, F., Stellmach, S. & Dachselt, R., 2015, p. 123–130Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Making cars a main ICT resource in smart cities.Altintas, O., Dressler, F., Hagenauer, F., Matsumoto, M., Sepulcre, M. & Sommer, C., 2015, 34th IEEE Conference on Computer Communications (INFOCOM 2015), International Workshop on Smart Cities and Urban Informatics (SmartCity 2015). p. 582-587, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Managing Distributed Context Models Requires Adaptivity tooPiechnick, C., Piechnick, M., Götz, S., Püschel, G. & Aßmann, U., 2015Research output: Contribution to conferences > Paper
• Mapping Tasks to Interactions for Graph Exploration and EditingGladisch, S., Kister, U., Tominski, C., Dachselt, R. & Schumann, H., 2015, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Model-driven Multi-Quality Auto-Tuning of Robotic ApplicationsPiechnick, C., Götz, S., Schöne, R., Püschel, G., Aßmann, U., Bahrmann, F. & Böhme, H., 2015Research output: Contribution to conferences > Paper
• Models@run.time for Object-Relational Mapping Supporting Schema EvolutionGötz, S. & Kühn, T., 2015Research output: Contribution to conferences > Paper
• Modularisierung leichtgewichtiger Kompressionsalgorithmen.Hildebrandt, J., Habich, D., Damme, P. & Lehner, W., 2015, p. 54-59Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Mutual Influence of Application- and Platform-Level Adaptations on Energy-Efficient ComputingRybina, K., Dargie, W., Schöne, R. & Malakuti, S., 2015, p. 446-450, 5 p.Research output: Contribution to conferences > Paper
• Neue Interaktionsformen im Auge-Hand-FeldGroh, R., 2015Research output: Contribution to conferences > Paper
• Online Parameter Optimization for Elastic Data Stream ProcessingHeinze, T., Roediger, L., Meister, A., Ji, Y., Jerzak, Z. & Fetzer, C., 2015, SoCC '15: Proceedings of the Sixth ACM Symposium on Cloud Computing. Association for Computing Machinery (ACM), New York, p. 276-287, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Decidability Status of Fuzzy ALC with General Concept InclusionsBaader, F., Borgwardt, S. & Peñaloza, R., 2015, In: Journal of Philosophical Logic. 44, 2, p. 117-146, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Optimization of Continuous Queries in Federated Database and Stream Processing SystemsJi, Y., Jerzak, Z., Nica, A., Hackenbroich, G. & Fetzer, C., 2015, BTWResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy for data centersRethinagiri, S. K., Palomar, O., Sobe, A., Yalcin, G., Knauth, T., Gil, R. T., Prieto, P. & 6 others, 2015, In: Microprocessors and Microsystems. 2014, p. 191-198, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Parallel Symbolic Execution: Merging In-Flight RequestsNowack, M., Tietze, K. & Fetzer, C., 2015, Hardware and Software: Verification and Testing. Piterman, N. (ed.). Springer International Publishing, Vol. 9434. p. 120-135, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Plant Asset Management and Condition Monitoring using FDITheurich, S. & Wollschlaeger, M., 2015Research output: Contribution to conferences > Paper
• Plexe: A platooning extension for VeinsSegata, M., Joerer, S., Bloessl, B., Sommer, C., Dressler, F. & Cigno, R., 2015, 6th IEEE Vehicular Networking Conference (VNC 2014). p. 53-60, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Position paper: accessible human-robot interaction (AHRI)Loitsch, C., Schmidt, M. & Weber, G., 2015, PETRA '15: Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments. 4 p., 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Poster: A simulator for heterogeneous vehicular networksHagenauer, F., Dressler, F. & Sommer, C., 2015, 6th IEEE Vehicular Networking Conference (VNC 2014), Poster SessionElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Power matters: Automatic Gain Control for a Software Defined Radio IEEE 802.11a/g/p receiverBloessl, B., Sommer, C. & Dressler, F., 2015, 34th IEEE Conference on Computer Communications (INFOCOM 2015), Demo SessionElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Model Checking for Feature-oriented SystemsDubslaff, C., Baier, C. & Klüppelholz, S., 2015, Transactions on Aspect-Oriented Software Development XII. Chiba, S., Tanter, É., Ernst, E. & Hirschfeld, R. (eds.). Springer, Berlin [u. a.], p. 180-220, 41 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Probabilistic Query Answering in the Bayesian Description Logic BELCeylan, I. I. & Peñaloza, R., 2015, Scalable Uncertainty Management: 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings. Beierle, C. & Dekhtyar, A. (eds.). Springer, p. 21–35, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Quantitative Analysis of Communication ScenariosDubslaff, C. & Baier, C., 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Cham, p. 76-92, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution