| 2008 |
|---|
| 11 | EE | Ichiro Hasuo,
Bart Jacobs,
Ana Sokolova:
The Microcosm Principle and Concurrency in Coalgebra.
FoSSaCS 2008: 246-260 |
| 2007 |
|---|
| 10 | EE | Ichiro Hasuo,
Yoshinobu Kawabe:
Probabilistic Anonymity Via Coalgebraic Simulations.
ESOP 2007: 379-394 |
| 9 | EE | Ichiro Hasuo,
Bart Jacobs,
Tarmo Uustalu:
Categorical Views on Computations on Trees (Extended Abstract).
ICALP 2007: 619-630 |
| 8 | EE | Ichiro Hasuo,
Bart Jacobs,
Ana Sokolova:
Generic Trace Semantics via Coinduction
CoRR abs/0710.2505: (2007) |
| 7 | EE | Ichiro Hasuo,
Bart Jacobs,
Ana Sokolova:
Generic Trace Semantics via Coinduction.
Logical Methods in Computer Science 3(4): (2007) |
| 2006 |
|---|
| 6 | EE | Ichiro Hasuo:
Generic Forward and Backward Simulations.
CONCUR 2006: 406-420 |
| 5 | EE | Nuttapong Attrapadung,
Yang Cui,
David Galindo,
Goichiro Hanaoka,
Ichiro Hasuo,
Hideki Imai,
Kanta Matsuura,
Peng Yang,
Rui Zhang:
Relations Among Notions of Security for Identity Based Encryption Schemes.
LATIN 2006: 130-141 |
| 4 | EE | Ichiro Hasuo,
Bart Jacobs,
Ana Sokolova:
Generic Trace Theory.
Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006) |
| 2005 |
|---|
| 3 | EE | Ichiro Hasuo,
Bart Jacobs:
Context-Free Languages via Coalgebraic Trace Semantics.
CALCO 2005: 213-231 |
| 2 | EE | Flavio D. Garcia,
Ichiro Hasuo,
Wolter Pieters,
Peter van Rossum:
Provable anonymity.
FMSE 2005: 63-72 |
| 2003 |
|---|
| 1 | EE | Ichiro Hasuo,
Ryo Kashima:
Kripke Completeness of First-Order Constructive Logics with Strong Negation.
Logic Journal of the IGPL 11(6): 615-646 (2003) |
