Skinny and Fleshy Failures of Relative Completeness. - Daniel Leivant; Tim Fernando (POPL, 1987)

Meager and replete failures of relative completeness. - Daniel Leivant; Tim Fernando (J. ACM, 1988)

A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation. - Tim Fernando (CSL, 1991)

Provably Recursive Programs and Program Extraction. - Tim Fernando (ICALP, 1991)

Comparative Transition System Semantics. - Tim Fernando (CSL, 1992)

Transition Systems and Dynamic Semantics. - Tim Fernando (JELIA, 1992)

The donkey strikes back: Extending the dynamic interpretation "constructively". - Tim Fernando (EACL, 1993)

A higher-order extension of constraint programming in disourse analysis. - Tim Fernando (PPCP, 1993)

Bisimulations and Predicate Logic. - Tim Fernando (J. Symb. Log., 1994)

In Conjunction with Qualitative Probability. - Tim Fernando (Ann. Pure Appl. Log., 1998)

Ambiguous propositions typed. - Tim Fernando (EACL, 1999)

A Modal Logic for Non-Deterministic Discourse Processing. - Tim Fernando (J. Log. Lang. Inf., 1999)

Towards a Many-Dimensional Modal Logic for Semantic Processing. - Tim Fernando (Advances in Modal Logic, 2000)

Ambiguous Discourse in a Compositional Context. An Operational Perspective. - Tim Fernando (J. Log. Lang. Inf., 2001)

A Type Reduction from Proof-conditional to Dynamic Semantics. - Tim Fernando (J. Philos. Log., 2001)

A Finite-State Approach to Event Semantics. - Tim Fernando (TIME, 2002)

A Finite-state Approach to Events in Natural Language Semantics. - Tim Fernando (J. Log. Comput., 2004)

Schedules in a Temporal Interpretation of Modals. - Tim Fernando (J. Semant., 2005)

Finite-State Temporal Projection. - Tim Fernando (CIAA, 2006)

Situations as Strings. - Tim Fernando (WoLLIC, 2006)

Branching from Inertia Worlds. - Tim Fernando (J. Semant., 2008)

Temporal Propositions as Vague Predicates. - Tim Fernando (Amsterdam Colloquium on Logic, Language and Meaning, 2009)

Situations in LTL as strings. - Tim Fernando (Inf. Comput., 2009)

Steedman's Temporality Proposal and Finite Automata. - Tim Fernando (Amsterdam Colloquium on Logic, Language and Meaning, 2011)

Strings over intervals. - Tim Fernando (TextInfer@EMNLP, 2011)

Finite-state Representations Embodying Temporal Relations. - Tim Fernando (FSMNLP, 2011)

Constructing Situations and Time. - Tim Fernando (J. Philos. Log., 2011)

Regular relations for temporal propositions. - Tim Fernando (Nat. Lang. Eng., 2011)

A Finite-State Temporal Ontology and Event-Intervals. - Tim Fernando (FSMNLP, 2012)

Finite State Methods and Description Logics. - Tim Fernando (FSMNLP, 2013)

Temporal Dependence in Legal Documents. - Daniel Isemann; Khurshid Ahmad 001; Tim Fernando; Carl Vogel (IDEAL, 2013)

Segmenting Temporal Intervals for Tense and Aspect. - Tim Fernando (MOL, 2013)

Types from Frames as Finite Automata. - Tim Fernando (FG, 2015)

Between the Event Calculus and Finite State Temporality. - Derek Kelleher; Tim Fernando; Carl Vogel (FG, 2015)

Temporal Forces and Type Coercion in Strings. - Derek Kelleher; Tim Fernando; Carl Vogel (FSMNLP, 2015)

Two Perspectives on Change and Institutions. - Tim Fernando (JOWO@IJCAI, 2015)

On regular languages over power sets. - Tim Fernando (J. Lang. Model., 2016)

Prior and temporal sequences for natural language. - Tim Fernando (Synth., 2016)

Predications, Fast and Slow. - Tim Fernando (COMMONSENSE, 2017)

MSO with tests and reducts. - Tim Fernando; David Woods; Carl Vogel (FSMNLP, 2019)

Prior Probabilities of Allen Interval Relations over Finite Orders. - Tim Fernando; Carl Vogel (ICAART (2), 2019)

Projecting Temporal Properties, Events and Actions. - Tim Fernando (IWCS (1), 2019)