Bernardo Toninho

Cited by

	All	Since 2019
Citations	1582	1024
h-index	20	18
i10-index	24	21

220

110

165

2011201220132014201520162017201820192020202120222023202417 57 35 79 63 105 80 98 136 124 189 220 172 179

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
Julien LangeDepartment of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
Nicholas NgMonzoVerified email at monzo.com
Robert J. SimmonsCarnegie Mellon University (formerly)Verified email at cs.cmu.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Raymond HuQueen Mary University of LondonVerified email at qmul.ac.uk
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Ilaria CastellaniResearcher in Theoretical Computer Science, INRIA, FranceVerified email at inria.fr
Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaVerified email at fct.unl.pt
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu

Bernardo Toninho

Universidade Nova de Lisboa

Verified email at fct.unl.pt - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Linear logic propositions as session types L Caires, F Pfenning, B Toninho Mathematical Structures in Computer Science 26 (3), 367-423, 2016	188	2016
Higher-order processes, functions, and sessions: A monadic integration B Toninho, L Caires, F Pfenning Programming Languages and Systems: 22nd European Symposium on Programming …, 2013	162	2013
Dependent session types via intuitionistic linear type theory B Toninho, L Caires, F Pfenning Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011	135	2011
Behavioral polymorphism and parametricity in session-based communication L Caires, JA Pérez, F Pfenning, B Toninho Programming Languages and Systems: 22nd European Symposium on Programming …, 2013	94	2013
A static verification framework for message passing in Go using behavioural types NY Julien Lange, Nicholas Ng, Bernardo Toninho International Conference on Software Engineering, 1137-1148, 2018	87	2018
A Static Verification Framework for Message Passing in Go using Behavioural Types J Lange, N Ng, B Toninho, N Yoshida	87*
Fencing off go: liveness and safety for channel-based programming J Lange, N Ng, B Toninho, N Yoshida Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017	78	2017
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. H DeYoung, L Caires, F Pfenning, B Toninho CSL 16, 228-242, 2012	76	2012
Linear logical relations for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho Programming Languages and Systems: 21st European Symposium on Programming …, 2012	74	2012
Linear logical relations and observational equivalences for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho Information and Computation 239, 254-302, 2014	69	2014
Manifest deadlock-freedom for shared session types S Balzer, B Toninho, F Pfenning European Symposium on Programming, 611-639, 2019	67	2019
Functions as session-typed processes B Toninho, L Caires, F Pfenning Foundations of Software Science and Computational Structures: 15th …, 2012	63	2012
Corecursion and non-divergence in session-typed processes B Toninho, L Caires, F Pfenning Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014	54	2014
Proof-carrying code in a session-typed process calculus F Pfenning, L Caires, B Toninho Certified Programs and Proofs: First International Conference, CPP 2011 …, 2011	49	2011
Towards concurrent type theory L Caires, F Pfenning, B Toninho Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012	46	2012
Depending on session-typed processes B Toninho, N Yoshida Foundations of Software Science and Computation Structures: 21st …, 2018	39	2018
On polymorphic sessions and functions: a tale of two (fully abstract) encodings B Toninho, N Yoshida ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (2), 1-55, 2021	38	2021
A Logical Foundation for Session-based Concurrent Computation B Toninho Ph. D. thesis, Carnegie Mellon University and New University of Lisbon, 2015	38	2015
Certifying Data in Multiparty Session Types B Toninho, N Yoshida A List of Successes That Can Change the World, 433-458, 2016	34	2016
Ferrite: A judgmental embedding of session types in Rust RF Chen, S Balzer, B Toninho arXiv preprint arXiv:2205.06921, 2022	26	2022

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors