CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Sound and complete axiomatizations of coalgebraic language equivalence Article
ACM Transactions on Computational Logic, 14(1)M.M. Bonsangue (Marcello), S. Milius and A.M. Silva (Alexandra)
January 2013 -
Language constructs for non-well-founded computations In Proceedings
January 2013 -
Well-founded coalgebras, revisited Tech Report
January 2013 -
A coalgebraic view of epsilon-transitions In Proceedings
January 2013 -
Brzozowski's and up-to algorithms for must testing In Proceedings
F. Bonchi (Filippo), G. Caltais (Georgiana), D. Pous (Damien) and A.M. Silva (Alexandra)
January 2013 -
The non-adaptive query complexity of testing k-parities Article
Chicago Journal of Theoretical Computer ScienceH.M. Buhrman (Harry), D. Garcia Soriano (David), A. Matsliah (Arie) and R.M. de Wolf (Ronald)
January 2013
-
PMG: Multicore metabolite identification Article
Electronic Notes in Theoretical Computer Science, 53-60.M.M. Jaghoori (Mohammad Mahdi), S.-S.T.Q. Jongmans (Sung), F.S. de Boer (Frank), J.E. Peironcely, J-L. Faulon and T. Hankemeier (Thomas)
January 2013
-
Open graph drawing framework (OGDF) Book Chapter
M. Chimani, C. Gutwenger, M. Juenger, G.W. Klau (Gunnar), C.C. Klein (Cecilia) and P. Mutzel
January 2013