Bernardo Toninho

Cited by

	All	Since 2018
Citations	1429	968
h-index	19	18
i10-index	23	22

240

120

180

201120122013201420152016201720182019202020212022202317 54 35 81 66 108 85 104 147 117 190 240 165

Public access

View all

16 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 IOHKVerified 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	171	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	154	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	122	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	88	2013
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	73	2017
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	73	2012
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	71	2018
A Static Verification Framework for Message Passing in Go using Behavioural Types J Lange, N Ng, B Toninho, N Yoshida	71*
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. H DeYoung, L Caires, F Pfenning, B Toninho CSL 16, 228-242, 2012	66	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	62	2014
Functions as session-typed processes B Toninho, L Caires, F Pfenning Foundations of Software Science and Computational Structures: 15th …, 2012	59	2012
Manifest deadlock-freedom for shared session types S Balzer, B Toninho, F Pfenning European Symposium on Programming, 611-639, 2019	57	2019
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	51	2011
Corecursion and non-divergence in session-typed processes B Toninho, L Caires, F Pfenning Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014	48	2014
Towards concurrent type theory L Caires, F Pfenning, B Toninho Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012	44	2012
A Logical Foundation for Session-based Concurrent Computation B Toninho Ph. D. thesis, Carnegie Mellon University and New University of Lisbon, 2015	40	2015
Depending on session-typed processes B Toninho, N Yoshida Foundations of Software Science and Computation Structures: 21st …, 2018	33	2018
Certifying Data in Multiparty Session Types B Toninho, N Yoshida A List of Successes That Can Change the World, 433-458, 2016	29	2016
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	28	2021
Featherweight go R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ... Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020	22	2020

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