Publications

2014

• Move Your Phone: Spatial Input-based Document Zoom & Pan on Mobile Displays RevisitedSpindler, M., Schüssler, M., Martsch, M. & Dachselt, R., 2014, p. 515–518Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Multimodal interaction with large format displays: Synergy out of gestures, looks and touchesDachselt, R., 2014, In: Informatik-Spektrum. 37, 5, p. 201-210, 10 p.Research output: Contribution to journal > Research article
• Nominal Schemas in Description Logics: Complexities ClarifiedKrötzsch, M. & Rudolph, S., 2014, Proceedings of the Fourteenth International Conference On Principles of Knowledge Representation and Reasoning. Vol. 2. p. 308-317Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• (Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL.Nikitina, N. & Rudolph, S., 2014, In: Artif. Intell.. 215, p. 120-140, 21 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Novel Interaction Techniques for Object Manipulation on Tabletops: Scoop Net and Pinch Helperde Almeida Madeira Clemente, M., Leitner, H., Kammer, D., Groh, R. & Pinkert, A., 2014, p. 321-324, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Nutzerzentrierte Interfaces für Landmaschinen - Vergleich aktueller Nutzerschnittstellen mit Entwicklungen im Bereich der Mensch-Computer-InteraktionKnoefel, A., Stelzer, R., Groh, R., Krzywinski, J. & Herlitzius, T., 2014, p. 237-247, 11 p.Research output: Contribution to conferences > Paper
• Online Performance Analysis: An Event-based Workflow Design Towards ExascaleWagner, M., Hilbrich, T. & Brunst, H., 2014, p. 839-846Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• On the applicability of fair and adaptive data dissemination in traffic information systemsSchwartz, R., Ohazulike, A., Sommer, C., Scholten, H., Dressler, F. & Havinga, P., 2014, In: Ad Hoc NetworksElectronic (full-text) versionResearch output: Contribution to journal > Research article
• On the impact of street width on 5.9 GHz radio signal propagation in vehicular networksErlacher, F., Klingler, F., Sommer, C. & Dressler, F., 2014, 11th Annual Conference on Wireless On-Demand Network Systems and Services, IEEE/IFIP WONS 2014 - ProceedingsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the resilience of pull-based P2P streaming systems against DoS attacksNguyen, G., Fischer, M. & Strufe, T., 2014, Stabilization, Safety and Security of Distributed Systems: 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings. Felber, P. & Garg, V. K. (eds.). Springer-Verlag, p. 33-47, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ontology-Based Monitoring of Dynamic SystemsBaader, F., 2014, p. 678-681, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Overhead of a Decentralized Gossip Algorithm on the Performance of HPC ApplicationsLevy, E., Barak, A., Shiloh, A., Lieber, M., Weinhold, C. & Härtig, H., 2014, p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Partizipative Softwareentwicklung am Beispiel der Findung eines InteraktionskonzeptesFranke, I. S. & Peter, F., 2014, ENTWERFEN ENTWICKELN ERLEBEN 2014 - Beiträge zum Technischen Design. DresdenResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Perception of Parallelism in Perspective ImagesWalther, S., Franke, I. S., Pannasch, S. & Groh, R., 2014Research output: Contribution to conferences > Paper
• Piecewise constant sequential importance sampling for fast particle filteringDemirel, Ö., Smal, I., Niessen, W. J., Meijering, E. & Sbalzarini, I. F., 2014, IET Conference on Data Fusion and Target Tracking 2014: Algorithms and Applications. 629 CP ed., Institution of Engineering and TechnologyElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Pinch-drag-flick vs. spatial input: Rethinking zoom & pan on mobile displaysSpindler, M., Schuessler, M., Martsch, M. & Dachselt, R., 2014, CHI 2014: One of a CHInd - Conference Proceedings, 32nd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1113-1122, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• P ≠ P: Why Some Reasoning Problems Are More Tractable Than OthersKrötzsch, M., 2014, Web Reasoning and Rule Systems: 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings. Kontchakov, R. & Mugnier, M. (eds.). Springer, Cham, p. 1-22Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PPF - A parallel particle filtering libraryDemirel, Ö., Smal, I., Niessen, W. J., Meijering, E. & Sbalzarini, I. F., 2014, IET Conference on Data Fusion and Target Tracking 2014: Algorithms and Applications. 629 CP ed., Institution of Engineering and TechnologyElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Predicting Energy Consumption with StreamMine3GMartin, A., Marinho, R., Brito, A. & Fetzer, C., 2014, p. 270-275, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Probabilistic Model Checking and Non-standard Multi-objective ReasoningBaier, C., Dubslaff, C., Klüppelholz, S., Daum, M., Klein, J., Märcker, S. & Wunderlich, S., 2014, Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Gnesi, S. & Rensink, A. (eds.). Springer, Berlin [u. a.], p. 1-16, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Model Checking for Energy Analysis in Software Product LinesDubslaff, C., Klüppelholz, S. & Baier, C., 2014, MODULARITY '14: Proceedings of the 13th international conference on Modularity. Association for Computing Machinery (ACM), New York, p. 169-180, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Model Checking for Energy-Utility AnalysisBaier, C., Dubslaff, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Cham, p. 96-123, 28 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014.Förster, A., Sommer, C., Steinbach, T. & Wählisch, M., 2014, (CoRR)Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014.Götz, S., Bencomo, N. & France, R. B., 2014Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness: PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014Lukasiewicz, T., Peñaloza, R. & Turhan, A., 2014Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding