Bernardo Parente Coutinho Fernandes Toninho

  • 237 Citations
  • 10 h-Index
20102019
If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Computer Science, Doctorate, Carnegie Mellon University

Computer Science, Doctorate, Faculdade de Ciências e Tecnologia (FCT)

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.

  • 3 Similar Profiles
Communication Engineering & Materials Science
Linear Logic Mathematics
Calculus Mathematics
Message passing Engineering & Materials Science
Concurrent Mathematics
Concurrency Mathematics
Type Systems Mathematics
Strong Normalization Mathematics

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

Research Output at NOVA 2010 2019

  • 237 Citations
  • 10 h-Index
  • 12 Conference contribution
  • 5 Article
  • 1 Review article
2 Citations (Scopus)

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 contribution

Open Access
Deadlock
Data structures
Synchronization
Communication
Type Systems
2 Citations (Scopus)

A universal session type for untyped asynchronous communication

Balzer, S., Pfenning, F. & Toninho, B., 1 Aug 2018, 29th International Conference on Concurrency Theory, CONCUR 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 118. 30

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

Open Access
File
Semantics
Communication
3 Citations (Scopus)

Depending on session-typed processes

Toninho, B. & Yoshida, N., 1 Jan 2018, Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Baier, C. & Dal Lago, U. (eds.). Springer Verlag, p. 128-145 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10803 LNCS).

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

Open Access
File
Calculus
Monads
Dependent
Type Theory
Communication

Interconnectability of session-based logical processes

Toninho, B. & Yoshida, N., 1 Dec 2018, In : ACM Transactions on Programming Languages and Systems. 40, 4, 17.

Research output: Contribution to journalArticle

Open Access
File
Chemical analysis
Communication
5 Citations (Scopus)

Certifying data in multiparty session types

Toninho, B. & Yoshida, N., Aug 2017, In : Journal of Logical and Algebraic Methods in Programming. 90, p. 61-83 23 p.

Research output: Contribution to journalArticle

Open Access
Communication
Dependent Data
Invariant
Expressiveness
Concurrency