Publikationen

2012

• 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.], S. 191-198, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energy Labels for Mobile ApplicationsWilke, C., Richly, S., Püschel, G., Piechnick, C., Götz, S. & Aßmann, U., 2012, S. 93-102, 10 S.Publikation: Beitrag zu Konferenzen > Paper
• Enhanced Encoding Techniques for the Open Trace Format 2Wagner, M., Knuepfer, A. & Nagel, W. E., 2012, in: Procedia Computer Science. 9, S. 1979-1987, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• 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 weitere, 2012, S. 45-52, 8 S.Publikation: Beitrag zu Konferenzen > Paper
• Exclusivity-based allocation of knowledgeCroitoru, M. & Rudolph, S., 2012, AAMAS. S. 1249-1250, 2 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. Band 846. S. 585-595, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• ExpExpExplosion: Uniform Interpolation in General EL TerminologiesNikitina, N. & Rudolph, S., 2012, ECAI. S. 618-623, 6 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 568-572, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FastLane: Streamlining Transactions for Low Thread CountsWamhoff, J., Fetzer, C., Felber, P., Rivière, E. & Muller, G., 2012, S. 113-122, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Fault-Tolerant Complex Event Processing using Customizable State Machine-based Operators (Demo)Heinze, T., Jerzak, Z., Martin, A., Yazdanov, L. & Fetzer, C., 2012, S. 590–593Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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). S. 138-152, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 93-102, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From EL to Tractable Existential Rules with Complex Role InclusionsThomazo, M., 2012, Description LogicsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• GeForMTjs: A JavaScript Library Based on a Domain Specific Language for Multi-touch GesturesKammer, D., Henkens, D. & Groh, R., 2012, S. 444-447, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• Generative Musik als Werkzeug in der MusikwissenschaftBerndt, A., 2012Publikation: Beitrag zu Konferenzen > Paper
• Geometrische Abbildungspraxis – von der Malerei zur ComputergrafikFranke, I. S. & Zavesky, M., 2012Publikation: Beitrag zu Konferenzen > 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). S. 103-113, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• History Deck: A Web Browser History Visualization Inspired by Storytelling and Comic Art.Leitner, H., Brade, M. & Groh, R., 2012, S. 381-384, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• How Fuzzy is my Fuzzy Description Logic?Borgwardt, S., Distel, F. & Peñaloza, R., 2012, Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12). S. 82-96, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• How Should Teaching Modeling and Programming IntertwineDemuth, B., 2012Publikation: Beitrag zu Konferenzen > Paper
• HPC File Systems in Wide Area Networks: Understanding the Performance of Lustre over WANAguilera, A., Kluge, M., William, T. & Nagel, W. E., 2012, Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Springer, Berlin [u. a.], S. 65–76, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• InfoSphere: An extracurricular learning environment for computer scienceBergner, N., Holz, J. & Schroeder, U., 2012, WiPSCE '12: Proceedings of the 7th Workshop in Primary and Secondary Computing Education. Knobelsdorf, M. & Romeike, R. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 22-29, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Innovationspotenzial validieren: Anwendungsgebiete für die 3D-Plattform Bildsprache LiveLabKammer, D., Müller, R., Wojdziak, J., Zavesky, M., Weyprecht, P., Schönefeld, F. & Groh, R., 2012, Innovationsforum open4INNOVATION2012 regional kooperativ-global innovativ Beiträge zum Fachforum. Dresden, Band Technical Report. S. 80-85, 6 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Integrating Faceted Navigation and Concept Lattices for Visual Data ExplorationBach, B., Kammer, D. & Polowinski, J., 2012Publikation: Beitrag zu Konferenzen > Paper
• Integriertes System- und Dienste-Management: Ein Weg zur verbesserten InformationssicherheitLehmann, R., Frenzel, R. & Wollschlaeger, M., 2012, in:  Atp-Edition : automatisierungstechnische Praxis. 3, 54, S. 50-56, 7 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel