Proving temporal properties of Petri Nets. - Julian C. Bradfield (Applications and Theory of Petri Nets, 1990)

Verifying Temporal Properties of Processes. - Julian C. Bradfield; Colin Stirling (CONCUR, 1990)

Verifying temporal properties of systems with applications to petri nets. - Julian C. Bradfield (1991)

A Proof Assistant for Symbolic Model-Checking. - Julian C. Bradfield (CAV, 1992)

Local Model Checking for Infinite State Spaces. - Julian C. Bradfield; Colin Stirling (Theor. Comput. Sci., 1992)

The Modal mu-calculus Alternation Hierarchy is Strict. - Julian C. Bradfield (CONCUR, 1996)

An Effective Tableau System for the Linear Time µ-Calculus. - Julian C. Bradfield; Javier Esparza; Angelika Mader (ICALP, 1996)

On the Expressivity of the Modal Mu-Calculus. - Julian C. Bradfield (STACS, 1996)

Simplifying the Modal Mu-Calculus Alternation Hierarchy. - Julian C. Bradfield (STACS, 1998)

The Modal µ-Calculus Alternation Hierarchy is Strict. - Julian C. Bradfield (Theor. Comput. Sci., 1998)

Fixpoint Alternation and the Game Quantifier. - Julian C. Bradfield (CSL, 1999)

Fixpoint alternation: Arithmetic, transition systems, and the binary tree. - Julian C. Bradfield (RAIRO Theor. Informatics Appl., 1999)

Independence: Logics and Concurrency. - Julian C. Bradfield (CSL, 2000)

Modal Logics and mu-Calculi: An Introduction. - Julian C. Bradfield; Colin Stirling (Handbook of Process Algebra, 2001)

On Logical and Concurrent Equivalences. - Julian C. Bradfield; Sibylle B. Fröschle (EXPRESS, 2001)

Introduction to Modal and Temporal Mu-Calculi (Abstract). - Julian C. Bradfield (CONCUR, 2002)

Enriching OCL Using Observational Mu-Calculus. - Julian C. Bradfield; Juliana Küster Filipe; Perdita Stevens (FASE, 2002)

Independence-Friendly Modal Logic and True Concurrency. - Julian C. Bradfield; Sibylle B. Fröschle (Nord. J. Comput., 2002)

Parity of Imperfection of Fixing Independence. - Julian C. Bradfield (CSL, 2003)

Fixpoints, games and the difference hierarchy. - Julian C. Bradfield (RAIRO Theor. Informatics Appl., 2003)

Preface. - Julian C. Bradfield; Faron Moller (INFINITY, 2004)

Transfinite Extension of the Mu-Calculus. - Julian C. Bradfield; Jacques Duparc; Sandra Quickert (CSL, 2005)

The Complexity of Independence-Friendly Fixpoint Logic. - Julian C. Bradfield; Stephan Kreutzer (CSL, 2005)

Modal mu-calculi. - Julian C. Bradfield; Colin Stirling (Handbook of Modal Logic, 2007)

A general definition of malware. - Simon Kramer 001; Julian C. Bradfield (J. Comput. Virol., 2010)

Model-checking games for fixpoint logics with partial order models. - Julian Gutierrez 001; Julian C. Bradfield (Inf. Comput., 2011)

Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. - Julian C. Bradfield; Perdita Stevens (FASE, 2012)

Team building in dependence. - Julian C. Bradfield (CSL, 2013)

Enforcing QVT-R with mu-Calculus and Games. - Julian C. Bradfield; Perdita Stevens (FASE, 2013)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. - Julian C. Bradfield; Julian Gutierrez 001; Michael J. Wooldridge (Synth., 2016)

The mu-calculus and Model Checking. - Julian C. Bradfield; Igor Walukiewicz (Handbook of Model Checking, 2018)

On probabilistic stable event structures. - Nargess Ghahremani; Julian C. Bradfield (CoRR, 2020)