| Generic trace semantics via coinduction I Hasuo, B Jacobs, A Sokolova Logical Methods in Computer Science 3, 2007 | 248 | 2007 |
| Time robustness in MTL and expressivity in hybrid system falsification T Akazaki, I Hasuo International Conference on Computer Aided Verification, 356-374, 2015 | 137 | 2015 |
| Provable anonymity FD Garcia, I Hasuo, W Pieters, P van Rossum Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005 | 115 | 2005 |
| Semantics of higher-order quantum computation via geometry of interaction I Hasuo, N Hoshino Annals of pure and applied logic 168 (2), 404-469, 2017 | 84 | 2017 |
| Two-layered falsification of hybrid systems guided by monte carlo tree search Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 83 | 2018 |
| Categorical semantics for arrows B Jacobs, C Heunen, I Hasuo Journal of functional programming 19 (3-4), 403-438, 2009 | 71 | 2009 |
| Memoryful geometry of interaction: from coalgebraic components to algebraic effects N Hoshino, K Muroya, I Hasuo Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 61 | 2014 |
| Generic forward and backward simulations I Hasuo International Conference on Concurrency Theory, 406-420, 2006 | 61 | 2006 |
| Weighted automata extraction from recurrent neural networks via regression on state spaces T Okudono, M Waga, T Sekiyama, I Hasuo Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5306-5314, 2020 | 60 | 2020 |
| Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao International Conference on Computer Aided Verification, 595-618, 2021 | 59 | 2021 |
| Tail probabilities for randomized program runtimes via martingales for higher moments S Kura, N Urabe, I Hasuo International Conference on Tools and Algorithms for the Construction and …, 2019 | 58 | 2019 |
| Fast falsification of hybrid systems using probabilistically adaptive input G Ernst, S Sedwards, Z Zhang, I Hasuo International Conference on Quantitative Evaluation of Systems, 165-181, 2019 | 57 | 2019 |
| Generic weakest precondition semantics from monads enriched with order I Hasuo Theoretical Computer Science 604, 2-29, 2015 | 51 | 2015 |
| Programming with Infinitesimals: A While-Language for Hybrid System Modeling K Suenaga, I Hasuo International Colloquium on Automata, Languages, and Programming, 392-403, 2011 | 51 | 2011 |
| Ranking and repulsing supermartingales for reachability in randomized programs T Takisaka, Y Oyabu, N Urabe, I Hasuo ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (2), 1-46, 2021 | 45 | 2021 |
| Efficient online timed pattern matching by automata-based skipping M Waga, I Hasuo, K Suenaga International Conference on Formal Modeling and Analysis of Timed Systems …, 2017 | 45 | 2017 |
| Coinductive predicates and final sequences in a fibration I Hasuo, K Cho, T Kataoka, B Jacobs Electronic Notes in Theoretical Computer Science 298, 197-214, 2013 | 42* | 2013 |
| Multi-armed bandits for boolean connectives in hybrid system falsification Z Zhang, I Hasuo, P Arcaini International Conference on Computer Aided Verification, 401-420, 2019 | 41 | 2019 |
| Falsifai: Falsification of ai-enabled hybrid control systems guided by time-aware coverage criteria Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao IEEE Transactions on Software Engineering 49 (4), 1842-1859, 2022 | 39 | 2022 |
| Generic trace theory I Hasuo, B Jacobs, A Sokolova Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006 | 39 | 2006 |
