Centrum Wiskunde & Informatica

Second Screen Interactions for Automatically Web-Enriched Broadcast Video In Proceedings

L. Pérez Romero (Lilia), M.C. Traub (Myriam), M.H.R. Leyssen (Mieke) and L. Hardman (Lynda)

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
Stream processing coalgebraically Article

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

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

January 2013
Characterizing partition functions of the vertex model by rank growth Tech Report

A. Schrijver (Lex)

January 2013
Exponential lower bounds for polytopes in combinatorial optimization Lecture

R.M. de Wolf (Ronald)

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
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
What Does Control Flow Really Look Like? Eyeballing the Cyclomatic Complexity Metric Presentation

D. Landman (Davy), J.J. Vinju (Jurgen), A. Serebrenik (Alexander) and M.W. Godfrey (Michael)

January 2013

Previous

Next