Travelled to:1 × Austria
1 × Canada
1 × Estonia
1 × France
1 × Spain
1 × United Kingdom
2 × Germany
2 × Italy
Collaborated with:∅ P.Stevens S.Kreutzer J.Duparc S.Quickert J.K.Filipe J.Esparza A.Mader
Talks about:calculus (5) independ (3) fixpoint (2) logic (2) game (2) qvt (2) transfinit (1) transform (1) imperfect (1) quantifi (1)
Person: Julian C. Bradfield
DBLP: Bradfield:Julian_C=
Facilitated 1 volumes:
EdContributed to:
2013
2013201220052003200220001999
1996
1992Wrote 11 papers:
- CSL-2013-Bradfield #dependence
- Team building in dependence (JCB), pp. 116–128.
- FASE-2013-BradfieldS #calculus #game studies #qvt #μ-calculus
- Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.
- FASE-2012-BradfieldS #calculus #qvt #recursion #μ-calculus
- Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.
- CSL-2005-BradfieldDQ #calculus #μ-calculus
- Transfinite Extension of the μ-Calculus (JCB, JD, SQ), pp. 384–396.
- CSL-2005-BradfieldK #complexity #fixpoint #logic
- The Complexity of Independence-Friendly Fixpoint Logic (JCB, SK), pp. 355–368.
- CSL-2003-Bradfield #independence
- Parity of Imperfection of Fixing Independence (JCB), pp. 72–85.
- FASE-2002-BradfieldFS #calculus #ocl #using #μ-calculus
- Enriching OCL Using Observational μ-Calculus (JCB, JKF, PS), pp. 203–217.
- CSL-2000-Bradfield #concurrent #independence #logic #named
- Independence: Logics and Concurrency (JCB), pp. 247–261.
- CSL-1999-Bradfield #fixpoint #game studies #quantifier
- Fixpoint Alternation and the Game Quantifier (JCB), pp. 350–361.
- ICALP-1996-BradfieldEM #calculus #effectiveness #linear #μ-calculus
- An Effective Tableau System for the Linear Time μ-Calculus (JCB, JE, AM), pp. 98–109.
- CAV-1992-Bradfield #model checking #proving
- A Proof Assistant for Symbolic Model-Checking (JCB), pp. 316–329.