Nobuko Yoshida

	2012
89		Pierre-Malo Deniélou, Nobuko Yoshida: Multiparty Session Types Meet Communicating Automata. ESOP 2012: 194-213
88		Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS 2012: 225-239
	2011
87		Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis: Safe Parallel Programming with Session Java. COORDINATION 2011: 110-126
86		Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda: On Asynchronous Session Semantics. FMOODS/FORTE 2011: 228-243
85		Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida: Scribbling Interactions with a Formal Foundation. ICDCIT 2011: 55-75
84		Pierre-Malo Deniélou, Nobuko Yoshida: Dynamic multirole session types. POPL 2011: 435-446
83		Kohei Honda, Nobuko Yoshida: A Unified Theory of Program Logics: An Approach based on the π-Calculus. Comput. J. 54(1): 88-107 (2011)
	2010
82		Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida: A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010: 162-176
81		Pierre-Malo Deniélou, Nobuko Yoshida: Buffered Communication Analysis in Distributed Multiparty Sessions. CONCUR 2010: 343-357
80		Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda: Type-Safe Eventful Sessions in Java. ECOOP 2010: 329-353
79		Lasse Nielsen, Nobuko Yoshida, Kohei Honda: Multiparty Symmetric Sum Types EXPRESS'10 2010: 121-135
78		Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu: Parameterised Multiparty Session Types. FOSSACS 2010: 128-145
77		Sara Capecchi, Elena Giachino, Nobuko Yoshida: Global Escape in Multiparty Sessions. FSTTCS 2010: 338-351
76		Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou: Secure Execution of Distributed Session Programs PLACES 2010: 1-11
75		Daniele Varacca, Nobuko Yoshida: Typed event structures and the linear pi-calculus. Theor. Comput. Sci. 411(19): 1949-1973 (2010)
	2009
74		Dimitris Mostrous, Nobuko Yoshida, Kohei Honda: Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP 2009: 316-332
73		Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida: On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009: 558-570
72		Andi Bejleri, Raymond Hu, Nobuko Yoshida: Session-Based Programming for Parallel Algorithms: Expressiveness and Performance PLACES 2009: 17-29
71		Marco Carbone, Nobuko Yoshida, Kohei Honda: Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009: 187-212
70		Dimitris Mostrous, Nobuko Yoshida: Session-Based Communication Optimisation for Higher-Order Mobile Processes. TLCA 2009: 203-218
69		Vasco Thudichum Vasconcelos, Nobuko Yoshida: Preface. Electr. Notes Theor. Comput. Sci. 241: 1-2 (2009)
68		Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Type-Directed Compilation for Multicore Programming. Electr. Notes Theor. Comput. Sci. 241: 101-111 (2009)
67		Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida: A Symbolic Semantics for a Calculus for Service-Oriented Computing. Electr. Notes Theor. Comput. Sci. 241: 135-164 (2009)
66		Andi Bejleri, Nobuko Yoshida: Synchronous Multiparty Session Types. Electr. Notes Theor. Comput. Sci. 241: 3-33 (2009)
65		Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida: Objects and session types. Inf. Comput. 207(5): 595-641 (2009)
	2008
64		Kohei Honda, Nobuko Yoshida: A Unified Theory of Program Logics: An Approach based on the n-Calculus. BCS Int. Acad. Conf. 2008: 259-274
63		Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Interactional Exceptions in Session Types. CONCUR 2008: 402-417
62		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
61		Raymond Hu, Nobuko Yoshida, Kohei Honda: Session-Based Distributed Programming in Java. ECOOP 2008: 516-541
60		Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda: Session-Based Compilation Framework for Multicore Programming. FMCO 2008: 226-246
59		Martin Berger, Kohei Honda, Nobuko Yoshida: Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008: 99-111
58		Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty asynchronous session types. POPL 2008: 273-284
57		Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State CoRR abs/0806.2448: (2008)
56		Marco Carbone, Kohei Honda, Nobuko Yoshida: Theoretical Aspects of Communication-Centred Programming. Electr. Notes Theor. Comput. Sci. 209: 125-133 (2008)
55		Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science 4(4): (2008)
	2007
