Interface creation and redesign techniques in collaborative learning scenarios

M. Mühlenbrock, H.U. Hoppe, Computer supported interaction analysis of group problem solving, in: Third International Conference on Computer Supported Collaborative Learning, Stanford, 1999, pp. 398–405. Scardamalia, 1994, Computer support for knowledge-building communities, Learning Sciences, 3, 265, 10.1207/s15327809jls0303_3 Koshman, 1996, Computer supported problem-based learning: a principled approach to the use of computers in collaborative learning, CSCL: Theory and Practice of an Emerging Paradigm, 87 B. König, V. Kozioura, Augur 2—A new version of a tool for the analysis of graph transformation systems, in: Workshop on Graph Transformation and Visual Modeling Techniques, Budapest, 2008, pp. 201–210. Baloian, 2005, Algorithm visualization using concept keyboards, 7 Baloian, 2005, Algorithm explanation using multimodal interfaces, 21 T. Kotthäuser, A. Kováčová, W. Liu, W. Luther, L. Selvanadurajan, M. Wander, S. Wang, B. Weyers, A. Yapo, Z. Zhu, Concept Keyboards for controlling and visualization of interactive cryptographic algorithms, Technical Report, Duisburg, 2006 (in German). Nickerson, 1997, On the distribution of cognition: some reflections, Distributed cognitions, 229 Webb, 1982, Peer interaction and learning in cooperative small groups, Educational Psychology, 74, 642, 10.1037/0022-0663.74.5.642 Webb, 1982, Student interaction and learning in small groups, Review of Educational Research, 52, 421, 10.3102/00346543052003421 Bos, 1937, Experimental study of productive collaboration, Acta Psychologica, 3, 315, 10.1016/S0001-6918(01)90007-1 Azmitia, 1988, Peer interaction and problem solving: When are two heads better than one?, Child Development, 1, 87, 10.2307/1130391 A.C. Lemke, G. Fischer, A cooperative problem solving system for user interface, in: AAAI ’90, Boston, 1990, pp. 479–484. R. Rieder, M.S. Pinho, A.B. Raposo, Using petri nets to specify collaborative three dimensional interaction, in: 13th International Conference on Computer Supported Cooperative Work in Design, Santiago de Chile, 2009, pp. 456–461. P. Kraft, Algorithm visualization with self-configured interfaces–implementation and evaluation, Diploma Thesis, Duisburg, 2005 (in German). J. Selvanadurajan, Interactive visualization of cryptographic protocols with concept keyboards, test cases and evaluation, Diploma Thesis, Duisburg, 2007 (in German). B. Weyers, Concept keyboards for controlling and visualizing interactive cryptographic algorithms, Technical Report, Duisburg, 2006 (in German). D. Martin, M. Rouncefield, I. Sommerville, Applying patterns of cooperative interaction to work (re) design: E-Government and planning, in: SIGCHI Conference on Human Factors in Computing Systems: Changing our World, Changing Ourselves, 2002, pp. 235–242. Navarre, 2008, A formal approach for user interaction reconfiguration of safety critical interactive systems, Computer Safety, Reliability, and Security, 373, 10.1007/978-3-540-87698-4_31 Navarre, 2008, An architecture and a formal description technique for the design and implementation of reconfigurable user interfaces, vol. 5136, 208 Hollnagel, 1997 Dantas do Nascimento, 2005, User hints: A framework for interactive optimization, Future Generation Computer Systems, 21, 1177, 10.1016/j.future.2004.04.005 Ezzedine, 2005, Use of Petri nets for modeling an agent-based interactive system: basic principles and case study, Mathematics and Computers in Simulation, 70, 358, 10.1016/j.matcom.2005.11.006 C.A. Petri, Software visualization—programming as a multimedia experience, Ph.D. Thesis, Bonn, 1962. de Rosis, 1998, Formal description and evaluation of user-adapted interfaces, Human–Computer Studies, 95, 10.1006/ijhc.1998.0196 Ehrig, 2008, Petri net transformations, Petri Net: Theory and Applications, 534 Ráth, 2008, Design-time simulation of domain-specific models by incremental pattern matching, 219 Stringer, 2005, The webkit tangible user interface: a case study of iterative prototyping, IEEE Pervasive Computing, 35, 10.1109/MPRV.2005.89 Papadopoulos, 2001, Configuration and dynamic reconfiguration of components using the coordination paradigm, Future Generation Computer Systems, 17, 1023, 10.1016/S0167-739X(01)00043-7 Guan, 2004, Modeling adaptable multimedia and self-modifying protocol execution, Future Generation Computer Systems, 20, 123, 10.1016/S0167-739X(03)00127-4 Baloian, 2008, Concept keyboards in the animation of standard algorithms, Visual Languages and Computing, 6, 652, 10.1016/j.jvlc.2007.07.005 M. Ringel Morris, A.M. Piper, A. Cassanego, T. Winogard, Supporting cooperative language learning: issues in interface design for an interactive table, 2005, http://hci.stanford.edu/cstr/reports/2005-08.pdf. Baloian, 2009, Cooperative visualization of cryptographic protocols using concept keyboards, International Journal of Engineering Education, 25, 745 McLinden, 1997, The use of concept keyboard technology to teach early tactile reading, Eye Contact, 19, 31 2002, Software visualization, vol. 2269 Diehl, 2005, Software visualization, 718 Stasko, 1998 P. Crescenzi, N. Faltin, R. Fleischer, C. Hundhausen, S. Näher, G. Rössling, J. Stasko, E. Sutinen, The algorithm animation repository, in: The Second International Program Visualization Workshop, Aarhus, Denmark, 2002, pp. 14–16. Kerren, 2006, Novel algorithm explanation techniques for improving algorithm teaching, 175 Shakshuki, 2007, Web-based structured hypermedia algorithm explanation system, Web Information Systems, 3(, 179, 10.1108/17440080710834238 Eisenberg, 1996, The thin glass line: designing interfaces to algorithms, 181 Diehl, 2000, Visualizing principles of abstract machines by generating interactive animations, Future Generation Computer Systems, 16, 831, 10.1016/S0167-739X(99)00093-X Brown, 1988 Stasko, 1990, TANGO: a framework and system for algorithm animation, IEEE Computer, 23, 27, 10.1109/2.58216 Stasko, 1992, Animating algorithms with XTANGO, SIGACT News, 23, 67, 10.1145/130956.130959 Rößling, 2003, Key decisions in adopting algorithm animations for teaching, 149 C.D. Hundhausen, Toward effective algorithm visualization artifacts: designing for participation and communication in an undergraduate algorithms course, University of Oregon, 1999. Baloian, 2002, Various modeling aspects of tutoring systems for people with auditory disabilities, 197 M. Mühlenbrock, A. Loesch, Eine Architektur zur Unterstützung kollaborativen Lernens in Offenen Umgebungen, in: Proceedings of KI-1998, 1998. M. Mühlenbrock, F. Tewissen, H.U. Hoppe, A framework system for intelligent support in open distributed learning environments, in: 8th World Conference on Artificial Intelligence in Education, AIED, Kobe, Japan, 1997, pp. 256–274. Cattaneo, 2008, Visualization of cryptographic protocols with GRACE, Visual Languages & Computing, 19, 258, 10.1016/j.jvlc.2007.05.001 A. Kovááčová, Implementation of Needham–Schroeder protocol in a distributed simulation environment for cryptographic standard practice, Diploma Thesis, Duisburg, 2007 (in German). Colella, 1994, Participatory simulations: Building collaborative understanding through immersive dynamic modeling, Learning Sciences, 4, 471 Kummer, 2002 B. Weyers, An error-driven approach for automated user-interface redesign: concepts and architecture, in: Proceedings of the DAAD Summer University Chile, 2008, pp. 104–113. H. Boussairi, Petrinet-based implementation of a process model — SOM-based automatic surveillance of human–machine interaction, Diploma Thesis, Duisburg, 2008 (in German). Weyers, 2009, Cooperative model reconstruction for cryptographic protocols using visual languages, vol. 5784, 311 B. Weyers, W. Luther, Cooperative construction of cryptographic protocols modeling and analysis, in: Proceedings of the DAAD Summer University Duisburg, 2009, pp. 67–79. O. Kummer, F. Wienberg, M. Duvigneau, J. Schumacher, M. Köhler, D. Moldt, H. Rölke, R. Valk, An extensible editor and simulation engine for Petri nets: renew, in: 25th International Conference on Application and Theory of Petri Nets, ICATPN, Bologna, 2004, pp. 484–493. D. Gamrad, H. Oberheid, D. Söffker, Automated detection of human errors based on multiple partial-state spaces, in: 6th Vienna Conference MATHMOD on Mathematical Modeling on Dynamical Systems, Wien, 2009, pp. 651-659. D. Gamrad, H. Oberheid, D. Söffker, Formalization and automated detection of human errors, in: SICE International Conference on Instrumentation, Control and Information Technology, Tokyo, 2008, pp. 1761–1766. Tidwell, 2006 B. Weyers, N. Baloian, W. Luther, Cooperative creation of concept keyboards in distributed learning environments, in: 13th International Conference on CSCW in Design, Santiago de Chile, 2009, pp. 534–539.