| 1994 |
|---|
| 8 | | Hans Langmaack,
Willem P. de Roever,
Jan Vytopil:
Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings
Springer 1994 |
| 7 | | Louis Vuurpijl,
Theo E. Schouten,
Jan Vytopil:
A Scalable Performance Prediction Method for Parallel Neural Network Simulations.
HPCN 1994: 396-401 |
| 6 | | Louis Vuurpijl,
Theo E. Schouten,
Jan Vytopil:
PREENS, a Parallel Research Excecution Environment for Neural Systems.
HPCN 1994: 402-407 |
| 1991 |
|---|
| 5 | | Jan Vytopil:
Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings
Springer 1991 |
| 1988 |
|---|
| 4 | | Hanno Wupper,
Jan Vytopil:
A Specification Language for Reliable Real-time Systems.
FTRTFT 1988: 111-127 |
| 1984 |
|---|
| 3 | | S. Kamal Abdali,
Jan Vytopil:
Generalization Heuristics for Theorems Related to Recursively Defined Functions.
AAAI 1984: 1-5 |
| 2 | | Jan Vytopil,
Peter Müller:
Communication Architecture of TCP16, a Highly Reliable, Distributed System.
ICC (2) 1984: 549-553 |
| 1983 |
|---|
| 1 | | Ron Koymans,
Jan Vytopil,
Willem P. de Roever:
Real-Time Programming and Asynchronous Message Passing.
PODC 1983: 187-197 |