54		Martin Berger, Nobuko Yoshida: Timed, Distributed, Probabilistic, Typed Processes. APLAS 2007: 158-174
53		Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332
52		Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17
51		Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS 2007: 1-31
50		Nobuko Yoshida, Kohei Honda, Martin Berger: Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS 2007: 361-377
49		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida: On Progress for Structured Communications. TGC 2007: 257-275
48		Dimitris Mostrous, Nobuko Yoshida: Two Session Typing Systems for Higher-Order Mobile Processes. TLCA 2007: 321-335
47		Kohei Honda, Nobuko Yoshida: A uniform type structure for secure information flow. ACM Trans. Program. Lang. Syst. 29(6): (2007)
46		Kohei Honda, Nobuko Yoshida, Marco Carbone: Web Services, Mobile Processes and Types. Bulletin of the EATCS 91: 160-185 (2007)
45		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		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		Daniele Varacca, Nobuko Yoshida: Probabilistic pi-Calculus and Event Structures. Electr. Notes Theor. Comput. Sci. 190(3): 147-166 (2007)
42		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		Nobuko Yoshida, Kohei Honda, Martin Berger: Linearity and bisimulation. J. Log. Algebr. Program. 72(2): 207-238 (2007)
40		Alexander Ahern, Nobuko Yoshida: Formalising Java RMI with explicit code mobility. Theor. Comput. Sci. 389(3): 341-410 (2007)
	2006
39		Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou: Session Types for Object-Oriented Languages. ECOOP 2006: 328-352
38		Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida: Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245
37		Kohei Honda, Martin Berger, Nobuko Yoshida: Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) 2006: 360-371
36		Daniele Varacca, Nobuko Yoshida: Typed Event Structures and the pi-Calculus: Extended Abstract. Electr. Notes Theor. Comput. Sci. 158: 373-397 (2006)
35		Nobuko Yoshida: Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness. Electr. Notes Theor. Comput. Sci. 162: 333-340 (2006)
34		Philippa Gardner, Nobuko Yoshida: Editorial. Theor. Comput. Sci. 358(2-3): 149 (2006)
	2005
33		Martin Berger, Kohei Honda, Nobuko Yoshida: A logical analysis of aliasing in imperative higher-order functions. ICFP 2005: 280-293
32		Kohei Honda, Nobuko Yoshida, Martin Berger: An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS 2005: 270-279
31		Alexander Ahern, Nobuko Yoshida: Formalising Java RMI with explicit code mobility. OOPSLA 2005: 403-422
30		Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou: A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318
29		Martin Berger, Kohei Honda, Nobuko Yoshida: Genericity and the pi-calculus. Acta Inf. 42(2-3): 83-141 (2005)
28		Matthew Hennessy, Julian Rathke, Nobuko Yoshida: safeDpi: a language for controlling mobile code. Acta Inf. 42(4-5): 227-290 (2005)
27		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		Andrew Phillips, Nobuko Yoshida, Susan Eisenbach: A Distributed Abstract Machine for Boxed Ambient Calculi. ESOP 2004: 155-170
24		Matthew Hennessy, Julian Rathke, Nobuko Yoshida: safeDpi: A Language for Controlling Mobile Code. FoSSaCS 2004: 241-256
23		Nobuko Yoshida: Channel dependent types for higher-order mobile processes. POPL 2004: 147-160
22		Kohei Honda, Nobuko Yoshida: A compositional logic for polymorphic higher-order functions. PPDP 2004: 191-202
21		Nobuko Yoshida, Martin Berger, Kohei Honda: Strong normalisation in the pi -calculus. Inf. Comput. 191(2): 145-202 (2004)
	2003
