No photo of Bernardo Parente Coutinho Fernandes Toninho

Bernardo Parente Coutinho Fernandes Toninho

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20102020

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Computer Science, Doctorate, Carnegie Mellon University

Award Date: 29 Apr 2015

Computer Science, Doctorate, Universidade NOVA de Lisboa

Award Date: 29 Apr 2015

External positions

Research Associate, Imperial College London

22 Jun 201516 Feb 2018

Fingerprint

Dive into the research topics where Bernardo Parente Coutinho Fernandes Toninho is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Featherweight go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 149.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • 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 contributionpeer-review

  • Manifest Deadlock-Freedom for Shared Session Types

    Balzer, S., Toninho, B. & Pfenning, F., 9 Apr 2019, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Caires, L. (ed.). Cham: Springer Verlag, p. 611-639 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    11 Citations (Scopus)
  • Polymorphic Session Processes as Morphisms

    Toninho, B. & Yoshida, N., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 101-117 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    1 Citation (Scopus)
  • Refinement kinds: type-safe programming with practical type-level computation

    Caires, L. M. M. D. C. & Toninho, B. P. C. F., 10 Oct 2019, In: Proceedings of the ACM on Programming Languages. 3, OOPSLA, 30 p., 131.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    12 Downloads (Pure)
Your message has successfully been sent.
Your message was not sent due to an error.