List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Counterexamples and amendments to the termination and optimality of ADOPT-based algorithms Artificial Intelligence | 2024-04-30 | Paper |
| Non-commutative geometry in higher dimensional quantum Hall effect as A-class topological insulator Fortschritte der Physik | 2016-06-17 | Paper |
| Completeness and counter-example generations of a basic protocol logic (extended abstract) | 2013-12-04 | Paper |
| Erratum to: ``Iterative information update and stability of strategies Synthese | 2012-04-05 | Paper |
| Iterative information update and stability of strategies Synthese | 2011-06-08 | Paper |
| Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols Formal to Practical Security | 2009-06-09 | Paper |
| scientific article; zbMATH DE number 1962760 (Why is no real title available?) | 2003-08-11 | Paper |
| scientific article; zbMATH DE number 1962761 (Why is no real title available?) | 2003-08-11 | Paper |
Research outcomes over time
This page was built for person: Koji Hasebe
