David Walker 0008

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

? Tutorial for this page

Demo Data from VLDB 2026 / reviewers in the wild / expert

dblp:53/5714-8 · DBLP profile ↗

← Back

14ranked-venue papers

2as first author

0since 2021 · last 2005

0000-0002-8583-4279ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 13 · 1 first-authorSoftware engineering, systems software and programming languages · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages 1 paper		Programming languages and type systems · 100%
Theoretical computer science 1 paper		Logic in computer science · 100%

Topics — the 5 heaviest of 5, each with the papers that count most for it

Topic	Weight	Papers	Last	Evidence papers
Programming languages and type systems › program equivalence full abstraction	0.1	1	2005	Types and full abstraction for polyadic pi-calculus · Inf. Comput. 2005
Programming languages and type systems type systems	0.1	1	2005	Types and full abstraction for polyadic pi-calculus · Inf. Comput. 2005
Logic in computer science › term rewriting confluence	0.0	1	1997	On Confluence in the pi-Calculus · ICALP 1997
Logic in computer science › process algebra pi-calculus	0.0	1	1997	On Confluence in the pi-Calculus · ICALP 1997
Logic in computer science process algebra	0.0	1	1997	On Confluence in the pi-Calculus · ICALP 1997

Year	Publication	Venue	Position
2005	Types and full abstraction for polyadic pi-calculus Paola Quaglia, David Walker 0008	Inf. Comput.	2
2001	On Barbed Equivalences in pi-Calculus Davide Sangiorgi, David Walker 0008	CONCUR	2
2001	A Process-Calculus Analysis of Concurrent Operations on B-Trees Anna Philippou, David Walker 0008	J. Comput. Syst. Sci.	2
2000	On Synchronous and Asynchronous Mobile Processes Paola Quaglia, David Walker 0008	FoSSaCS	2
1998	On Encoding p-pi in m-pi Paola Quaglia, David Walker 0008	FSTTCS	2
1998	Partial Confluence of Proceses and Systems of Objects Xinxin Liu 0008, David Walker 0008	Theor. Comput. Sci.	2
1998	On Transformations of Concurrent-Object Programs Anna Philippou, David Walker 0008	Theor. Comput. Sci.	2
1997	A Rigorous Analysis of Concurrent Operations on B-Trees Anna Philippou, David Walker 0008	CONCUR	2
1997	On Confluence in the pi-Calculus Anna Philippou, David Walker 0008	ICALP	2
1996	On Transformations of Concurrent Object Programs Anna Philippou, David Walker 0008	CONCUR	2
1995	A Polymorphic Type System for the Polyadic pi-calculus Xinxin Liu 0008, David Walker 0008	CONCUR	2
1995	On Sharing and Determinacy in Concurrent Systems Anna Philippou, David Walker 0008	CONCUR	2
1994	On Bisimulation in the pi-calculus David Walker 0008	CONCUR	1
1994	Algebraic Proofs of Properties of Objects David Walker 0008	ESOP	1