A Uniform Type Structure for Secure Information FlowHONDA, Kohei; YOSHIDA, Nobuko.ACM transactions on programming languages and systems. 2007, Vol 29, Num 6, issn 0164-0925, 31.1-31.100Article

Targeted reduction in expression of Trypanosoma cruzi surface glycoprotein gp90 increases parasite infectivityMALAGA, Sergio; YOSHIDA, Nobuko.Infection and immunity. 2001, Vol 69, Num 1, pp 353-359, issn 0019-9567Article

Concurrency Theory (CONCUR 2004)GARDNER, Philippa; YOSHIDA, Nobuko.Theoretical computer science. 2006, Vol 358, Num 2-3, issn 0304-3975, 186 p.Conference Proceedings

CONCUR 2004 : concurrency theory (London, 31 August - 3 September 2004)Gardner, Philippa; Yoshida, Nobuko.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22940-X, XIII, 528 p, isbn 3-540-22940-XConference Proceedings

Typed event structures and the linear π-calculusVARACCA, Daniele; YOSHIDA, Nobuko.Theoretical computer science. 2010, Vol 411, Num 19, pp 1949-1973, issn 0304-3975, 25 p.Conference Paper

Interaction with host factors exacerbates Trypanosoma cruzi cell invasion capacity upon oral infectionCOVARRUBIAS, Charles; CORTEZ, Mauro; FERREIRA, Daniele et al.International journal for parasitology. 2007, Vol 37, Num 14, pp 1609-1616, issn 0020-7519, 8 p.Article

Host cell invasion mediated by Trypanosoma cruzi surface molecule gp82 is associated with F-actin disassembly and is inhibited by enteroinvasive Escherichia coliCORTEZ, Mauro; ATAYDE, Vanessa; YOSHIDA, Nobuko et al.Microbes and infection. 2006, Vol 8, Num 6, pp 1502-1512, issn 1286-4579, 11 p.Article

Minimality and separation results on asynchronous mobile processes: representability theorems by concurrent combinatorsYOSHIDA, Nobuko.Theoretical computer science. 2002, Vol 274, Num 1-2, pp 231-276, issn 0304-3975Conference Paper

Asynchronous games 2: The true concurrency of innocenceMELLIES, Paul-André.Theoretical computer science. 2006, Vol 358, Num 2-3, pp 200-228, issn 0304-3975, 29 p.Conference Paper

A distributed abstract machine for boxed ambient calculiPHILLIPS, Andrew; YOSHIDA, Nobuko; EISENBACH, Susan et al.Lecture notes in computer science. 2004, pp 155-170, issn 0302-9743, isbn 3-540-21313-9, 16 p.Conference Paper

Sequentiality and the π-calculusBERGER, Martin; HONDA, Kohei; YOSHIDA, Nobuko et al.Lecture notes in computer science. 2001, pp 29-45, issn 0302-9743, isbn 3-540-41960-8Conference Paper

Characterizing EF and EX tree logicsBOJANCZYK, Mikołaj; WAŁUKIEWICZ, Igor.Lecture notes in computer science. 2004, pp 131-145, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

Compiling pattern matching in join-patternsQIN MA; MARANGET, Luc.Lecture notes in computer science. 2004, pp 417-431, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

Structured Communication-Centered Programming for Web ServicesCARBONE, Marco; HONDA, Kohei; YOSHIDA, Nobuko et al.ACM transactions on programming languages and systems. 2012, Vol 34, Num 2, issn 0164-0925, 8.1-8.78Article

Formalising Java RMI with explicit code mobilityAHEM, Alexander; YOSHIDA, Nobuko.Theoretical computer science. 2007, Vol 389, Num 3, pp 341-410, issn 0304-3975, 70 p.Article

Invasion mechanisms among emerging food-borne protozoan parasitesYOSHIDA, Nobuko; TYLER, Kevin M; LLEWELLYN, Martin S et al.Trends in parasitology. 2011, Vol 27, Num 10, pp 459-466, issn 1471-4922, 8 p.Article

Multiparty Asynchronous Session TypesHONDA, Kohei; YOSHIDA, Nobuko; CARBONE, Marco et al.ACM SIGPLAN notices. 2008, Vol 43, Num 1, pp 273-284, issn 1523-2867, 12 p.Conference Paper

Descriptive and Relative Completeness of Logics for Higher-Order FunctionsHONDA, Kohei; BERGER, Martin; YOSHIDA, Nobuko et al.Lecture notes in computer science. 2006, pp 360-371, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Modular construction of modal logicsCIRSTEA, Corina; PATTINSON, Dirk.Lecture notes in computer science. 2004, pp 258-275, issn 0302-9743, isbn 3-540-22940-X, 18 p.Conference Paper

On flatness for 2-dimensional vector addition systems with statesLEROUX, Jérome; SUTRE, Grégoire.Lecture notes in computer science. 2004, pp 402-416, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

Open maps, alternating simulations and control synthesisTABUADA, Paulo.Lecture notes in computer science. 2004, pp 466-480, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

A semantics for concurrent separation logicBROOKES, Stephen.Lecture notes in computer science. 2004, pp 16-34, issn 0302-9743, isbn 3-540-22940-X, 19 p.Conference Paper

A higher order modal Fixed Point LogicVISWANATHAN, Mahesh; VISWANATHAN, Ramesh.Lecture notes in computer science. 2004, pp 512-528, issn 0302-9743, isbn 3-540-22940-X, 17 p.Conference Paper

Elimination of quantifiers and undecidability in spatial logics for concurrencyCAIRES, Luis; LOZES, Etienne.Lecture notes in computer science. 2004, pp 240-257, issn 0302-9743, isbn 3-540-22940-X, 18 p.Conference Paper

Resources, concurrency and local reasoningO'HEARN, Peter W.Lecture notes in computer science. 2004, pp 49-67, issn 0302-9743, isbn 3-540-22940-X, 19 p.Conference Paper