Hans Rischel
- 2002
- Published
Interval logic. Proof theory and theorem proving. / Rasmussen, Thomas Marthedal; Rischel, Hans (Supervisor); Hansen, Michael Reichhardt (Supervisor).
2002.Publication: Research › Ph.d. thesis – Annual report year: 2002
- 2001
- Published
Event-based design of concurrent programs with java implementation. / Sun, Hongyan; Rischel, Hans.
In: Communicating Process Architectures. 2001. p. 117-128.Publication: Research - peer-review › Article in proceedings – Annual report year: 2001
- 1999
- Published
A Theory Based Introductory Programming Course. / Hansen, Michael Reichhardt; Kristensen, Jens Thyge; Rischel, Hans.
In: Frontiers in Education. IEEE, 1999.Publication: Research - peer-review › Article in proceedings – Annual report year: 1999
- Published
Introduction to Programming using SML. / Hansen, Michael Reichhardt; Rischel, Hans.
Harlow, Englang : Addison-Wesley, 1999. 367 p.Publication: Research - peer-review › Book – Annual report year: 1999
- 1998
- Published
Engineering of real-time systems with an experiment in hybrid control. / Ravn, Anders P.; Eriksen, Thomas Juul; Holdgaard, Michael; Rischel, Hans.
In: Embedded Systems. Berlin : Springer, 1998. p. 316-352.Publication: Research - peer-review › Article in proceedings – Annual report year: 1998
- Published
Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT98). / Ravn, Anders P. (Editor); Rischel, Hans (Editor).
Berlin : Springer, 1998. 338 p.Publication: Research - peer-review › Book – Annual report year: 1998
- Published
Modelling Invoicing using SML. / Lichtenberg, Jakob; Hansen, Michael Reichhardt; Rischel, Hans; Allemand, M. and and (Editor); Attiogbe, C. (Editor); Habrias, H. (Editor).
In: Proceedings of the International workshop on Comparing System specification Techniques. Nantes : ERIN, Nantes, 1998. p. 297-311.Publication: Research - peer-review › Article in proceedings – Annual report year: 1998
- Published
Traces in PC/DC. / Hoffmann, Torben; Petersen, Michael Bruun; Rischel, Hans; Hansen, Michael Reichhardt.
In: Proc. of the 10th European Summer School in Logic Language and Information. Saarbrücken : DFKI, 1998.Publication: Research - peer-review › Article in proceedings – Annual report year: 1998
- 1997
- Published
Design and prototyping of real-time systems using CSP and CML. / Rischel, Hans; Sun, Hong Yan.
In: Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on. IEEE, 1997. p. 121-127.Publication: Research - peer-review › Article in proceedings – Annual report year: 1997
- 1996
- Published
Selvevaluering af datalogiuddannelsen på DTU. / Bruun, Erik (Editor); Bruun, Erik; Hoffmann, Torben; Husmark, Erik; Madsen, Kaj; Rischel, Hans; Smedsgaard, Helle; Staunstrup, Jørgen.
1996.Publication: Research - peer-review › Report – Annual report year: 1996