cs-conference-ranking.org Search 971 venues

Dan E. Willard

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

10

Active years

1982–2020

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

Year	Venue	Title	Authors
2020	LFCS	On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction.	Dan E. Willard
2014	WoLLIC	On the Broader Epistemological Significance of Self-Justifying Axiom Systems.	Dan E. Willard
2005	TABLEAUX	On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency.	Dan E. Willard
2002	TABLEAUX	Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem.	Dan E. Willard
2000	TABLEAUX	The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q.	Dan E. Willard
1992	SODA	Applications of the Fusion Tree Method to Computational Geometry and Searching.	Dan E. Willard
1990	FOCS	Trans-dichotomous Algorithms for Minimum Spanning Trees and Shortest Paths	Michael L. Fredman, Dan E. Willard
1990	PODS	Quasilinear Algorithms for Processing Relational Calculus Expressions.	Dan E. Willard
1990	STOC	BLASTING through the Information Theoretic Barrier with FUSION TREES	Michael L. Fredman, Dan E. Willard
1986	ICALP	Lower Bounds for Dynamic Range Query Problems That Permit Subtraction (Extended Abstract).	Dan E. Willard
1986	SIGMOD	Good Worst-Case Algorithms for Inserting and Deleting Records in Dense Sequential Files.	Dan E. Willard
1985	STACS	Reduced Memory Space for Multi-Dimensional Search Trees (Extended Abstract).	Dan E. Willard
1984	ICALP	Sampling Algorithms for Differential Batch Retrieval Problems (Extended Abstract).	Dan E. Willard
1984	SIGMOD	Efficient Processing of Relational Calculus Expressions Using Range Query Theory.	Dan E. Willard
1984	STOC	Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report)	Dan E. Willard
1982	STOC	Maintaining Dense Sequential Files in a Dynamic Environment (Extended Abstract)	Dan E. Willard