Informatik
Hochschule Trier
- +49 (0)651/8103-345
- +49 (0)651/8103-454
- sek@informatik.hochschule-trier.de
Oechsle, Rainer
Peer Review of Animations Developed by Students4th Program Visualization Workshop (PVW 2006). University of Florence, Italy. 2006
Oechsle, Rainer; Donak, O.
Project Freegate: Market Survey of Open Source EAI SoftwareInternal Report. Centre de Recherche Public Henri Tudor, Luxembourg-Kirchberg. 2006
Rasp, Oliver; Lohscheller, Jörg; Doellinger, Michael et al.
The Pitch Rise Paradigm: A New Task for Real-Time Endoscopy of Non-Stationary PhonationFolia Phoniatrica et Logopaedica. Bd. 58. H. 3. Karger 2006 S. 175 - 185
Cheikhrouhou, Lassaad; Rock, Georg; Stephan, Werner et al.
Verifying a Chipcard-Based Biometric Identification Protocol in VSE.SAFECOMP. 2006 S. 42 - 56
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