|
|
- Programa de doctorado en Computación (2002-2004)
- Verificación de Software. Ferramentas e técnicas formais. Rendementos
- Patróns de deseño en sistemas distribuidos
- Discusión dos patróns de deseño na orientación a obxectos, e a
súa aplicación noutras etapas do modelado
- Modelos e técnicas avanzadas de recuperación de información
- Lóxica para verificación de software
- Historia da criptografía
|
|
|
|
- Bertinoro International Spring School for Graduate Studies in
Computer Science (2004)
- Middleware for Distributed Computing: Objects, Components and Web Services
- A Semantic Theory of
Distributed Mobile Computation
- Models and algorithms for
complex information networks
- Intelligent agents:
modeling and reasoning techniques
- 32nd Spring School in Theoretical Computer Science (2004)
- Timed models for concurrent systems
- Synchronous and asynchronous systems
- Reachability in Petri nets
- Unfoldings: a true concurrency approach to model checking
- Specifications for distributed systems
- Synchronous programming: principles, languages, implementation
- Introduction to models for concurrency
- Scenarios and verification
- Distributed synthesis via games
|
|
|
