Tachio Terauchi
Scholar

Tachio Terauchi

Google Scholar ID: -xOKb8sAAAAJ
Professor of Computer Science and Engineering, Waseda University
Programming LanguagesProgram VerificationProgram SynthesisSecurityType Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
784
 
H-index
15
 
i10-index
21
 
Publications
20
 
Co-authors
19
list available
Contact
No contact links provided.
Publications
4 items
Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis
2026
Cited
0
Hardness of Regular Expression Matching with Extensions
arXiv.org · 2026
Cited
1
Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
2025
Cited
0
Efficient Matching of Some Fundamental Regular Expressions with Backreferences
2025
Cited
0
Resume (English only)
Co-authors
19 total
Alex Aiken
Alex Aiken
Professor of Computer Science, Stanford University
Hiroshi Unno
Hiroshi Unno
Tohoku University
Co-author 3
Co-author 3
Jeffrey S. Foster
Jeffrey S. Foster
Computer Science, Tufts University
Steven Feiner
Steven Feiner
Professor of Computer Science, Columbia University
Tobias Höllerer
Tobias Höllerer
Professor, Computer Science, UC Santa Barbara
Timos Antonopoulos
Timos Antonopoulos
Research Scientist, Yale University
Co-author 8
Co-author 8