CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Non-deterministic Kleene coalgebras Article
Logical Methods in Computer ScienceA.M. Silva (Alexandra), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
August 2010
-
Verification of Context-Dependent Channel-Based Service Models In Proceedings
N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)
August 2010 -
August 2010
-
Stepsize Restrictions for Boundedness and Monotonicity of Multistep Methods Tech Report
W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker
August 2010
-
Wiskunde: de uitdaging : vakantiecursus 2010 : Amsterdam, 27-28.08.2010 en Eindhoven, 03-04.09.2010 Other
August 2010 -
Benchmarking adaptive indexing In Proceedings
G. Goetz, S. Idreos (Stratos), H. Kuno and S. Manegold (Stefan)
September 2010
-
Inferring cancer subnetwork markers using density-constrained biclustering Article
Bioinformatics, 26(18), i625-i631.P. Dao, R. Colak, R. Salari, F. Moser, A. Schönhuth (Alexander) and M. Ester
September 2010 -
Pair HMM based gap statistics for re-evaluation of indels in alignments with affine gap penalties In Proceedings
September 2010