| |
| * | 2009 | |
|---|---|---|
| 19 | EE | Tim Fernando: Situations in LTL as strings. Inf. Comput. 207(10): 980-999 (2009) |
| 2006 | ||
| 18 | EE | Tim Fernando: Finite-State Temporal Projection. CIAA 2006: 230-241 |
| 17 | EE | Tim Fernando: Situations as Strings. Electr. Notes Theor. Comput. Sci. 165: 23-36 (2006) |
| 2004 | ||
| 16 | EE | Tim Fernando: A Finite-state Approach to Events in Natural Language Semantics. J. Log. Comput. 14(1): 79-92 (2004) |
| 2002 | ||
| 15 | EE | Tim Fernando: A Finite-State Approach to Event Semantics. TIME 2002: 124- |
| 2001 | ||
| 14 | Tim Fernando: Ambiguous Discourse in a Compositional Context. An Operational Perspective. Journal of Logic, Language and Information 10(1): 63-86 (2001) | |
| 2000 | ||
| 13 | Tim Fernando: Towards a Many-Dimensional Modal Logic for Semantic Processing. Advances in Modal Logic 2000: 139-151 | |
| 1999 | ||
| 12 | EE | Tim Fernando: Ambiguous propositions typed. EACL 1999: 86-93 |
| 11 | Tim Fernando: A Modal Logic for Non-Deterministic Discourse Processing. Journal of Logic, Language and Information 8(4): 445-468 (1999) | |
| 1998 | ||
| 10 | Tim Fernando: In Conjunction with Qualitative Probability. Ann. Pure Appl. Logic 92(3): 217-234 (1998) | |
| 1994 | ||
| 9 | Tim Fernando: Bisimulations and Predicate Logic. J. Symb. Log. 59(3): 924-944 (1994) | |
| 1993 | ||
| 8 | EE | Tim Fernando: The donkey strikes back: Extending the dynamic interpretation "constructively". EACL 1993: 130-138 |
| 7 | Tim Fernando: A higher-order extension of constraint programming in disourse analysis. PPCP 1993: 60-69 | |
| 1992 | ||
| 6 | EE | Tim Fernando: Comparative Transition System Semantics. CSL 1992: 149-166 |
| 5 | EE | Tim Fernando: Transition Systems and Dynamic Semantics. JELIA 1992: 232-251 |
| 1991 | ||
| 4 | EE | Tim Fernando: A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation. CSL 1991: 96-110 |
| 3 | EE | Tim Fernando: Provably Recursive Programs and Program Extraction. ICALP 1991: 303-313 |
| 1988 | ||
| 2 | EE | Daniel Leivant, Tim Fernando: Meager and replete failures of relative completeness. J. ACM 35(4): 953-964 (1988) |
| 1987 | ||
| 1 | Daniel Leivant, Tim Fernando: Skinny and Fleshy Failures of Relative Completeness. POPL 1987: 246-252 | |
| 1 | Daniel Leivant | [1] [2] |