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

Assigning types to processesYOSHIDA, Nobuko; HENNESSY, Matthew.Information and computation (Print). 2002, Vol 174, Num 2, pp 143-179, issn 0890-5401Article

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

Strong normalisation in the π-calculusYOSHIDA, Nobuko; BERGER, Martin; HONDA, Kohei et al.Information and computation (Print). 2004, Vol 191, Num 2, pp 145-202, issn 0890-5401, 58 p.Article

SAFEDPI: A language for controlling mobile codeHENNESSY, Matthew; RATHKE, Julian; YOSHIDA, Nobuko et al.Lecture notes in computer science. 2004, pp 241-256, issn 0302-9743, isbn 3-540-21298-1, 16 p.Conference Paper

Activation of distinct signal transduction pathways in Trypanosoma cruzi isolates with differential capacity to invade host cellsNEIRA, Ivan; FERREIRA, Alice T; YOSHIDA, Nobuko et al.International journal for parasitology. 2002, Vol 32, Num 4, pp 405-414, issn 0020-7519Article

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

Message-passing automata are expressively equivalent to EMSO logicBOLLIG, Benedikt; LEUCKER, Martin.Lecture notes in computer science. 2004, pp 146-160, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

Asynchronous games 2: The true concurrency of innocenceMELLIES, Paul-André.Lecture notes in computer science. 2004, pp 448-465, issn 0302-9743, isbn 3-540-22940-X, 18 p.Conference Paper

Basic theory of reduction congruence for two timed asynchronous π-calculiBERGER, Martin.Lecture notes in computer science. 2004, pp 115-130, issn 0302-9743, isbn 3-540-22940-X, 16 p.Conference 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

Message-passing automata are expressively equivalent to EMSO logicBOLLIG, Benedikt; LEUCKER, Martin.Theoretical computer science. 2006, Vol 358, Num 2-3, pp 150-172, issn 0304-3975, 23 p.Conference Paper

Characterizing EF and EX tree logicsBOJANCZYK, Mikolaj; WALUKIEWICZ, Igor.Theoretical computer science. 2006, Vol 358, Num 2-3, pp 255-272, issn 0304-3975, 18 p.Conference Paper

Elimination of quantifiers and undecidability in spatial logics for concurrencyCAIRES, Luis; LOZES, Etienne.Theoretical computer science. 2006, Vol 358, Num 2-3, pp 293-314, issn 0304-3975, 22 p.Conference Paper

A general approach to comparing infinite-state systems with their finite-state specificationsKUCERA, Antonin; SCHNOEBELEN, Philippe.Theoretical computer science. 2006, Vol 358, Num 2-3, pp 315-333, issn 0304-3975, 19 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