Oechsle, Rainer; Gottwald, T.
DisASTer (Distributed Algorithms Simulation Terrain)A Platform for the Implementation of Distributed Algorithms. 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, Monte de Caparica, Portugal. 2005
Stephan, Werner; Langenstein, Bruno; Nonnengart, Andreas et al.
Verification Support Environment.Mechanizing Mathematical Reasoning. 2005 S. 476 - 493
Oechsle, Rainer; Schloss, H.; Weires, R.
VLANSim: Simulation of Virtual LANsInternational Conference on Engineering Education. Gliwice, Poland. 2005
Weires, R.; Oechsle, Rainer
A Tool for the Interactive Definition and Execution of Function-oriented Test on Java Objects3rd Program Visualization Workshop. University of Warwick, England. 2004
Oechsle, Rainer; Lang, S.; Weires, R.
AntSim: eine Simulationsumgebung zur Visualisierung emergenter Phänomene am Beispiel von Ameisenkolonien auf FuttersucheProceedings der Tagung "Simulation und Visualisierung 2004". Otto-von-Guericke-Universität Magdeburg. 2004 S. 227 - 238
Rock, Georg
Formal methods for real-time requirements engineering.2004 S. 1 - 243
Schuster, Maria; Lohscheller, Jörg; Kummer, Peter et al.
Laser projection in high-speed glottography for high-precision measurements of laryngeal dimensions and dynamicsEuropean Archives of Oto-Rhino-Laryngology. Bd. 262. H. 6. Springer 2004 S. 477 - 481
Oechsle, Rainer
Animations for a Computer Networks Course - Practice and ExperienceInternational Conference on Engineering Education (ICEE). Valencia, Spain. 2003
Hoppe, Ulrich; Rosanowski, Frank; Döllinger, Michael et al.
Glissando: Laryngeal motorics and acousticsJournal of Voice. Bd. 17. H. 3. Elsevier B.V. 2003 S. 370 - 376
Weires, R.; Oechsle, R.
TeeJay - ein Werkzeug zur interaktiven Definition und Ausführung funktionsorientierter Tests auf Java-ObjektenSoftwaretechnik-Trends. Mitteilungen d. Fachgruppe Software-Engineering, Gesellschaft für Informatik. Bd. 23. H. 4. Bonn: GI 2003 S. 41 - 47