Ichiro Hasuo

	2009
12		Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova: Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80
	2008
11		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260
	2007
10		Ichiro Hasuo, Yoshinobu Kawabe: Probabilistic Anonymity Via Coalgebraic Simulations. ESOP 2007: 379-394
9		Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu: Categorical Views on Computations on Trees (Extended Abstract). ICALP 2007: 619-630
8		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction CoRR abs/0710.2505: (2007)
7		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. Logical Methods in Computer Science 3(4): (2007)
	2006
6		Ichiro Hasuo: Generic Forward and Backward Simulations. CONCUR 2006: 406-420
5		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		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Theory. Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006)
	2005
3		Ichiro Hasuo, Bart Jacobs: Context-Free Languages via Coalgebraic Trace Semantics. CALCO 2005: 213-231
2		Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum: Provable anonymity. FMSE 2005: 63-72
	2003
1		Ichiro Hasuo, Ryo Kashima: Kripke Completeness of First-Order Constructive Logics with Strong Negation. Logic Journal of the IGPL 11(6): 615-646 (2003)

Coauthor Index

1	Nuttapong Attrapadung	[5]
2	Yang Cui	[5]
3	David Galindo	[5]
4	Flavio D. Garcia	[2]
5	Goichiro Hanaoka	[5]
6	Chris Heunen	[12]
7	Hideki Imai	[5]
8	Bart Jacobs	[3] [4] [7] [8] [9] [11] [12]
9	Ryo Kashima	[1]
10	Yoshinobu Kawabe	[10]
11	Kanta Matsuura	[5]
12	Wolter Pieters	[2]
13	Peter van Rossum	[2]
14	Ana Sokolova	[4] [7] [8] [11] [12]
15	Tarmo Uustalu	[9]
16	Peng Yang	[5]
17	Rui Zhang	[5]

Colors in the list of coauthors