Informatik
Hochschule Trier
- +49 (0)651/8103-345
- +49 (0)651/8103-454
- sek@informatik.hochschule-trier.de
Linn, Rolf
Usability-Engineering für ein System zum Test und zur Überwachung von KommunikationssatellitenForschung und Entwicklung / Fachhochschule Trier. Trier: Fachhochschule Trier 2007 S. 54 - 58
Langenstein, Bruno; Nonnengart, Andreas; Rock, Georg et al.
Verification of Distributed Applications.SAFECOMP. 2007 S. 315 - 328
Rößling, G.; Naps, T.; Hall, M. S. et al.
Merging Interactive Visualizations with Hypertextbooks and Course ManagementACM SIGCSE Bulletin. 4. Aufl. Bd. 38. 2006 S. 166 - 181
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