Luís Caires

No bio available. Add one in Open Library.

Books by Luís Caires (50 max)

+ shelf+ list

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and ...

2019

Luís Caires

+ shelf+ list

Automata, Languages and Programming: 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings (Lecture Notes in Computer Science)

2005

Luís Caires, Catuscia Palamidessi, Moti Yung

+ shelf+ list

CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings

2007

Luís Caires, Vasco T. Vasconcelos

+ shelf+ list

Formal Techniques for Distributed Objects, Components, and Systems

2018

Christel Baier, Luís Caires