Publikationen

2011

• Rounding pointers: type safe capabilities with C++ meta programmingWarg, A. & Lackorzynski, A., 2011, Proceedings of the 6th Workshop on Programming Languages and Operating Systems. ACM Press, S. 3:1-3:5Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Runtime Variability Management for Energy-efficient Software by Contract NegotiationGötz, S., Wilke, C., Cech, S. & Assmann, U., 2011Publikation: Beitrag zu Konferenzen > Paper
• Sakkadisches: Interfacegestaltung im AugenblickFranke, I. S., Pannasch, S. & Groh, R., 2011, Wieder mehr sehen! - Ein Sammelband zu aktuellen Themen und Fragestellungen aus dem Bereich der Technischen Visualistik. DresdenPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• SampleSurface: Kollaboratives Musizieren mit Multitouch-UnterstützungBahr, J., Peschke, J., Kammer, D., Franke, I. S., Steinhauf, J., Kirchner, M., Schönefeld, F. & 1 weitere, 2011, S. 267-271, 5 S.Publikation: Beitrag zu Konferenzen > Paper
• Scalable and Low-Latency Data Processing with StreamMapReduceBrito, A., Martin, A., Knauth, T., Creutz, S., Becker, D., Weigert, S. & Fetzer, C., 2011, S. 48-58, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Scaling Non-elastic Applications Using Virtual MachinesKnauth, T. & Fetzer, C., 2011, S. 468-475, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• ScriMT – eine multitouch-basierte Layoutprototyping AnwendungTaranko, S., Wuttig, D., Eschrich, B., Kammer, D. & Keck, M., 2011, Wieder mehr Sehen! - Aktuelle Einblicke in die Technische Visualistik. Groh, R. & Zavesky, M. (Hrsg.). Neuerscheinung Aufl., Dresden, S. 81-89, 9 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Sehen und Gesehen werdenZavesky, M. & Franke, I. S., 2011Publikation: Beitrag zu Konferenzen > Paper
• SIListra Compiler: Building Reliable Systems with Unreliable Hardware (Poster paper)Süßkraut, M., Schmitt, A., Schiffel, U., Brünink, M. & Fetzer, C., 2011, Proceedings of The 41st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2011). 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Simulating LEGO Mindstorms robots to facilitate teaching computer programming to school studentsKammer, T., Brauner, P., Leonhardt, T. & Schroeder, U., 2011, Towards ubiquitous learning: 6th European Conference on Technology Anhanced Learning, EC-℡ 2011, Palermo, Italy, September 20-23, 2011 ; proceedings / Carlos Delgado Kloos ... (eds.). Springer, Berlin [u. a.], S. 196-209, 14 S., (Lecture notes in computer science)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Simulative performance evaluation of the sim^TD Self Organizing Traffic Information SystemEckhoff, D., Gansen, T., Manz, R., Thum, D., Klages, O. & Sommer, C., 2011, 2011 the 10th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net'2011Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Symbik - A New Medium for Collaborative Knowledge-Intensive WorkWerner, H., Latzina, M. & Brade, M., 2011Publikation: Beitrag zu Konferenzen > Paper
• The Eleventh Finger: Levels of Manipulation in Multi-touch InteractionKammer, D., Franke, I., Groh, R., Steinhauf, J., Kirchner, M. & Schönefeld, F., 2011, S. 141-148, 8 S.Publikation: Beitrag zu Konferenzen > Paper
• The Inclusion Problem for Weighted Automata on Infinite TreesBorgwardt, S. & Peñaloza, R., 2011, Proc. of the 13th International Conference on Automata and Formal Languages (AFL 2011). S. 108-122, 15 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Universal Transactional Memory ConstructionWamhoff, J. & Fetzer, C., 2011, S. 61, 75 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Towards a model driven Modelica IDEDemuth, B., Samlaus, R., Hillman, C. & Krebs, M., 2011Publikation: Beitrag zu Konferenzen > Paper
• Towards Farsighted Dependencies for Existential RulesBaget, J., Mugnier, M. & Thomazo, M., 2011, Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR 2011). Springer Open, S. 30-45, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Transactional Memory for Dependable Embedded SystemsFetzer, C. & Felber, P., 2011, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Transactional Memory for Dependable Embedded Systems (Poster)Fetzer, C., Wamhoff, J. & Felber, P., 2011, 1 S.Publikation: Beitrag zu Konferenzen > Poster
• Two new modalities for ARIAFranke, M., Voegler, J. & Weber, G., 2011, Proceedings of the Workshop on Accessible Design in the Digital World 2011 (ADDW-2011). S. 30-40, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Übersichtsgewinnung und Interaktionsmöglichkeiten in Planungsszenarien - Ein PraxisberichtLambeck, C., Winkler, K. & Fiebig, M., 2011, Wieder mehr Sehen! - Aktuelle Einblicke in die Technische VisualistikPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Übertragbarkeit singulärer MINT-Interesse-initiierender außerschulischer MaßnahmenLeonhardt, T., Brauner, P., Siebert, J. & Schroeder, U., 2011, Informatik in Bildung und Beruf - 14. GI-Fachtagung "Informatik und Schule - INFOS 2011 - Proceedings. Thomas, M. (Hrsg.). Bonn: Gesellschaft fur Informatik (GI), S. 127-136, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 SuperstructureWilke, C. & Demuth, B., 2011Publikation: Beitrag zu Konferenzen > Paper
• Unchain My EL ReasonerKazakov, Y., Krötzsch, M. & Simančík, F., 2011, International Workshop on Description LogicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Unification in Modal and Description LogicsBaader, F. & Ghilardi, S., 2011, in: Logic Journal of the IGPL. 19, 6, S. 705–730, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel