|
MOVES: Software Modeling and Verification
(Informatik 2)
|
Stefan Rieger
Stefan Rieger
| E-Mail: |
rieger<at>informatik.rwth-aachen.de |
| |
rieger<at>cs.rwth-aachen.de |
| Phone: | +49-241/80-21210 |
| Fax: | +49-241/80-22217 |
|   |   |
| Postal Address:   | Stefan Rieger |
| Lehrstuhl für Informatik II |
| RWTH Aachen |
| D-52056 Aachen |
|   |   |
| Visiting Address:   | Room 4206 |
| Ahornstr. 55 |
| D-52074 Aachen |
|
|
Publications
- Thomas Noll, Stefan Rieger
Optimization of Straight-Line Code Revisited
Technical Report, Aachener Informatik-Bericht 2005-21, Aachen, Germany, Nov 2005
[ pdf |
ps.gz |
Abstract |
BibTeX ]
- Stefan Rieger
Analyse und Optimierung linearen Codes
Diploma Thesis, Faculty of Mathematics, Computer Sciences and Natural Sciences, RWTH Aachen, Germany, Aug 2005
[ pdf |
ps |
pdf.gz |
ps.gz ]
Teaching Activities
|