Kazuhiro Ogata

Cited by

	All	Since 2019
Citations	1975	602
h-index	23	11
i10-index	61	17

180

135

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 9 8 10 25 28 49 37 69 77 92 72 79 106 40 76 62 152 67 29 107 126 68 92 134 176 114 14

Public access

View all

16 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	157	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	53	2005
Formal Analysis of the iKP Electronic Payment Protocols K Ogata, K Futatsugi International Symposium on Software Security, 441-460, 2002	48	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	46	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	39	2005
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	36	2008
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	35	2002
Rewriting-based verification of authentication protocols K Ogata, K Futatsugi Electronic Notes in Theoretical Computer Science 71, 208-222, 2004	34	2004
Flaw and modification of the iKP electronic payment protocols K Ogata, K Futatsugi Information Processing Letters 86 (2), 57-62, 2003	32	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
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	28	2017
Constructor-based logics. D Gaina, K Futatsugi, K Ogata J. Univers. Comput. Sci. 18 (16), 2204-2233, 2012	27	2012
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
Formal verification of the Horn-Preneel micropayment protocol K Ogata, K Futatsugi International Workshop on Verification, Model Checking, and Abstract …, 2002	27	2002
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
Proof score approach to analysis of electronic commerce protocols K Ogata, K Futatsugi International Journal of Software Engineering and Knowledge Engineering 20 …, 2010	25	2010

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