Centrum Wiskunde & Informatica

Stochastic Modeling of Codon Bias with PRISM In Proceedings

T.E. Pronk, E.P. de Vink (Erik), D. Bošnački (Dragan) and T.M. Breit

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
Dynamic Evolution by Constraint Orchestration In Proceedings

L.P.J. Groenewegen (Luuk) and E.P. de Vink (Erik)

January 2007
Secure Hybrid Encryption from Weakened Key Encapsulation In Proceedings

D. Hofheinz (Dennis) and E. Kiltz (Eike)

January 2007
Pi-Calculus in Logical Form In Proceedings

M.M. Bonsangue (Marcello) and A. Kurz (Alexander)

January 2007
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
Regular expressions for polynomial coalgebras Tech Report

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2007
oMAP: Ontology Alignment Application Manual

R. Troncy (Raphael)

January 2007

Previous

Next