Publication

Handling biological complexity: as simple as possible but not simpler Dissertation

H.M. Härdin (Hanna)

XHTML™ Modularization 1.1 - Second edition Book Chapter

S. Pemberton (Steven)

Introduction to the Special Theme Computational Biology Article

G.W. Klau (Gunnar) and J. Nicolas

A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq In Proceedings

P.J. Collins (Pieter), M. Niqui (Milad) and N. Revol

Preliminary Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings

The positive semidefinite Grothendieck problem with rank constraint In Proceedings

J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Pushdown System Representation for Unbounded Object Creation Tech Report

J.C. Rot (Jurriaan), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

A problem in last-passage percolation. Article

H. Kesten and V. Sidoravicius (Vladas)