User Tools

Site Tools


mreniers:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
mreniers:start [Saturday, 26 March 2016 : 00:27:35]
mreniers [Projects]
mreniers:start [Saturday, 26 March 2016 : 00:27:53] (current)
mreniers [Education]
Line 5: Line 5:
  
  
-==== Publications ==== 
  
-Under development 
  
-=== Key Publications === 
- 
-  - J.C.M. Baeten, T. Basten, and M.A. Reniers. [[http://​www.processalgebra.org|Process Algebra: Equational Theories of Communicating Processes]]. Cambridge University Press, September 2009.  
-  - P.J.L. Cuijpers and M.A. Reniers. Hybrid Process Algebra. **Journal of Logic and Algebraic Programming**,​ 62(2):​191-245. February 2005.  
-  - D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers. Syntax and Consistent Equation Semantics of Hybrid Chi. **Journal of Logic and Algebraic Programming**,​ 68(1-2):​129-210,​ June-July 2006.  
-  - D.A. van Beek, M.A. Reniers, R.R.H. Schiffelers and J.E. Rooda. Foundations of a Compositional Interchange Format for Hybrid Systems. In A. Bemporad, A. Bicchi, and G. Buttazzo, editors, 10th International Conference on Hybrid Systems: Computation and Control (HSCC'​07),​ April 3-5 2007, Pisa, Italy, pages 587-600. Lecture Notes in Computer Science, volume 4416, 2007, Springer. ​ 
-  - M.R. Mousavi, M.A. Reniers and J.F. Groote. SOS Formats and Meta-Theory:​ 20 Years After. **Theoretical Computer Science**, 373(3):​238-272,​ April 2007.  
- 
-==== Education ==== 
- 
-* [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4B050|4B050]] ​   Werktuigbouwkunde in Vogelvlucht 
mreniers/start.1458948455.txt.gz · Last modified: Saturday, 26 March 2016 : 00:27:35 by mreniers