• 1082 Citations
  • 19 h-Index
19942019

Research output per year

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.

  • 4 Similar Profiles

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

Research Output at NOVA

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

  • 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

    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

  • 6 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

  • 2 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

  • 93 Citations (Scopus)

    Activities

    • 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