Centrum Wiskunde & Informatica

Using MathML to Represent Units of Measurement for Improved Ontology Alignment In Proceedings

C. Do (Chau) and E.J.E.M. Pauwels (Eric)

January 2013
Model Checking Uncertainty about Probability Lecture

D.J.N. van Eijck (Jan)

January 2013
Harnessing Mathematics for Improved Ontology Alignment In Proceedings

C. Do (Chau) and E.J.E.M. Pauwels (Eric)

January 2013
Coinductive proof techniques for language equivalence In Proceedings

J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2013
Varieties and covarieties of languages (preliminary version) In Proceedings

J.J.M.M. Rutten (Jan), A. Ballester-Bolinches and E. Cosme-Llopez

January 2013
Stream processing coalgebraically Article

Science of Computer Programming, 78(11), 2192-2215.

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

January 2013
Automatic equivalence proofs for non-deterministic coalgebras Article

Science of Computer Programming, 1324-1345.

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2013
Charge Group Partitioning in Biomolecular Simulation Article

Journal of Computational Biology, 188-198.

S. Canzar (Stefan), M. El-Kebir (Mohammed), R. Pool (René), K. Elbassioni, A.E. Mark (Alan), D.P. Geerke, L. Stougie (Leen) and G.W. Klau (Gunnar)

January 2013

Previous

Next