• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
19982021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2019

    Formal verifications of call-by-need and call-by-name evaluations with mutual recursion

    Mizuno, M. & Sumii, E., 2019, Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Proceedings. Lin, A. W. (ed.). Springer, p. 181-201 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11893 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2018

    Formal verification of the correspondence between call-by-need and call-by-name

    Mizuno, M. & Sumii, E., 2018, Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Proceedings. Gallagher, J. P., Sulzmann, M. & Gallagher, J. P. (eds.). Springer Verlag, p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10818 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • 2016

    A sound and complete bisimulation for contextual equivalence in λ-calculus with call/cc

    Yachi, T. & Sumii, E., 2016, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Proceedings. Igarashi, A. (ed.). Springer Verlag, p. 171-186 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10017 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • 2012

    A higher-order distributed calculus with name creation

    Piérard, A. & Sumii, E., 2012, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012. p. 531-540 10 p. 6280472. (Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Citations (Scopus)
  • 2011

    Sound bisimulations for higher-order distributed process calculus

    Piérard, A. & Sumii, E., 2011, Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 123-137 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6604 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    14 Citations (Scopus)
  • 2009

    A complete characterization of observational equivalence in polymorphic λ-calculus with general references

    Sumii, E., 2009 Nov 2, Computer Science Logic - 23rd International Workshop, CSL 2009 - 18th Annual Conference of the EACSL, Proceedings. p. 455-469 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5771 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    31 Citations (Scopus)
  • A theory of non-monotone memory (or: Contexts for free)

    Sumii, E., 2009, Programming Languages and Systems - 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Proceedings. p. 237-251 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5502).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • The higher-order, call-by-value applied pi-calculus

    Sato, N. & Sumii, E., 2009 Dec 28, Programming Languages and Systems - 7th Asian Symposium, APLAS 2009, Proceedings. p. 311-326 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5904 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Citations (Scopus)
  • 2007

    Environmental bisimulations for higher-order languages

    Sangiorgi, D., Kobayashi, N. & Sumii, E., 2007 Dec 1, Proceedings - 22nd Annual IEEE Symposiumon Logic in Computer Science, LICS 2007. p. 293-302 10 p. 4276573. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    57 Citations (Scopus)
  • Logical bisimulations and functional languages

    Sangiorgi, D., Kobayashi, N. & Sumii, E., 2007 Dec 1, International Symposium on Fundamentals of Software Engineering - International Symposium, FSEN 2007, Proceedings. p. 364-379 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4767 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Citations (Scopus)
  • 2005

    MinCaml: A simple and efficient compiler for a minimal functional language

    Sumii, E., 2005 Dec 1, FDPE'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education. p. 27-38 12 p. (FDPE'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • 2002

    VMλ: A functional calculus for scientific discovery

    Sumii, E. & Bannai, H., 2002, Functional and Logic Programming - 6th International Symposium, FLOPS 2002, Proceedings. Hu, Z. & Rodriguez-Artalejo, M. (eds.). Springer Verlag, p. 290-304 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2441).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • 2001

    A typed process calculus for fine-grained resource access control in distributed computation

    Hoshina, D., Sumii, E. & Yonezawa, A., 2001 Jan 1, Theoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Proceedings. Pierce, B. C. & Kobayashi, N. (eds.). Springer-Verlag, p. 64-81 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2215).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Logical relations for encryption (extended abstract)

    Sumii, E. & Pierce, B. C., 2001 Oct 1, Proceedings of the Computer Security Foundations Workshop. p. 256-269 14 p. (Proceedings of the Computer Security Foundations Workshop).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    22 Citations (Scopus)
  • 2000

    An implicitly-typed deadlock-free process calculus

    Kobayashi, N., Saito, S. & Sumii, E., 2000, CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. Palamidessi, C. (ed.). Springer Verlag, p. 489-504 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1877 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    34 Citations (Scopus)