Publication

Supervisory controller synthesis for safe software adaptation In Proceedings

N. Khakpour (Narges), F. Arbab (Farhad) and É. Rutten (Éric)

Towards the ground truth: Exact algorithms for bioinformatics research Proceedings

Balancing exposed and hidden nodes in linear wireless networks Article

P.M. van de Ven (Peter), A.J.E.M. Janssen (Augustus) and J.S.H. van Leeuwaarden (Johan)

Distributed backup scheduling: Modeling and optimization In Proceedings

P.M. van de Ven (Peter), B. Zhang (Bo) and A. Schorgendorfer

Testing 2× 2 Association with Uncertain Classification In Proceedings

L.J. Dijkstra (Louis) and A. Schönhuth (Alexander)

The Service Aware Network: Balancing cost and quality for Social Multimedia Communication Article

I. Kegel (Ian), D. Williams (Doug), T. Stevens, S.N.B. Gunkel (Simon), P.S. César Garcia (Pablo Santiago) and A.J. Jansen (Jack)

Toward sequentializing overparallelized protocol code In Proceedings

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

Mechanisms for Hiring a Matroid Base Without Money In Proceedings

E. Pountourakis and G. Schäfer (Guido)