| |
| 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] |