• 1027 Citations
  • 19 h-Index
19942019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Luís Manuel Marques da Costa Caires is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles
Concurrency Mathematics
Logic Mathematics
Chemical analysis Engineering & Materials Science
Type Systems Mathematics
Calculus Mathematics
Network protocols Engineering & Materials Science
Distributed Systems Mathematics
Quantifiers Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output at NOVA 1994 2019

Domain-aware session types

Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B., 1 Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Message passing
Semantics

Preface

Baier, C. & Caires, L., 1 Jan 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Baier, C. & Caires, L. (eds.). Springer International Publishing, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10854 LNCS).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

6 Citations (Scopus)

Linearity, control effects, and behavioral types

Caires, L. & Pérez, J. A., 2017, 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Yang, H. (ed.). Berlin, Heidelberg: Springer Verlag, p. 229-259 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10201 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Nondeterminism
Linearity
Type Systems
Computer programming languages
Exception
2 Citations (Scopus)

Composing interfering abstract: Protocols

Militão, F., Aldrich, J. & Caires, L., 1 Jul 2016, 30th European Conference on Object-Oriented Programming, ECOOP 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 56. p. 161-1626 1466 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Network protocols
Computability and decidability
Message passing
Chemical analysis
Data storage equipment
68 Citations (Scopus)

Foundations of session types and behavioural contracts

Hüttel, H., Lanese, I., Vasconcelos, V. T., Caires, L., Carbone, M., Deniélou, P. M., Mostrous, D., Padovani, L., Ravara, A. M. L. C. A., Tuosto, E., Vieira, H. T. & Zavattaro, G., 1 Apr 2016, In : ACM Computing Surveys. 49, 1, 2873052.

Research output: Contribution to journalArticle

Distributed Computation
Software Components
Communication Protocol
Type Systems
Interfaces (computer)

Activities 2010 2010

  • 1 Editorial activity

Information and Computation (Journal)

Luís Manuel Marques da Costa Caires (Editor)
1 Jan 2010

Activity: Publication peer-review and editorial workEditorial activity