20		Martin Berger, Kohei Honda, Nobuko Yoshida: Genericity and the pi-Calculus. FoSSaCS 2003: 103-119
	2002
19		Nobuko Yoshida, Kohei Honda, Martin Berger: Linearity and Bisimulation. FoSSaCS 2002: 417-434
18		Kohei Honda, Nobuko Yoshida: A uniform type structure for secure information flow. POPL 2002: 81-92
17		José-Luis Vivas, Nobuko Yoshida: Dynamic Channel Screening in the Higher Order pi-Calculus. Electr. Notes Theor. Comput. Sci. 66(3): 170-184 (2002)
16		Nobuko Yoshida, Matthew Hennessy: Assigning Types to Processes. Inf. Comput. 174(2): 143-179 (2002)
15		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		Martin Berger, Kohei Honda, Nobuko Yoshida: Sequentiality and the pi-Calculus. TLCA 2001: 29-45
	2000
12		Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Secure Information Flow as Typed Process Behaviour. ESOP 2000: 180-199
11		Nobuko Yoshida, Matthew Hennessy: Assigning Types to Processes. LICS 2000: 334-345
	1999
10		Nobuko Yoshida, Matthew Hennessy: Suptyping and Locality in Distributed Higher Order Processes (extended abstract). CONCUR 1999: 557-572
9		Kohei Honda, Nobuko Yoshida: Game-Theoretic Analysis of Call-by-Value Computation. Theor. Comput. Sci. 221(1-2): 393-456 (1999)
	1998
8		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		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

Coauthor Index

1	Alexander Ahern	[30] [31] [40]
2	Nuno Alves	[76]
3	Andi Bejleri	[66] [72] [78]
4	Martin Berger	[13] [14] [19] [20] [21] [29] [32] [33] [37] [41] [42] [50] [54] [55] [57] [59]
5	Lorenzo Bettini	[62]
6	Laura Bocchi	[82]
7	Gary Brown	[85]
8	Sara Capecchi	[77]
9	Marco Carbone	[45] [46] [52] [56] [58] [63] [71]
10	Tzu-Chun Chen	[85]
11	Mario Coppo	[51] [62]
12	Silvia Crafa	[53] [88]
13	Loris D'Antoni	[62]
14	Pierre-Malo Deniélou	[76] [78] [81] [84] [89]
15	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[30] [38] [39] [49] [51] [62] [65]
16	Sophia Drossopoulou	[30] [38] [39] [65]
17	Susan Eisenbach	[25]
18	Philippa Gardner	[26] [34]
19	Elena Giachino	[38] [77]
20	Matthew Hennessy	[10] [11] [16] [24] [28]
21	Kohei Honda	[1] [3] [4] [5] [7] [9] [12] [13] [14] [18] [19] [20] [21] [22] [27] [29] [32] [33] [37] [41] [42] [45] [46] [47] [50] [52] [55] [56] [57] [58] [59] [60] [61] [63] [64] [68] [71] [74] [79] [80] [82] [83] [85] [86]
22	Raymond Hu	[61] [72] [76] [78] [80] [87]
23	Dimitrios Kouzapas	[80] [86]
24	Yiannos Kryftis	[87]
25	Marco De Luca	[62]
26	Dimitris Mostrous	[39] [48] [65] [70] [74]
27	Aybek Mukhamedov	[85]
28	Nicholas Ng	[87]
29	Lasse Nielsen	[79]
30	Hervé Paulino	[60]
31	Olivier Pernet	[80] [87]
32	Andrew Phillips	[25]
33	Rosario Pugliese	[67] [73]
34	Julian Rathke	[24] [28]
35	Francesco Tiezzi	[67] [73]
36	Emilio Tuosto	[82]
37	Daniele Varacca	[36] [43] [53] [75] [88]
38	Vasco Thudichum Vasconcelos	[12] [44] [60] [68] [69]
39	José-Luis Vivas	[17]
40	Ugo de'Liguoro	[49]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page