Publications

2012

• Designing Collaborative Interactive SpacesJetter, H., Geyer, F., Reiterer, H., Dachselt, R., Fischer, G., Groh, R., Haller, M. & 1 others, 2012Research output: Contribution to conferences > Paper
• Dirty Project. Spatial Experiments in the Dirty Borderlands of MediaKoalick, G. & Lenk, C., 2012, Dresden, 8 p.Research output: Book/Report/Anthology > Monograph
• Efficient Transactional Memory Support for Low Numbers of Cores (Poster)Wamhoff, J., Fetzer, C., Felber, P., Rivière, E. & Muller, G., 2012, 2 p.Research output: Contribution to conferences > Poster
• Ein Experimentalraum zur Untersuchung von BildräumlichkeitLapczyna, E., Hannß, F., Klamka, K., Kirsch, M., Thomä, B. & Groh, R., 2012, Mensch & Computer 2012 – Workshopband: interaktiv informiert – allgegenwärtig und allumfassend!?. Reiterer Harald AND Deussen, O. (ed.). München: Oldenbourg Wissenschaftsverlag, p. 529-532, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ELK Reasoner: Architecture and EvaluationKazakov, Y., Krötzsch, M. & Simančík, F., 2012, International Workshop on OWL Reasoner EvaluationElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy-aware Scheduling for Infrastructure CloudsKnauth, T. & Fetzer, C., 2012, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Energy Efficient Computing through Productivity-Aware Frequency ScalingPonciano, L., Brito, A., Sampaio, L. M. R. & Brasileiro, F. V., 2012, 2012 Second International Conference on Cloud and Green Computing. IEEE, New York [u. a.], p. 191-198, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy Labels for Mobile ApplicationsWilke, C., Richly, S., Püschel, G., Piechnick, C., Götz, S. & Aßmann, U., 2012, p. 93-102, 10 p.Research output: Contribution to conferences > Paper
• Enhanced Encoding Techniques for the Open Trace Format 2Wagner, M., Knuepfer, A. & Nagel, W. E., 2012, In: Procedia Computer Science. 9, p. 1979-1987, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Entwicklung Cyber-Physikalischer Systeme am Beispiel des NAO-RobotersGötz, S., Leuthäuser, M., Piechnick, C., Reimann, J., Richly, S., Schroeter, J., Wilke, C. & 1 others, 2012, p. 45-52, 8 p.Research output: Contribution to conferences > Paper
• Exclusivity-based allocation of knowledgeCroitoru, M. & Rudolph, S., 2012, AAMAS. p. 1249-1250, 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Experimental results on solving the projection problem in action formalisms based on description logicsYehia, W., Liu, H., Lippmann, M., Baader, F. & Soutchanski, M., 2012, Proceedings of the 25th International Workshop on Description Logics. Vol. 846. p. 585-595, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ExpExpExplosion: Uniform Interpolation in General EL TerminologiesNikitina, N. & Rudolph, S., 2012, ECAI. p. 618-623, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extending Unification in EL Towards General TBoxesBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12). p. 568-572, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• FastLane: Streamlining Transactions for Low Thread CountsWamhoff, J., Fetzer, C., Felber, P., Rivière, E. & Muller, G., 2012, p. 113-122, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Fault-Tolerant Complex Event Processing using Customizable State Machine-based Operators (Demo)Heinze, T., Jerzak, Z., Martin, A., Yazdanov, L. & Fetzer, C., 2012, p. 590–593Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Finding Finite Herbrand ModelsBorgwardt, S. & Morawska, B., 2012, Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12). p. 138-152, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Flattening hierarchical schedulingWarg, A., Völp, M., Härtig, H. & Lackorzynski, A., 2012, Proceedings of the tenth ACM international conference on Embedded software. New York, NY, USA: ACM Press, p. 93-102, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Formale Verifikation von exogenen KoodinationsmodellenKlüppelholz, S., 2012, Ausgezeichnete Informatikdissertationen 2012. Gesellschaft für Informatik, Bonn, p. 171-180, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• From EL to Tractable Existential Rules with Complex Role InclusionsThomazo, M., 2012, Description LogicsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• GeForMTjs: A JavaScript Library Based on a Domain Specific Language for Multi-touch GesturesKammer, D., Henkens, D. & Groh, R., 2012, p. 444-447, 4 p.Research output: Contribution to conferences > Paper
• Generative Musik als Werkzeug in der MusikwissenschaftBerndt, A., 2012Research output: Contribution to conferences > Paper
• Geometrische Abbildungspraxis – von der Malerei zur ComputergrafikFranke, I. S. & Zavesky, M., 2012Research output: Contribution to conferences > Paper
• Gödel Negation Makes Unwitnessed Consistency CrispBorgwardt, S., Distel, F. & Peñaloza, R., 2012, Proceedings of the 2012 International Workshop on Description Logics (DL'12). p. 103-113, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• History Deck: A Web Browser History Visualization Inspired by Storytelling and Comic Art.Leitner, H., Brade, M. & Groh, R., 2012, p. 381-384, 4 p.Research output: Contribution to conferences > Paper