Seuraa
Kohei SUENAGA
Kohei SUENAGA
Kyoto University
Vahvistettu sähköpostiosoite verkkotunnuksessa kuis.kyoto-u.ac.jp - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Resource usage analysis for the pi-calculus
N Kobayashi, K Suenaga, L Wischik
Logical Methods in Computer Science 2, 2006
522006
Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references
K Suenaga
Asian Symposium on Programming Languages and Systems, 155-170, 2008
502008
Programming with Infinitesimals: A While-Language for Hybrid System Modeling
K Suenaga, I Hasuo
International Colloquium on Automata, Languages, and Programming, 392-403, 2011
492011
Efficient online timed pattern matching by automata-based skipping
M Waga, I Hasuo, K Suenaga
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
392017
Exercises in Nonstandard Static Analysis of Hybrid Systems
I Hasuo, K Suenaga
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
372012
Type-based analysis of deadlock for a concurrent calculus with interrupts
K Suenaga, N Kobayashi
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
262007
Information management system, method and program
H Miyashita, H Nakamura, K Suenaga
US Patent 8,766,980, 2014
232014
Hyperstream processing systems: nonstandard modeling of continuous-time signals
K Suenaga, H Sekine, I Hasuo
ACM SIGPLAN Notices 48 (1), 417-430, 2013
232013
Translation of tree-processing programs into stream-processing programs based on ordered linear type1
K Kodama, K Suenaga, N Kobayashi
Journal of Functional Programming 18 (3), 333-371, 2008
21*2008
Fractional Ownerships for Safe Memory Deallocation
K Suenaga, N Kobayashi
Programming Languages and Systems, 128-143, 2009
192009
ConSORT: Context-and Flow-Sensitive Ownership Refinement Types for Imperative Programs.
J Toman, R Siqi, K Suenaga, A Igarashi, N Kobayashi
ESOP, 684-714, 2020
142020
A contract corpus for recognizing rights and obligations
R Funaki, Y Nagata, K Suenaga, S Mori
Proceedings of the Twelfth Language Resources and Evaluation Conference …, 2020
112020
MONAA: A tool for timed pattern matching with automata-based acceleration
M Waga, I Hasuo, K Suenaga
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018
112018
Type-Based Safe Resource Deallocation for Shared-Memory Concurrency
K Suenaga, R Fukuda, A Igarashi
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented …, 2012
102012
Goal-aware RSS for complex scenarios via program logic
I Hasuo, C Eberhart, J Haydon, J Dubut, R Bohrer, T Kobayashi, ...
IEEE Transactions on Intelligent Vehicles, 2022
92022
Automated proof synthesis for the minimal propositional logic with deep neural networks
T Sekiyama, K Suenaga
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
92018
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Y Nishida, H Saito, R Chen, A Kawata, J Furuse, K Suenaga, A Igarashi
New Generation Computing 40 (2), 507-540, 2022
82022
Automated proof synthesis for propositional logic with deep neural networks
T Sekiyama, K Suenaga
arXiv preprint arXiv:1805.11799, 2018
82018
Towards proof synthesis guided by neural machine translation for intuitionistic propositional logic
T Sekiyama, A Imanishi, K Suenaga
arXiv preprint arXiv:1706.06462, 2017
82017
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis
K Kojima, M Kinoshita, K Suenaga
http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/doc/paper/dimTypeInv.pdf, 2016
82016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20