Computer Science · Physical Sciences
5h-index135citations15works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Distributed systems and fault tolerance(7), Logic, programming, and type systems(6), Parallel Computing and Optimization Techniques(3), Distributed and Parallel Computing Systems(3), Formal Methods in Verification(2)
Publications15 total
HAL (Le Centre pour la Communication Scientifique Directe)·2012· 1 citedOpen Access
Formal Aspects of Computing·2008· 2 citedOpen Access
Formal Aspects of Computing·2008· 24 citedOpen Access
ETH Zürich Research Collection·2007· 66 citedOpen Access
The Journal of Object Technology·2006Open Access
Flexible locking in SCOOP
2006· 3 cited
Lecture notes in computer science·2006· 14 cited
Repository for Publications and Research Data (ETH Zurich)·2006· 2 citedOpen Access
The Journal of Object Technology·2004Open Access
ACM SIGPLAN Notices·2003
IEE Proceedings - Software·2003· 14 cited
Lecture notes in computer science·2003· 6 cited
Frequent Co-authors
Bertrand Meyer(2), Volkan Arslan(2), Václav Skala(2), Jonathan S. Ostroff(1), Patrick Eugster(1), Sebastien Vaucouleur(1), Volkan Arslan(1), Karine Arnout(1), Michael Gatto(1), Eric Conquet(1), Francois-Xavier Dormoy(1), Iulia Dragomir(1), Susanne Graf(1), David Lesens(1), Iulian Ober(1)