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