Hiroshi Unno - Concepedia

Author

Hiroshi Unno

University of Tsukuba ORCID

Also Known As

HIROSHI UNNO, Hiroshi Unno, Unno, Hiroshi

Publications

960

Citations

H-Index

Concepts

All Affiliations

University of Tsukuba Tohoku University The University of Tokyo Nagoya University RIKEN Center for Advanced Intelligence Project

About

Hiroshi Unno is an author at University of Tsukuba specializing in formal verification, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	16	654
2	Computer Science	14	16	654
3	Computer Engineering	4	4	161
4	Language Studies	2	2	87
5	Linguistics	2	2	87

Hiroshi Unno

Publications

664

Citations

H-Index

Page 1

	Year	Citations
Predicate abstraction and CEGAR for higher-order model checking Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno ACM SIGPLAN Notices Program CheckingEngineeringVerificationComputer-aided VerificationModel Checking	2011	116
Predicate abstraction and CEGAR for higher-order model checking Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno Program CheckingEngineeringVerificationComputer-aided VerificationModel Checking	2011	99
Higher-order multi-parameter tree transducers and recursion schemes for program verification Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno Program CheckingEngineeringRecursion SchemesVerificationComputer-aided Verification	2010	78
Dependent type inference with interpolants Hiroshi Unno, Naoki Kobayashi EngineeringType TheoryFormal VerificationDependent TypesGeneric Programming	2009	74
Automating relatively complete verification of higher-order functional programs Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2013	51
Towards a scalable software model checker for higher-order programs Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi Software MaintenanceProgram CheckingEngineeringVerificationComputer-aided Verification	2013	45
Temporal verification of higher-order functional programs Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Analysis	2016	30
Combining type-based analysis and model checking for finding counterexamples against non-interference Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa Program CheckingEngineeringInformation SecurityType TheoryVerification	2006	25
A Fixpoint Logic and Dependent Effects for Temporal Property Verification Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Fixpoint LogicEngineeringVerificationComputer-aided VerificationModel Checking	2018	25
Higher-order multi-parameter tree transducers and recursion schemes for program verification Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno ACM SIGPLAN Notices Program CheckingEngineeringRecursion SchemesVerificationComputer-aided Verification	2010	22

Page 1