Publications

Animation and Visualization

1. Algorithm Animation using Shape Analysis: Visualising Abstract Executions
   D. Johannes, R. Seidel, and R. Wilhelm
   SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization, 2005. [doi]  [bib]
   

   @inproceedings{Johannes05,
      author = {Dierk Johannes and Raimund Seidel and Reinhard Wilhelm},
      title = {Algorithm Animation using Shape Analysis: Visualising Abstract Executions},
      booktitle = {SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization},
      year = {2005},
      pages = {17--26},
      address = {New York, NY, USA},
      publisher = {ACM},
      doi = {10.1145/1056018.1056021},
      isbn = {1-59593-073-6},
      location = {St. Louis, Missouri}
    }

2. Algorithm Explanation: Visualizing Abstract States and Invariants
   R. Wilhelm, T. Müldner, and R. Seidel
   Software Visualization, Springer Verlag, 2002. [bib]
   

   @incollection{Wilhelm02,
      author = {Reinhard Wilhelm and T. M\"uldner and Raimund Seidel},
      title = {Algorithm Explanation: Visualizing Abstract States and Invariants},
      booktitle = {Software Visualization},
      publisher = {Springer Verlag},
      year = {2002},
      editor = {Stephan Diehl},
      series = {LNCS},
      pages = {381--394},
    }

3. Animation of the Generation and Computation of Finite Automata for Learning Software
   B. Braune, S. Diehl, A. Kerren, and R. Wilhelm
   4th Intl. Workshop on Implementing Automata, 2001. [bib]
   

   @inproceedings{Braune01,
      author = {Beatrix Braune and Stephan Diehl and Andreas Kerren and Reinhard Wilhelm},
      title = {Animation of the Generation and Computation of Finite Automata for Learning Software},
      booktitle = {4th Intl. Workshop on Implementing Automata},
      year = {2001},
      volume = {2214},
      series = {LNCS},
      pages = {39--47},
      publisher = {Springer Verlag},
    }

4. Focusing in Algorithm Explanation
   B. Braune, and R. Wilhelm
   IEEE Transactions on Visualization and Computer Graphics, 6 (1), 2000. [bib]
   

   @article{Braune00,
      author = {Beatrix Braune and Reinhard Wilhelm},
      title = {Focusing in Algorithm Explanation},
      journal = {IEEE Transactions on Visualization and Computer Graphics},
      year = {2000},
      volume = {6},
      pages = {1--7},
      number = {1},
    }

5. Visualisierung und Animation der semantischen Analyse von Programmen
   A. Kerren
   Informatica Didactica, 1 (1), 2000. [url]  [bib]
   

   @article{Kerren00,
      author = {Andreas Kerren},
      title = {{V}isualisierung und {A}nimation der semantischen {A}nalyse von {P}rogrammen},
      journal = {Informatica Didactica},
      year = {2000},
      volume = {1},
      number = {1},
      url = {http://didaktik.cs.uni-potsdam.de/InformaticaDidactica/Issue1/Kerren}
    }

6. Focussing in Algorithm Explanation
   R. Wilhelm, and B. Braune
   Transactions on Visualization and Computer Graphics, 6 (1), 2000. [bib]
   

   @article{Wilhelm00a,
      author = {Reinhard Wilhelm and Beatrix Braune},
      title = {Focussing in Algorithm Explanation},
      journal = {Transactions on Visualization and Computer Graphics},
      year = {2000},
      volume = {6},
      pages = {1--7},
      number = {1},
    }

7. Animation der semantischen Analyse
   A. Kerren
   In Proceedings of 8. GI-Fachtagung Informatik und Schule (in German), 1999. [bib]
   

   @inproceedings{Kerren99,
      author = {Andreas Kerren},
      title = {{A}nimation der semantischen {A}nalyse},
      booktitle = {In Proceedings of 8. GI-Fachtagung Informatik und Schule (in German)},
      year = {1999},
      editor = {A. Schwill},
      series = {Informatik aktuell},
      pages = {108--120},
      publisher = {Springer Verlag},
    }

8. Object-Oriented Animations with VRML++
   S. Diehl
   Proceedings of Virtual Environments 98 Conference and 4th Eurographics Workshop, 1998. [ps]  [bib]
   

   @inproceedings{Diehl98a,
      author = {Stephan Diehl},
      title = {Object-Oriented Animations with {VRML++}},
      booktitle = {Proceedings of Virtual Environments 98 Conference and 4th Eurographics Workshop},
      year = {1998},
      series = {Eurographics Workshop Proceedings Series ISSN 1024-0681},
      address = {Stuttgart},
      month = {June},
      url = {https://www.rw.cdl.uni-saarland.de/people/diehl/private/pubs/anim.ps}
    }

9. Visualizing Principles of Abstract Machines by Generating Interactive Animations
   S. Diehl, and T. Kunze
   Proceedings of Workshop on Principles of Abstract Machines, Pisa, Italy,, 1998. [bib]
   

   @inproceedings{Diehl98d,
      author = {Stephan Diehl and Thomas Kunze},
      title = {Visualizing Principles of Abstract Machines by Generating Interactive Animations},
      booktitle = {Proceedings of Workshop on Principles of Abstract Machines, Pisa, Italy,},
      year = {1998},
      editor = {Stephan Diehl and Peter Sestoft},
      series = {Technical Report 5/98 of FB Informatik, Universitt des Saarlandes},
    }

10. GANIMAM: Generierung interaktiver Animationen von Abstrakten Maschinen
    S. Diehl, T. Kunze, and A. Placzek
    Proceedings of Smalltalk und Java in Industrie und Ausbildung STJA'97, 1997. [bib]
    

    @inproceedings{Diehl97g,
       author = {Stephan Diehl and Thomas Kunze and Andreas Placzek},
       title = {{GANIMAM}: {G}enerierung interaktiver {A}nimationen von {A}bstrakten {M}aschinen},
       booktitle = {Proceedings of Smalltalk und {Java} in Industrie und Ausbildung STJA'97},
       year = {1997},
       address = {Erfurt},
     }

11. CLaX—A Visualized Compiler
    G. Sander, M. Alt, C. Ferdinand, and R. Wilhelm
    Graph Drawing, Workshop GD'95, 1995. [bib]
    

    @inproceedings{Sander95c,
       author = {Georg Sander and Martin Alt and Christian Ferdinand and Reinhard Wilhelm},
       title = {{CLaX}---A Visualized Compiler},
       booktitle = {Graph Drawing, Workshop GD'95},
       year = {1995},
       editor = {F. Brandenburg},
       series = {LNCS},
       pages = {?},
       publisher = {Springer Verlag},
     }