Login / Signup
Takashi Suwa
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 3
Top Topics
Model Checking
Computation Tree Logic
Reachability Analysis
Homomorphic Encryption
Top Venues
PEPM
CoRR
FLOPS
</>
Publications
</>
Takashi Suwa
,
Atsushi Igarashi
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming.
FLOPS
(2024)
Masaki Waga
,
Kotaro Matsuoka
,
Takashi Suwa
,
Naoki Matsumoto
,
Ryotaro Banno
,
Song Bian
,
Kohei Suenaga
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
CoRR
(2024)
Takashi Suwa
,
Takeshi Tsukada
,
Naoki Kobayashi
,
Atsushi Igarashi
Verification of code generators via higher-order model checking.
PEPM
(2017)