CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Coalgebraic logic and synthesis of Mealy machines Tech Report
M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
January 2007
-
January 2007
-
Pi-Calculus in Logical Form In Proceedings
January 2007 -
Secure Hybrid Encryption from Weakened Key Encapsulation In Proceedings
January 2007
-
Towards an h-adaptive immersed boundary method for the unsteady incompressible Navier-Stokes equations Tech Report
January 2007
-
Dynamic Evolution by Constraint Orchestration In Proceedings
January 2007 -
A Comparison of Java Cards: State-of-Affairs 2006 Tech Report
W. Mostowski, J. Pan (Jing), S. Akkiraju, E.P. de Vink (Erik), E. Poll and J. I. den Hartog (Jeremy)
January 2007 -
Stochastic Modeling of Codon Bias with PRISM In Proceedings
January 2007