| 2009 |
|---|
| 62 | EE | Dimitris Mostrous,
Nobuko Yoshida,
Kohei Honda:
Global Principal Typing in Partially Commutative Asynchronous Sessions.
ESOP 2009: 316-332 |
| 61 | EE | Mariangiola Dezani-Ciancaglini,
Sophia Drossopoulou,
Dimitris Mostrous,
Nobuko Yoshida:
Objects and session types.
Inf. Comput. 207(5): 595-641 (2009) |
| 2008 |
|---|
| 60 | EE | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
Structured Interactional Exceptions in Session Types.
CONCUR 2008: 402-417 |
| 59 | EE | Lorenzo Bettini,
Mario Coppo,
Loris D'Antoni,
Marco De Luca,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida:
Global Progress in Dynamically Interleaved Multiparty Sessions.
CONCUR 2008: 418-433 |
| 58 | EE | Raymond Hu,
Nobuko Yoshida,
Kohei Honda:
Session-Based Distributed Programming in Java.
ECOOP 2008: 516-541 |
| 57 | EE | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.
ICALP (2) 2008: 99-111 |
| 56 | EE | Kohei Honda,
Nobuko Yoshida,
Marco Carbone:
Multiparty asynchronous session types.
POPL 2008: 273-284 |
| 55 | EE | Nobuko Yoshida,
Kohei Honda,
Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State
CoRR abs/0806.2448: (2008) |
| 54 | EE | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
Theoretical Aspects of Communication-Centred Programming.
Electr. Notes Theor. Comput. Sci. 209: 125-133 (2008) |
| 2007 |
|---|
| 53 | EE | Martin Berger,
Nobuko Yoshida:
Timed, Distributed, Probabilistic, Typed Processes.
APLAS 2007: 158-174 |
| 52 | EE | Silvia Crafa,
Daniele Varacca,
Nobuko Yoshida:
Compositional Event Structure Semantics for the Internal pi -Calculus.
CONCUR 2007: 317-332 |
| 51 | EE | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
Structured Communication-Centred Programming for Web Services.
ESOP 2007: 2-17 |
| 50 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida:
Asynchronous Session Types and Progress for Object Oriented Languages.
FMOODS 2007: 1-31 |
| 49 | EE | Nobuko Yoshida,
Kohei Honda,
Martin Berger:
Logical Reasoning for Higher-Order Functions with Local State.
FoSSaCS 2007: 361-377 |
| 48 | EE | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Nobuko Yoshida:
On Progress for Structured Communications.
TGC 2007: 257-275 |
| 47 | EE | Dimitris Mostrous,
Nobuko Yoshida:
Two Session Typing Systems for Higher-Order Mobile Processes.
TLCA 2007: 321-335 |
| 46 | EE | Kohei Honda,
Nobuko Yoshida:
A uniform type structure for secure information flow.
ACM Trans. Program. Lang. Syst. 29(6): (2007) |
| 45 | EE | Marco Carbone,
Kohei Honda,
Nobuko Yoshida:
A Calculus of Global Interaction based on Session Types.
Electr. Notes Theor. Comput. Sci. 171(3): 127-151 (2007) |
| 44 | EE | Nobuko Yoshida,
Vasco Thudichum Vasconcelos:
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
Electr. Notes Theor. Comput. Sci. 171(4): 73-93 (2007) |
| 43 | EE | Daniele Varacca,
Nobuko Yoshida:
Probabilistic pi-Calculus and Event Structures.
Electr. Notes Theor. Comput. Sci. 190(3): 147-166 (2007) |
| 42 | EE | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
A logical analysis of aliasing in imperative higher-order functions.
J. Funct. Program. 17(4-5): 473-546 (2007) |
| 41 | EE | Nobuko Yoshida,
Kohei Honda,
Martin Berger:
Linearity and bisimulation.
J. Log. Algebr. Program. 72(2): 207-238 (2007) |
| 40 | EE | Alexander Ahern,
Nobuko Yoshida:
Formalising Java RMI with explicit code mobility.
Theor. Comput. Sci. 389(3): 341-410 (2007) |
| 2006 |
|---|
| 39 | EE | Mariangiola Dezani-Ciancaglini,
Dimitris Mostrous,
Nobuko Yoshida,
Sophia Drossopoulou:
Session Types for Object-Oriented Languages.
ECOOP 2006: 328-352 |
| 38 | EE | Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Sophia Drossopoulou,
Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages.
FMCO 2006: 207-245 |
| 37 | EE | Kohei Honda,
Martin Berger,
Nobuko Yoshida:
Descriptive and Relative Completeness of Logics for Higher-Order Functions.
ICALP (2) 2006: 360-371 |
| 36 | EE | Daniele Varacca,
Nobuko Yoshida:
Typed Event Structures and the pi-Calculus: Extended Abstract.
Electr. Notes Theor. Comput. Sci. 158: 373-397 (2006) |
| 35 | EE | Nobuko Yoshida:
Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness.
Electr. Notes Theor. Comput. Sci. 162: 333-340 (2006) |
| 34 | EE | Philippa Gardner,
Nobuko Yoshida:
Editorial.
Theor. Comput. Sci. 358(2-3): 149 (2006) |
| 2005 |
|---|
| 33 | EE | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
A logical analysis of aliasing in imperative higher-order functions.
ICFP 2005: 280-293 |
| 32 | EE | Kohei Honda,
Nobuko Yoshida,
Martin Berger:
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.
LICS 2005: 270-279 |
| 31 | EE | Alexander Ahern,
Nobuko Yoshida:
Formalising Java RMI with explicit code mobility.
OOPSLA 2005: 403-422 |
| 30 | EE | Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
Alexander Ahern,
Sophia Drossopoulou:
A Distributed Object-Oriented Language with Session Types.
TGC 2005: 299-318 |
| 29 | EE | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
Genericity and the pi-calculus.
Acta Inf. 42(2-3): 83-141 (2005) |
| 28 | EE | Matthew Hennessy,
Julian Rathke,
Nobuko Yoshida:
safeDpi: a language for controlling mobile code.
Acta Inf. 42(4-5): 227-290 (2005) |
| 27 | EE | Kohei Honda,
Nobuko Yoshida:
Noninterference through flow analysis.
J. Funct. Program. 15(2): 293-349 (2005) |
| 2004 |
|---|
| 26 | | Philippa Gardner,
Nobuko Yoshida:
CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
Springer 2004 |
| 25 | EE | Andrew Phillips,
Nobuko Yoshida,
Susan Eisenbach:
A Distributed Abstract Machine for Boxed Ambient Calculi.
ESOP 2004: 155-170 |
| 24 | EE | Matthew Hennessy,
Julian Rathke,
Nobuko Yoshida:
safeDpi: A Language for Controlling Mobile Code.
FoSSaCS 2004: 241-256 |
| 23 | EE | Nobuko Yoshida:
Channel dependent types for higher-order mobile processes.
POPL 2004: 147-160 |
| 22 | EE | Kohei Honda,
Nobuko Yoshida:
A compositional logic for polymorphic higher-order functions.
PPDP 2004: 191-202 |
| 21 | EE | Nobuko Yoshida,
Martin Berger,
Kohei Honda:
Strong normalisation in the pi -calculus.
Inf. Comput. 191(2): 145-202 (2004) |
| 2003 |
|---|
| 20 | EE | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
Genericity and the pi-Calculus.
FoSSaCS 2003: 103-119 |
| 2002 |
|---|
| 19 | EE | Nobuko Yoshida,
Kohei Honda,
Martin Berger:
Linearity and Bisimulation.
FoSSaCS 2002: 417-434 |
| 18 | EE | Kohei Honda,
Nobuko Yoshida:
A uniform type structure for secure information flow.
POPL 2002: 81-92 |
| 17 | EE | José-Luis Vivas,
Nobuko Yoshida:
Dynamic Channel Screening in the Higher Order pi-Calculus.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 16 | EE | Nobuko Yoshida,
Matthew Hennessy:
Assigning Types to Processes.
Inf. Comput. 174(2): 143-179 (2002) |
| 15 | EE | Nobuko Yoshida:
Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators.
Theor. Comput. Sci. 274(1-2): 231-276 (2002) |
| 2001 |
|---|
| 14 | | Nobuko Yoshida,
Martin Berger,
Kohei Honda:
Strong Normalisation in the pi-Calculus.
LICS 2001: 311-322 |
| 13 | EE | Martin Berger,
Kohei Honda,
Nobuko Yoshida:
Sequentiality and the pi-Calculus.
TLCA 2001: 29-45 |
| 2000 |
|---|
| 12 | EE | Kohei Honda,
Vasco Thudichum Vasconcelos,
Nobuko Yoshida:
Secure Information Flow as Typed Process Behaviour.
ESOP 2000: 180-199 |
| 11 | EE | Nobuko Yoshida,
Matthew Hennessy:
Assigning Types to Processes.
LICS 2000: 334-345 |
| 1999 |
|---|
| 10 | EE | Nobuko Yoshida,
Matthew Hennessy:
Suptyping and Locality in Distributed Higher Order Processes (extended abstract).
CONCUR 1999: 557-572 |
| 9 | EE | Kohei Honda,
Nobuko Yoshida:
Game-Theoretic Analysis of Call-by-Value Computation.
Theor. Comput. Sci. 221(1-2): 393-456 (1999) |
| 1998 |
|---|
| 8 | EE | Nobuko Yoshida:
Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract).
CONCUR 1998: 131-146 |
| 1997 |
|---|
| 7 | | Kohei Honda,
Nobuko Yoshida:
Game Theoretic Analysis of Call-by-Value Computation.
ICALP 1997: 225-236 |
| 1996 |
|---|
| 6 | | Nobuko Yoshida:
Graph Types for Monadic Mobile Processes.
FSTTCS 1996: 371-386 |
| 1995 |
|---|
| 5 | EE | Kohei Honda,
Nobuko Yoshida:
On Reduction-Based Process Semantics.
Theor. Comput. Sci. 151(2): 437-486 (1995) |
| 1994 |
|---|
| 4 | | Kohei Honda,
Nobuko Yoshida:
Combinatory Representation of Mobile Processes.
POPL 1994: 348-360 |
| 3 | | Kohei Honda,
Nobuko Yoshida:
Replication in Concurrent Combinators.
TACS 1994: 786-805 |
| 2 | | Nobuko Yoshida:
Graph Notation for Concurrent Combinators.
Theory and Practice of Parallel Programming 1994: 393-412 |
| 1993 |
|---|
| 1 | | Kohei Honda,
Nobuko Yoshida:
On Reduction-Based Semantics.
FSTTCS 1993: 373-387 |
