Kazuhiro Ogata

Cited by

	All	Since 2019
Citations	2053	670
h-index	23	12
i10-index	66	20

180

135

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 9 8 10 25 30 49 37 69 89 92 72 79 105 41 75 61 150 62 30 108 126 69 91 139 175 114 76

Public access

View all

20 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Kokichi FUTATSUGIProfessor of Computer Science, JAISTVerified email at jaist.ac.jp
Canh Minh DoJapan Advanced Institute of Science and TechnologyVerified email at jaist.ac.jp
Min ZHANGEast China Normal UniversityVerified email at sei.ecnu.edu.cn
Weiqiang KongKyushu UniversityVerified email at qito.kyushu-u.ac.jp
Yati PhyoJAISTVerified email at jaist.ac.jp
Adrián RiescoAssociate Professor in Computer Science, Dpto. Sistemas Informáticos y Computación, UniversidadVerified email at fdi.ucm.es
Daniel GAINAInstitute of Mathematics for Industry, Kyushu UniversityVerified email at imi.kyushu-u.ac.jp
Jianwen XiangWuhan University of TechnologyVerified email at whut.edu.cn
T. T. Ha DoanJAIST, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Dang Duy BUIJAISTVerified email at jaist.ac.jp
François BonnetSpec. App. Associate Professor at Tokyo Institute of TechnologyVerified email at c.titech.ac.jp
Iakovos OuranosElectrical & Computer Engineer, NTUAVerified email at central.ntua.gr
Stefaneas S. PetrosDepartment of Mathematics, National Technical University of AthensVerified email at math.ntua.gr
Răzvan DiaconescuSimion Stoilow Institute of Mathematics of the Romanian AcademyVerified email at imar.ro
Jittisak SenachakNational Center for Genetic Engineering and Biotechnology (BIOTEC)Verified email at biotec.or.th
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerified email at info.uaic.ro
Norbert PreiningMercari Inc.Verified email at preining.info
Yunja ChoiKyungpook National UniversityVerified email at knu.ac.kr
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkVerified email at dtu.dk

Kazuhiro Ogata

JAIST

Verified email at jaist.ac.jp

Computer Science Software Engineering Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Proof scores in the OTS/CafeOBJ method K Ogata, K Futatsugi Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003	162	2003
Some tips on writing proof scores in the OTS/CafeOBJ method K Ogata, K Futatsugi Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006	83	2006
CafeOBJ: Logical foundations and methodologies R Diaconescu, K Futatsugi, K Ogata Computing and Informatics 22 (3-4), 257-283, 2003	56	2003
Equational approach to formal analysis of TLS K Ogata, K Futatsugi 25th IEEE International Conference on Distributed Computing Systems (ICDCS …, 2005	54	2005
Formal Analysis of the iKP Electronic Payment Protocols K Ogata, K Futatsugi International Symposium on Software Security, 441-460, 2002	49	2002
The evaluation strategy for head normal form with and without on-demand flags M Nakamura, K Ogata Electronic Notes in Theoretical Computer Science 36, 212-228, 2000	48	2000
Principles of proof scores in CafeOBJ K Futatsugi, D Găină, K Ogata Theoretical Computer Science 464, 90-112, 2012	45	2012
A lightweight integration of theorem proving and model checking for system verification W Kong, K Ogata, T Seino, K Futatsugi 12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005	40	2005
Rewriting-based verification of authentication protocols K Ogata, K Futatsugi Electronic Notes in Theoretical Computer Science 71, 208-222, 2004	36	2004
Formal analysis of Suzuki&Kasami distributed mutual exclusion algorithm K Ogata, K Futatsugi Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6/WG6. 1 …, 2002	36	2002
Simulation-based verification for invariant properties in the OTS/CafeOBJ method K Ogata, K Futatsugi Electronic Notes in Theoretical Computer Science 201, 127-154, 2008	35	2008
Flaw and modification of the iKP electronic payment protocols K Ogata, K Futatsugi Information Processing Letters 86 (2), 57-62, 2003	33	2003
Operational semantics of rewriting with the on-demand evaluation strategy K Ogata, K Futatsugi Proceedings of the 2000 ACM symposium on Applied computing-Volume 2, 756-763, 2000	30	2000
Verifying design with proof scores K Futatsugi, JA Goguen, K Ogata Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005	29	2005
Formal verification of the Horn-Preneel micropayment protocol K Ogata, K Futatsugi International Workshop on Verification, Model Checking, and Abstract …, 2002	28	2002
Model checking of a mobile robots perpetual exploration algorithm HTT Doan, F Bonnet, K Ogata Structured Object-Oriented Formal Language and Method: 6th International …, 2017	27	2017
Proof score approach to verification of liveness properties K Ogata, K Futatsugi IEICE TRANSACTIONS on Information and Systems 91 (12), 2804-2817, 2008	27	2008
Prove it! inferring formal proof scripts from CafeOBJ proof scores A Riesco, K Ogata ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (2), 1-32, 2018	26	2018
Implementation of term rewritings with the evaluation strategy K Ogata, K Futatsugi Programming Languages: Implementations, Logics, and Programs: 9th …, 1997	26	1997
A Maude environment for CafeOBJ A Riesco, K Ogata, K Futatsugi Formal Aspects of Computing 29, 309-334, 2017	25	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors