Generic trace semantics via coinduction I Hasuo, B Jacobs, A Sokolova arXiv preprint arXiv:0710.2505, 2007 | 180 | 2007 |

Provable anonymity FD Garcia, I Hasuo, W Pieters, P Van Rossum Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005 | 103 | 2005 |

Generic forward and backward simulations I Hasuo International Conference on Concurrency Theory, 406-420, 2006 | 60 | 2006 |

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 | 57 | 2017 |

Time robustness in MTL and expressivity in hybrid system falsification T Akazaki, I Hasuo International Conference on Computer Aided Verification, 356-374, 2015 | 43 | 2015 |

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 | 36 | 2014 |

Categorical semantics for arrows B Jacobs, C Heunen, I Hasuo Journal of functional programming 19 (3-4), 403-438, 2009 | 36 | 2009 |

Generic trace theory I Hasuo, B Jacobs, A Sokolova Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006 | 34 | 2006 |

Context-free languages via coalgebraic trace semantics I Hasuo, B Jacobs International Conference on Algebra and Coalgebra in Computer Science, 213-231, 2005 | 33 | 2005 |

Programming with infinitesimals: A while-language for hybrid system modeling K Suenaga, I Hasuo International Colloquium on Automata, Languages, and Programming, 392-403, 2011 | 30 | 2011 |

The microcosm principle and concurrency in coalgebra I Hasuo, B Jacobs, A Sokolova International Conference on Foundations of Software Science and …, 2008 | 26 | 2008 |

Relations among notions of security for identity based encryption schemes N Attrapadung, Y Cui, D Galindo, G Hanaoka, I Hasuo, H Imai, ... Latin American Symposium on Theoretical Informatics, 130-141, 2006 | 26 | 2006 |

Generic weakest precondition semantics from monads enriched with order I Hasuo Theoretical Computer Science 604, 2-29, 2015 | 25 | 2015 |

Exercises in nonstandard static analysis of hybrid systems I Hasuo, K Suenaga International Conference on Computer Aided Verification, 462-478, 2012 | 25 | 2012 |

Coalgebraic components in a many-sorted microcosm I Hasuo, C Heunen, B Jacobs, A Sokolova International Conference on Algebra and Coalgebra in Computer Science, 64-80, 2009 | 23 | 2009 |

Kripke completeness of first-order constructive logics with strong negation I Hasuo, R Kashima Logic Journal of IGPL 11 (6), 615-646, 2003 | 23 | 2003 |

The geometry of synchronization U Dal Lago, C Faggian, I Hasuo, A Yoshimizu Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 22 | 2014 |

Tracing anonymity with coalgebras I Hasuo [Sl: sn], 2008 | 21 | 2008 |

Hyperstream processing systems: nonstandard modeling of continuous-time signals K Suenaga, H Sekine, I Hasuo ACM SIGPLAN Notices 48 (1), 417-430, 2013 | 20 | 2013 |

Probabilistic anonymity via coalgebraic simulations I Hasuo, Y Kawabe European Symposium on Programming, 379-394, 2007 | 20 | 2007 |