Keigo Imai
(今井 敬吾)
Modified on: 04/01
Papers
14
Entries per page
-
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243, 379-386, 2022 Peer-reviewed
-
ECOOP 2020: 34th European Conference on Object-Oriented Programming, Leibniz International Proceedings in Informatics, 166 9:1-9:30, 2020 Peer-reviewed
-
PLACES 2020: Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, co-located with ETAPS 2020, Dublin, Ireland, Electronic Proceedings in Theoretical Computer Science, 314 61-75, 2020 Peer-reviewed
-
FLOPS 2020: 15th International Symposium on Functional and Logic Programming, Lecture Notes in Computer Science, 12073 66-87, 2020 Peer-reviewed
-
Journal of Information Processing, 27 431-444, Jun, 2019 Peer-reviewed
-
SFDI2019: Second Workshop on Software Foundations for Data Interoperability (In proceedings of 2019 IEEE International Conference on Big Data and Smart Computing (BigComp)), 1-5, Feb, 2019 Peer-reviewed
-
Science of Computer Programming, 172 135-159, 2018 Peer-reviewed
-
COORDINATION 2017: 19th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science, 10319 99-118, 2017 Peer-reviewedLead author
-
Information Engineering Express, 2(1) 11-22, 2016 Peer-reviewed
-
2015 IIAI 4TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI), 462-467, 2015 Peer-reviewed
-
IEICE Transactions on Information and Systems, 95(8) 2053-2064, Aug 1, 2012 Peer-reviewed
-
PLACES 2010: Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010, Electronic Proceedings in Theoretical Computer Science, 69 74-91, 2010 Peer-reviewed
-
IPSJ Transactions on Programming, 2(2) 54-69, Apr, 2009 Peer-reviewed
-
IPSJ Transactions on Programming (PRO), 47(SIG16(PRO31)) 10-28, Oct, 2006 Peer-reviewed