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
Last revision Both sides next revision
mreniers:start [Saturday, 26 March 2016 : 00:27:35]
mreniers [Projects]
mreniers:start [Saturday, 26 March 2016 : 00:27:43]
mreniers [Publications]
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 ==== ==== Education ====
  
 * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4B050|4B050]] ​   Werktuigbouwkunde in Vogelvlucht * [[https://​venus.tue.nl/​owinfo-cgi/​owi_0695.opl?​vakcode=4B050|4B050]] ​   Werktuigbouwkunde in Vogelvlucht
mreniers/start.txt · Last modified: Saturday, 26 March 2016 : 00:27:53 by mreniers