• Welcome
    • About Me
    • Curriculum Vitae
    • Publications
    • Scientific Activities
    • Other Activities
    • Schedule
  • Research
    • Book Erratum
    • Pairwise Comparisons
    • Formal Methods and Robotics
    • Concurrency
    • Others
    • OPUS Project
  • Research Libraries
    • Pairwise Comparisons Package
  • Teaching
    • Courses
    • BSc, MSc and PhD opportunities
    • Misc
  • Varia
    • URLs, Books recommendations
  • After hours
    • Photo Gallery
    • Private area