Search the dblp DataBase

Publications of Author

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