cs-conference-ranking.org Search 971 venues

Tim Fernando

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

12

Active years

1987–2019

Best venue rank

A*

Where they publish

Papers

15 indexed papers, newest first.

Year	Venue	Title	Authors
2019	ICAART	Prior Probabilities of Allen Interval Relations over Finite Orders.	Tim Fernando, Carl Vogel
2015	FG	Types from Frames as Finite Automata.	Tim Fernando
2015	FG	Between the Event Calculus and Finite State Temporality.	Derek Kelleher, Tim Fernando, Carl Vogel
2015	IJCAI	Two Perspectives on Change and Institutions.	Tim Fernando
2013	IDEAL	Temporal Dependence in Legal Documents.	Daniel Isemann, Khurshid Ahmad, Tim Fernando, Carl Vogel
2011	EMNLP	Strings over intervals.	Tim Fernando
2002	TIME	A Finite-State Approach to Event Semantics.	Tim Fernando
2000	AiML	Towards a Many-Dimensional Modal Logic for Semantic Processing.	Tim Fernando
1999	EACL	Ambiguous propositions typed.	Tim Fernando
1993	EACL	The donkey strikes back: Extending the dynamic interpretation "constructively".	Tim Fernando
1992	CSL	Comparative Transition System Semantics.	Tim Fernando
1992	JELIA	Transition Systems and Dynamic Semantics.	Tim Fernando
1991	CSL	A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation.	Tim Fernando
1991	ICALP	Provably Recursive Programs and Program Extraction.	Tim Fernando
1987	POPL	Skinny and Fleshy Failures of Relative Completeness.	Daniel Leivant, Tim Fernando