Koji Hasebe

From MaRDI portal
Person:408336

Available identifiers

zbMath Open hasebe.kojiMaRDI QIDQ408336

List of research outcomes





PublicationDate of PublicationType
Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms2024-04-30Paper
Non-commutative geometry in higher dimensional quantum Hall effect as A-class topological insulator2016-06-17Paper
Completeness and counter-example generations of a basic protocol logic (extended abstract)2013-12-04Paper
Erratum to: ``Iterative information update and stability of strategies2012-04-05Paper
Iterative information update and stability of strategies2011-06-08Paper
Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols2009-06-09Paper
https://portal.mardi4nfdi.de/entity/Q44185912003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44185922003-08-11Paper

Research outcomes over time

This page was built for person: Koji Hasebe

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:408336&oldid=7249876"
Powered by MediaWiki