Publication
-
January 2008
-
Public-Key Encryption with Non-Interactive Opening In Proceedings
January 2008 -
Conditional Reactive Simulatability Article
International Journal of Information Security, 7(2), 155-169.January 2008 -
Modular control of discrete-event systems with coalgebra Article
IEEE Transactions on Automatic Control, 447-460.January 2008 -
January 2008
-
The EMF Model Transformation Framework Book Chapter
January 2008
-
January 2008
-
January 2008