Demo Data from EDBT 2026 / reviewers in the wild / expert
Julian C. Bradfield
dblp:12/4197
· DBLP profile ↗
15ranked-venue papers
13as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 12 · 10 first-authorSoftware engineering, systems software and programming languages · 3 · 3 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.
| Theoretical computer science
2 papers |
Logic in computer science · 64% Automated reasoning and model checking · 36% |
Topics — the 6 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science
fixpoint logic |
0.1 | 1 | 2011 | Model-checking games for fixpoint logics with partial order models · Inf. Comput. 2011 |
Automated reasoning and model checking
model checking |
0.1 | 1 | 2011 | Model-checking games for fixpoint logics with partial order models · Inf. Comput. 2011 |
Logic in computer science › temporal logic
linear time mu-calculus |
0.0 | 1 | 1996 | An Effective Tableau System for the Linear Time µ-Calculus · ICALP 1996 |
Logic in computer science
proof systems |
0.0 | 1 | 1996 | An Effective Tableau System for the Linear Time µ-Calculus · ICALP 1996 |
Logic in computer science › proof systems
tableau method |
0.0 | 1 | 1996 | An Effective Tableau System for the Linear Time µ-Calculus · ICALP 1996 |
Logic in computer science
temporal logic |
0.0 | 1 | 1996 | An Effective Tableau System for the Linear Time µ-Calculus · ICALP 1996 |
Methods — techniques the papers use, named apart from their topics
model checking · 0.1game semantics · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Team building in dependenceabstractHintikka and Sandu's Independence-Friendly Logic was introduced as a logic for partially ordered quantification, in which the independence of (existential) quantifiers from previous (universal) quantifiers is written by explicit syntax. It was originally given a semantics by games of imperfect information; Hodges then gave a (necessarily) second-order Tarskian semantics. More recently, Väänänen (2007) has proposed that the many curious features of IF logic can be better understood in his Dependence Logic, in which the (in)dependence of variables is stated in atomic formula, rather than by changing the definition of quantifier; he gives semantics in Tarskian form, via imperfect information games, and via a routine second-order perfect information game. He then defines Team Logic, where classical negation is added to the mix, resulting in a full second-order expressive logic. He remarks that no game semantics appears possible (other than by playing at second order). In this article, we explore an alternative approach to game semantics for DL, where we avoid imperfect information, yet stay locally apparently first-order, by sweeping the second-order information into longer games (infinite games in the case of countable models). Extending the game to Team Logic is not possible in standard games, but we conjecture a move to transfinite games may achieve a 'natural' game for Team Logic. Julian C. Bradfield |
CSL | 1 |
| 2013 | Enforcing QVT-R with mu-Calculus and Games
Julian C. Bradfield, Perdita Stevens |
FASE | 1 |
| 2012 | Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus
Julian C. Bradfield, Perdita Stevens |
FASE | 1 |
| 2011 | Model-checking games for fixpoint logics with partial order models
Julian Gutierrez 0001, Julian C. Bradfield |
Inf. Comput. | 2 |
| 2009 | Model-Checking Games for Fixpoint Logics with Partial Order Models
Julian Gutierrez 0001, Julian C. Bradfield |
CONCUR | 2 |
| 2002 | Introduction to Modal and Temporal Mu-Calculi (Abstract)
Julian C. Bradfield |
CONCUR | 1 |
| 2002 | Enriching OCL Using Observational Mu-Calculus
Julian C. Bradfield, Juliana Küster Filipe Bowles, Perdita Stevens |
FASE | 1 |
| 2000 | Independence: Logics and Concurrency
Julian C. Bradfield |
CSL | 1 |
| 1998 | Simplifying the Modal Mu-Calculus Alternation Hierarchy
Julian C. Bradfield |
STACS | 1 |
| 1998 | The Modal µ-Calculus Alternation Hierarchy is Strict
Julian C. Bradfield |
Theor. Comput. Sci. | 1 |
| 1996 | The Modal mu-calculus Alternation Hierarchy is Strict
Julian C. Bradfield |
CONCUR | 1 |
| 1996 | An Effective Tableau System for the Linear Time µ-Calculus
Julian C. Bradfield, Javier Esparza, Angelika Mader |
ICALP | 1 |
| 1996 | On the Expressivity of the Modal Mu-Calculus
Julian C. Bradfield |
STACS | 1 |
| 1992 | Local Model Checking for Infinite State Spaces
Julian C. Bradfield, Colin Stirling |
Theor. Comput. Sci. | 1 |
| 1990 | Verifying Temporal Properties of Processes
Julian C. Bradfield, Colin Stirling |
CONCUR | 1 |