The SCEAS System
Navigation Menu

Search the dblp DataBase


Ichiro Hasuo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002