Suivre
Kohei SUENAGA
Titre
Citée par
Citée par
Année
Resource usage analysis for the pi-calculus
N Kobayashi, K Suenaga, L Wischik
Logical Methods in Computer Science 2, 2006
532006
Programming with Infinitesimals: A While-Language for Hybrid System Modeling
K Suenaga, I Hasuo
International Colloquium on Automata, Languages, and Programming, 392-403, 2011
512011
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
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
402017
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
272007
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
Fractional Ownerships for Safe Memory Deallocation
K Suenaga, N Kobayashi
Programming Languages and Systems, 128-143, 2009
202009
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
19*2008
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
172022
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
172020
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
162020
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 8 (4), 3040-3072, 2022
122022
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
122018
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
Automated proof synthesis for propositional logic with deep neural networks
T Sekiyama, K Suenaga
arXiv preprint arXiv:1805.11799, 2018
92018
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
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
92016
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20