ask others

Bernardo Toninho

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/ToninhoY18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/ToninhoY18
Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings. ESOP 2018: 827-855
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/ToninhoY18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/ToninhoY18
Bernardo Toninho, Nobuko Yoshida:
Depending on Session-Typed Processes. FoSSaCS 2018: 128-145
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1801-08114
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1801-08114
Bernardo Toninho, Nobuko Yoshida:
Depending on Session-Typed Processes. CoRR abs/1801.08114 (2018)
2017
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/ToninhoY17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/ToninhoY17
Bernardo Toninho, Nobuko Yoshida:
Certifying data in multiparty session types. J. Log. Algebr. Meth. Program. 90: 61-83 (2017)
[j4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/siglog/Toninho17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/siglog/Toninho17
Bernardo Toninho:
Report on POPL 2017. SIGLOG News 4(2): 91-93 (2017)
[c12]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/LangeNTY17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/LangeNTY17
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida:
Fencing off go: liveness and safety for channel-based programming. POPL 2017: 748-761
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1711-00878
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1711-00878
Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. CoRR abs/1711.00878 (2017)
2016
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/CairesPT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/CairesPT16
Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear logic propositions as session types. Mathematical Structures in Computer Science 26(3): 367-423 (2016)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/ToninhoY16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/ToninhoY16
Bernardo Toninho, Nobuko Yoshida:
Certifying Data in Multiparty Session Types. A List of Successes That Can Change the World 2016: 433-458
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LangeNTY16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LangeNTY16
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida:
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). CoRR abs/1610.08843 (2016)
2015
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/BartolettiCDDGP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/BartolettiCDDGP15
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. J. Log. Algebr. Meth. Program. 84(6): 763-780 (2015)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BartolettiCDDGP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BartolettiCDDGP15
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015)
2014
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/PerezCPT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/PerezCPT14
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. 239: 254-302 (2014)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/ToninhoCP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/ToninhoCP14
Bernardo Toninho, Luís Caires, Frank Pfenning:
Corecursion and Non-divergence in Session-Typed Processes. TGC 2014: 159-175
2013
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/CairesPPT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/CairesPPT13
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP 2013: 330-349
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/ToninhoCP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/ToninhoCP13
Bernardo Toninho, Luís Caires, Frank Pfenning:
Higher-Order Processes, Functions, and Sessions: A Monadic Integration. ESOP 2013: 350-369
2012
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/DeYoungCPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/DeYoungCPT12
Henry DeYoung, Luís Caires, Frank Pfenning, Bernardo Toninho:
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. CSL 2012: 228-242
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/PerezCPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/PerezCPT12
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear Logical Relations for Session-Based Concurrency. ESOP 2012: 539-558
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/ToninhoCP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/ToninhoCP12
Bernardo Toninho, Luís Caires, Frank Pfenning:
Functions as Session-Typed Processes. FoSSaCS 2012: 346-360
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/tldi/CairesPT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tldi/CairesPT12
Luís Caires, Frank Pfenning, Bernardo Toninho:
Towards concurrent type theory. TLDI 2012: 1-12
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1205-6402
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1205-6402
Robert J. Simmons, Bernardo Toninho:
Constructive Provability Logic. CoRR abs/1205.6402 (2012)
2011
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cpp/PfenningCT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpp/PfenningCT11
Frank Pfenning, Luís Caires, Bernardo Toninho:
Proof-Carrying Code in a Session-Typed Process Calculus. CPP 2011: 21-36
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ppdp/ToninhoCP11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppdp/ToninhoCP11
Bernardo Toninho, Luís Caires, Frank Pfenning:
Dependent session types via intuitionistic linear type theory. PPDP 2011: 161-172
2010
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1102-5584
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1102-5584
Bernardo Toninho, Luís Caires:
A Spatial-Epistemic Logic for Reasoning about Security Protocols. SecCo 2010: 1-15

maintained by

at