AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Hiroshi Unno

Hiroshi Unno

University of Tsukuba - Tsukuba / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 331522
筑波大学
person_outline Hiroshi Unno's MOST POPULAR ARTICLES
1-) Predicate abstraction and CEGAR for higher-order model checking Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
2-) Higher-order multi-parameter tree transducers and recursion schemes for program verification ACM Sigplan Notices 45 (1), 495-508, 2010
3-) Dependent type inference with interpolants Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
4-) Constraint-based relational verification International Conference on Computer Aided Verification, 742-766, 2021
5-) Automating induction for solving horn clauses International Conference on Computer Aided Verification, 571-591, 2017