Chrysafis Hartonas

	2008
11		Chrysafis Hartonas, Eleni Gana: Learning Objects and Learning Services in the Semantic Web. ICALT 2008: 584-586
	1998
10		Chrysafis Hartonas, Matthew Hennessy: Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. Inf. Comput. 145(1): 64-106 (1998)
9		Chrysafis Hartonas: A Fixpoint Approach to Finite Delay and Fairness. Theor. Comput. Sci. 198(1-2): 131-158 (1998)
8		Chrysafis Hartonas: Duality for Modal mu-Logics. Theor. Comput. Sci. 202(1-2): 193-222 (1998)
	1997
7		Chrysafis Hartonas, Matthew Hennessy: Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract). CSL 1997: 239-254
6		Chrysafis Hartonas: Pretopology Semantics for Bimodal Intuitionistic Linear Logic. Logic Journal of the IGPL 5(1): (1997)
5		Chrysafis Hartonas: An Algebraic Theory of Structured Objects. Notre Dame Journal of Formal Logic 38(1): 65-80 (1997)
4		Chrysafis Hartonas: Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58(3): 403-450 (1997)
3		Chrysafis Hartonas: Semantics of Finite Delay. Theor. Comput. Sci. 176(1-2): 205-234 (1997)
	1995
2		Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas: On the Logic of Information Flow. Logic Journal of the IGPL 3(1): 7-50 (1995)
	1994
1		Chrysafis Hartonas, Marta Z. Kwiatkowska: Synchronisation Trees and Fairness: A Case Study. Theory and Formal Methods 1994: 181-198

Coauthor Index

1	K. Jon Barwise (Jon Barwise)	[2]
2	Dov M. Gabbay	[2]
3	Eleni Gana	[11]
4	Matthew Hennessy	[7] [10]
5	Marta Z. Kwiatkowska	[1]

Colors in the list of coauthors