dblp.uni-trier.dewww.uni-trier.de

Jan Vytopil

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1S. Kamal Abdali [3]
2Ron Koymans [1]
3Hans Langmaack [8]
4Peter Müller [2]
5Willem P. de Roever [1] [8]
6Theo E. Schouten [6] [7]
7Louis Vuurpijl [6] [7]
8Hanno Wupper [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)