Publication
-
Multi-agent Pareto appointment exchanging in hospital patient scheduling Article
Service Oriented Computing and Applications, 1(3), 185-196.January 2007 -
Adaptive Optimization of Hospital Resource Calendars In Proceedings
January 2007 -
Transient analysis of Brownian queues Tech Report
January 2007
-
Nuovo DRM paradiso: Towards a verified fair DRM scheme In Proceedings
January 2007 -
January 2007
-
January 2007
-
Expressivity of finitary coalgebraic logics Article
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische InformaticaJanuary 2007 -
January 2007