A Spatial-Epistemic Logic for Reasoning about Security Protocols - Bernardo Toninho; Luís Caires (SecCo, 2010)

Proof-Carrying Code in a Session-Typed Process Calculus. - Frank Pfenning; Luís Caires; Bernardo Toninho (CPP, 2011)

Dependent session types via intuitionistic linear type theory. - Bernardo Toninho; Luís Caires; Frank Pfenning (PPDP, 2011)

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. - Henry DeYoung; Luís Caires; Frank Pfenning; Bernardo Toninho (CSL, 2012)

Linear Logical Relations for Session-Based Concurrency. - Jorge A. Pérez 001; Luís Caires; Frank Pfenning; Bernardo Toninho (ESOP, 2012)

Functions as Session-Typed Processes. - Bernardo Toninho; Luís Caires; Frank Pfenning (FoSSaCS, 2012)

Towards concurrent type theory. - Luís Caires; Frank Pfenning; Bernardo Toninho (TLDI, 2012)

Constructive Provability Logic - Robert J. Simmons; Bernardo Toninho (CoRR, 2012)

Behavioral Polymorphism and Parametricity in Session-Based Communication. - Luís Caires; Jorge A. Pérez 001; Frank Pfenning; Bernardo Toninho (ESOP, 2013)

Higher-Order Processes, Functions, and Sessions: A Monadic Integration. - Bernardo Toninho; Luís Caires; Frank Pfenning (ESOP, 2013)

Corecursion and Non-divergence in Session-Typed Processes. - Bernardo Toninho; Luís Caires; Frank Pfenning (TGC, 2014)

Linear logical relations and observational equivalences for session-based concurrency. - Jorge A. Pérez 001; Luís Caires; Frank Pfenning; Bernardo Toninho (Inf. Comput., 2014)

Combining behavioural types with security analysis. - Massimo Bartoletti; Ilaria Castellani; Pierre-Malo Deniélou; Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Jorge A. Pérez 001; Peter Thiemann 001; Bernardo Toninho; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2015)

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (CoRR, 2016)

Linear logic propositions as session types. - Luís Caires; Frank Pfenning; Bernardo Toninho (Math. Struct. Comput. Sci., 2016)

Fencing off go: liveness and safety for channel-based programming. - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (POPL, 2017)

Certifying data in multiparty session types. - Bernardo Toninho; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2017)

Report on POPL 2017. - Bernardo Toninho (ACM SIGLOG News, 2017)

A Universal Session Type for Untyped Asynchronous Communication. - Stephanie Balzer; Frank Pfenning; Bernardo Toninho (CONCUR, 2018)

Depending on Session-Typed Processes. - Bernardo Toninho; Nobuko Yoshida (FoSSaCS, 2018)

A static verification framework for message passing in Go using behavioural types. - Julien Lange; Nicholas Ng; Bernardo Toninho; Nobuko Yoshida (ICSE, 2018)

Interconnectability of Session-Based Logical Processes. - Bernardo Toninho; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2018)

Polymorphic Session Processes as Morphisms. - Bernardo Toninho; Nobuko Yoshida (The Art of Modelling Computational Systems, 2019)

Domain-Aware Session Types. - Luís Caires; Jorge A. Pérez 001; Frank Pfenning; Bernardo Toninho (CONCUR, 2019)

Manifest Deadlock-Freedom for Shared Session Types. - Stephanie Balzer; Bernardo Toninho; Frank Pfenning (ESOP, 2019)

Domain-Aware Session Types (Extended Version). - Luís Caires; Jorge A. Pérez 001; Frank Pfenning; Bernardo Toninho (CoRR, 2019)

Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version). - Luís Caires; Bernardo Toninho (CoRR, 2019)

Refinement kinds: type-safe programming with practical type-level computation. - Luís Caires; Bernardo Toninho (Proc. ACM Program. Lang., 2019)

Featherweight go. - Robert Griesemer; Raymond Hu; Wen Kokke; Julien Lange; Ian Lance Taylor; Bernardo Toninho; Philip Wadler; Nobuko Yoshida (Proc. ACM Program. Lang., 2020)

A Decade of Dependent Session Types. - Bernardo Toninho; Luís Caires; Frank Pfenning (PPDP, 2021)

On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. - Bernardo Toninho; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2021)

Ferrite: A Judgmental Embedding of Session Types in Rust. - Ruofei Chen; Stephanie Balzer; Bernardo Toninho (ECOOP, 2022)

Derivations with Holes for Concept-Based Program Synthesis. - João Costa Seco; Jonathan Aldrich; Luís Carvalho; Bernardo Toninho; Carla Ferreira 001 (Onward!, 2022)

Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact). - Ruofei Chen; Stephanie Balzer; Bernardo Toninho (Dagstuhl Artifacts Ser., 2022)

Intuitionistic Metric Temporal Logic. - Luiz De Sá; Bernardo Toninho; Frank Pfenning (PPDP, 2023)

The Session Abstract Machine. - Luís Caires; Bernardo Toninho (ESOP (1), 2024)

The Session Abstract Machine (Extended Version). - Luís Caires; Bernardo Toninho (CoRR, 2024)