dblp.uni-trier.dewww.uni-trier.de

Chrysafis Hartonas

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEChrysafis 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)
9EEChrysafis Hartonas: A Fixpoint Approach to Finite Delay and Fairness. Theor. Comput. Sci. 198(1-2): 131-158 (1998)
8EEChrysafis 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
6EEChrysafis 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)
3EEChrysafis Hartonas: Semantics of Finite Delay. Theor. Comput. Sci. 176(1-2): 205-234 (1997)
1995
2EEJon 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)