Publication

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

XHTML™ Modularization 1.1 - Second edition Book Chapter

S. Pemberton (Steven)

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)

XRPC - Efficient Distributed Query Processing on Heterogeneous XQuery Engines Dissertation

Y. Zhang (Ying)

On asymptotically good strongly multiplicative linear secret sharing Dissertation

I. Cascudo (Ignacio)

Some mathematical refinements concerning error minimization in the genetic code Tech Report

H.M. Buhrman (Harry), P.T.S. van der Gulik (Peter), S.M. Kelk (Steven), W.M. Koolen-Wijkstra (Wouter) and L. Stougie (Leen)