The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nobuko Yoshida: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nobuko Yoshida
    Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:131-146 [Conf]
  2. Nobuko Yoshida, Matthew Hennessy
    Suptyping and Locality in Distributed Higher Order Processes (extended abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:557-572 [Conf]
  3. Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
    Session Types for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2006, pp:328-352 [Conf]
  4. Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
    Secure Information Flow as Typed Process Behaviour. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:180-199 [Conf]
  5. Andrew T. Phillips, Nobuko Yoshida, Susan Eisenbach
    A Distributed Abstract Machine for Boxed Ambient Calculi. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:155-170 [Conf]
  6. Martin Berger, Kohei Honda, Nobuko Yoshida
    Genericity and the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:103-119 [Conf]
  7. Matthew Hennessy, Julian Rathke, Nobuko Yoshida
    safeDpi: A Language for Controlling Mobile Code. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:241-256 [Conf]
  8. Nobuko Yoshida, Kohei Honda, Martin Berger
    Linearity and Bisimulation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:417-434 [Conf]
  9. Kohei Honda, Nobuko Yoshida
    On Reduction-Based Semantics. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1993, pp:373-387 [Conf]
  10. Nobuko Yoshida
    Graph Types for Monadic Mobile Processes. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1996, pp:371-386 [Conf]
  11. Kohei Honda, Martin Berger, Nobuko Yoshida
    Descriptive and Relative Completeness of Logics for Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:360-371 [Conf]
  12. Kohei Honda, Nobuko Yoshida
    Game Theoretic Analysis of Call-by-Value Computation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:225-236 [Conf]
  13. Martin Berger, Kohei Honda, Nobuko Yoshida
    A logical analysis of aliasing in imperative higher-order functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:280-293 [Conf]
  14. Kohei Honda, Nobuko Yoshida, Martin Berger
    An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:270-279 [Conf]
  15. Nobuko Yoshida, Martin Berger, Kohei Honda
    Strong Normalisation in the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:311-322 [Conf]
  16. Nobuko Yoshida, Matthew Hennessy
    Assigning Types to Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:334-345 [Conf]
  17. Alexander Ahern, Nobuko Yoshida
    Formalising Java RMI with explicit code mobility. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:403-422 [Conf]
  18. Kohei Honda, Nobuko Yoshida
    A uniform type structure for secure information flow. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:81-92 [Conf]
  19. Kohei Honda, Nobuko Yoshida
    Combinatory Representation of Mobile Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:348-360 [Conf]
  20. Nobuko Yoshida
    Channel dependent types for higher-order mobile processes. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:147-160 [Conf]
  21. Kohei Honda, Nobuko Yoshida
    A compositional logic for polymorphic higher-order functions. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:191-202 [Conf]
  22. Kohei Honda, Nobuko Yoshida
    Replication in Concurrent Combinators. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:786-805 [Conf]
  23. Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou
    A Distributed Object-Oriented Language with Session Types. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:299-318 [Conf]
  24. Martin Berger, Kohei Honda, Nobuko Yoshida
    Sequentiality and the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:29-45 [Conf]
  25. Nobuko Yoshida
    Graph Notation for Concurrent Combinators. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:393-412 [Conf]
  26. Martin Berger, Kohei Honda, Nobuko Yoshida
    Genericity and the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:42, n:2-3, pp:83-141 [Journal]
  27. Matthew Hennessy, Julian Rathke, Nobuko Yoshida
    safeDpi: a language for controlling mobile code. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:42, n:4-5, pp:227-290 [Journal]
  28. Daniele Varacca, Nobuko Yoshida
    Typed Event Structures and the pi-Calculus: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:373-397 [Journal]
  29. José-Luis Vivas, Nobuko Yoshida
    Dynamic Channel Screening in the Higher Order pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal]
  30. Nobuko Yoshida
    Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:333-340 [Journal]
  31. Nobuko Yoshida, Martin Berger, Kohei Honda
    Strong normalisation in the pi -calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:191, n:2, pp:145-202 [Journal]
  32. Nobuko Yoshida, Matthew Hennessy
    Assigning Types to Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:174, n:2, pp:143-179 [Journal]
  33. Kohei Honda, Nobuko Yoshida
    Noninterference through flow analysis. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:2, pp:293-349 [Journal]
  34. Philippa Gardner, Nobuko Yoshida
    Editorial. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:358, n:2-3, pp:149- [Journal]
  35. Kohei Honda, Nobuko Yoshida
    On Reduction-Based Process Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:2, pp:437-486 [Journal]
  36. Kohei Honda, Nobuko Yoshida
    Game-Theoretic Analysis of Call-by-Value Computation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:221, n:1-2, pp:393-456 [Journal]
  37. Nobuko Yoshida
    Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:274, n:1-2, pp:231-276 [Journal]
  38. Silvia Crafa, Daniele Varacca, Nobuko Yoshida
    Compositional Event Structure Semantics for the Internal pi -Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:317-332 [Conf]
  39. Marco Carbone, Kohei Honda, Nobuko Yoshida
    Structured Communication-Centred Programming for Web Services. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:2-17 [Conf]
  40. Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
    Asynchronous Session Types and Progress for Object Oriented Languages. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:1-31 [Conf]
  41. Nobuko Yoshida, Kohei Honda, Martin Berger
    Logical Reasoning for Higher-Order Functions with Local State. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:361-377 [Conf]
  42. Dimitris Mostrous, Nobuko Yoshida
    Two Session Typing Systems for Higher-Order Mobile Processes. [Citation Graph (0, 0)][DBLP]
    TLCA, 2007, pp:321-335 [Conf]
  43. Nobuko Yoshida, Vasco Thudichum Vasconcelos
    Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:4, pp:73-93 [Journal]
  44. Marco Carbone, Kohei Honda, Nobuko Yoshida
    A Calculus of Global Interaction based on Session Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:3, pp:127-151 [Journal]
  45. Daniele Varacca, Nobuko Yoshida
    Probabilistic pi-Calculus and Event Structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:147-166 [Journal]
  46. Nobuko Yoshida, Kohei Honda, Martin Berger
    Linearity and bisimulation. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:2, pp:207-238 [Journal]
  47. Kohei Honda, Nobuko Yoshida
    A uniform type structure for secure information flow. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  48. Timed, Distributed, Probabilistic, Typed Processes. [Citation Graph (, )][DBLP]


  49. Global Progress in Dynamically Interleaved Multiparty Sessions. [Citation Graph (, )][DBLP]


  50. Structured Interactional Exceptions in Session Types. [Citation Graph (, )][DBLP]


  51. Buffered Communication Analysis in Distributed Multiparty Sessions. [Citation Graph (, )][DBLP]


  52. A Theory of Design-by-Contract for Distributed Multiparty Interactions. [Citation Graph (, )][DBLP]


  53. Session-Based Distributed Programming in Java. [Citation Graph (, )][DBLP]


  54. Type-Safe Eventful Sessions in Java. [Citation Graph (, )][DBLP]


  55. Global Principal Typing in Partially Commutative Asynchronous Sessions. [Citation Graph (, )][DBLP]


  56. Bounded Session Types for Object Oriented Languages. [Citation Graph (, )][DBLP]


  57. Session-Based Compilation Framework for Multicore Programming. [Citation Graph (, )][DBLP]


  58. Parameterised Multiparty Session Types. [Citation Graph (, )][DBLP]


  59. Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. [Citation Graph (, )][DBLP]


  60. On Observing Dynamic Prioritised Actions in SOC. [Citation Graph (, )][DBLP]


  61. Multiparty asynchronous session types. [Citation Graph (, )][DBLP]


  62. Asynchronous Session Types: Exceptions and Multiparty Interactions. [Citation Graph (, )][DBLP]


  63. On Progress for Structured Communications. [Citation Graph (, )][DBLP]


  64. Session-Based Communication Optimisation for Higher-Order Mobile Processes. [Citation Graph (, )][DBLP]


  65. A Unified Theory of Program Logics: An Approach based on the n-Calculus. [Citation Graph (, )][DBLP]


  66. Logical Reasoning for Higher-Order Functions with Local State [Citation Graph (, )][DBLP]


  67. Session-Based Programming for Parallel Algorithms: Expressiveness and Performance [Citation Graph (, )][DBLP]


  68. Theoretical Aspects of Communication-Centred Programming. [Citation Graph (, )][DBLP]


  69. Preface. [Citation Graph (, )][DBLP]


  70. Synchronous Multiparty Session Types. [Citation Graph (, )][DBLP]


  71. A Symbolic Semantics for a Calculus for Service-Oriented Computing. [Citation Graph (, )][DBLP]


  72. Type-Directed Compilation for Multicore Programming. [Citation Graph (, )][DBLP]


Search in 0.034secs, Finished in 0.036secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002