Centrum Wiskunde & Informatica

Automated deadlock detection in synchronized reentrant multithreaded call-graphs In Proceedings

I. Grabe (Immo) and F.S. de Boer (Frank)

January 2010
Executable Interface Specifications for Testing Asynchronous Creol Components In Proceedings

I. Grabe (Immo), M. Kyas (Marcel), M. Steffen and A.B. Torjusen

January 2010
The Credo Methodology (Extended Version) In Proceedings

I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), J. Klein (Joachim), S. Klüppelholz, A. Stam, C. Baier, T. Blechmann, B.K. Aichernig, F.S. de Boer (Frank), A. Griesmeyer, et al. W. Leister, M. Steffen, W. Yi

January 2010
Computing H/D-Exchange rates of single residues from data of proteolytic fragments Article

BMC Bioinformatics

E. Althaus, S. Canzar (Stefan), C. Ehrler, M.R. Emmett, A. Karrenbauer, A.G. Marshall, A. Meyer-Baese, J. Tipton and H. Zhang (Haoyuan)

January 2010
A tropical proof of the Brill-Noether Theorem Tech Report

F. Cools, J. Draisma (Jan), S. Payne and E. Robeva

January 2010
Motion tracking-enhanced MART for tomographic PIV Article

Measurement Science and Technology, 21(3)

M. Novara, K.J. Batenburg (Joost) and F. Scarano

January 2010
Partial-realization of linear switched systems: A formal power series approach Tech Report

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

January 2010
Temporal logic control for piecewise-affine hybrid systems on polytopes In Proceedings

L.C.G.J.M. Habets (Luc) and C. Belta

January 2010

Previous

Next