BibSonomy :: author  ::

bookmarks

publications

(15)

• Special Section on Recent Progress in Superconductive Digital Electronics.
  Shinya Hasuo IEICE Transactions 91-C 251 (2008)
  to dblp by dblp on 2008-09-16 00:00:00
  | URL | BibTeX  
• Inference Based on Distributed Representations Using Trajectory Attractors.
  Ken Yamane and Takashi Hasuo and Masahiko Morita ICONIP (2) 1065-1074 (2007)
  to dblp by dblp on 2008-08-22 00:00:00
  | URL | BibTeX  
• Self-reconfigurable modular robot M-TRAN: distributed control and communication.
  Haruhisa Kurokawa and Kohji Tomita and Akiya Kamimura and Shigeru Kokaji and Takashi Hasuo and Satoshi Murata ROBOCOMM 21 (2007)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• The Microcosm Principle and Concurrency in Coalgebra.
  Ichiro Hasuo and Bart Jacobs and Ana Sokolova FoSSaCS 246-260 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• Generic Trace Semantics via Coinduction.
  Ichiro Hasuo and Bart Jacobs and Ana Sokolova Logical Methods in Computer Science 3 (2007)
  to dblp by dblp and 1 other person on 2008-04-07 00:00:00
  | URL | BibTeX  
• Generic Trace Semantics via Coinduction
  Ichiro Hasuo and Bart Jacobs and Ana Sokolova CoRR abs/0710.2505 (2007)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Categorical Views on Computations on Trees (Extended Abstract).
  Ichiro Hasuo and Bart Jacobs and Tarmo Uustalu ICALP 619-630 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Probabilistic Anonymity Via Coalgebraic Simulations.
  Ichiro Hasuo and Yoshinobu Kawabe ESOP 379-394 (2007)
  to dblp by dblp on 2007-07-31 00:00:00
  | URL | BibTeX  
• Generic Trace Theory.
  Ichiro Hasuo and Bart Jacobs and Ana Sokolova Electr. Notes Theor. Comput. Sci. 164 47-65 (2006)
  to dblp by dblp on 2007-02-12 00:00:00
  | URL | BibTeX  
• Generic Forward and Backward Simulations.
  Ichiro Hasuo CONCUR 406-420 (2006)
  to dblp by dblp on 2006-08-22 00:00:00
  | URL | BibTeX