dblp.uni-trier.dewww.uni-trier.de

Julian C. Bradfield Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
23EEJulian Gutierrez, Julian C. Bradfield: Model-Checking Games for Fixpoint Logics with Partial Order Models. CONCUR 2009: 354-368
2005
22EEJulian C. Bradfield, Stephan Kreutzer: The Complexity of Independence-Friendly Fixpoint Logic. CSL 2005: 355-368
21EEJulian C. Bradfield, Jacques Duparc, Sandra Quickert: Transfinite Extension of the Mu-Calculus. CSL 2005: 384-396
20EEJulian C. Bradfield, Faron Moller: Preface. Electr. Notes Theor. Comput. Sci. 138(3): 1 (2005)
2003
19EEJulian C. Bradfield: Parity of Imperfection of Fixing Independence. CSL 2003: 72-85
18EEJulian C. Bradfield: Fixpoints, games and the difference hierarchy. ITA 37(1): 1-15 (2003)
2002
17 Julian C. Bradfield: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings Springer 2002
16EEJulian C. Bradfield: Introduction to Modal and Temporal Mu-Calculi (Abstract). CONCUR 2002: 98
15EEJulian C. Bradfield, Juliana Küster Filipe, Perdita Stevens: Enriching OCL Using Observational Mu-Calculus. FASE 2002: 203-217
14 Julian C. Bradfield, Sibylle B. Fröschle: Independence-Friendly Modal Logic and True Concurrency. Nord. J. Comput. 9(1): 102-117 (2002)
2001
13EEJulian C. Bradfield, Sibylle B. Fröschle: On Logical and Concurrent Equivalences. Electr. Notes Theor. Comput. Sci. 52(1): (2001)
2000
12EEJulian C. Bradfield: Independence: Logics and Concurrency. CSL 2000: 247-261
1999
11EEJulian C. Bradfield: Fixpoint Alternation and the Game Quantifier. CSL 1999: 350-361
10 Julian C. Bradfield: Fixpoint alternation: Arithmetic, transition systems, and the binary tree. ITA 33(4/5): 341-356 (1999)
1998
9EEJulian C. Bradfield: Simplifying the Modal Mu-Calculus Alternation Hierarchy. STACS 1998: 39-49
8EEJulian C. Bradfield: The Modal µ-Calculus Alternation Hierarchy is Strict. Theor. Comput. Sci. 195(2): 133-153 (1998)
1996
7EEJulian C. Bradfield: The Modal mu-calculus Alternation Hierarchy is Strict. CONCUR 1996: 233-246
6EEJulian C. Bradfield, Javier Esparza, Angelika Mader: An Effective Tableau System for the Linear Time µ-Calculus. ICALP 1996: 98-109
5EEJulian C. Bradfield: On the Expressivity of the Modal Mu-Calculus. STACS 1996: 479-490
1992
4EEJulian C. Bradfield: A Proof Assistant for Symbolic Model-Checking. CAV 1992: 316-329
3 Julian C. Bradfield, Colin Stirling: Local Model Checking for Infinite State Spaces. Theor. Comput. Sci. 96(1): 157-174 (1992)
1990
2EEJulian C. Bradfield: Proving temporal properties of Petri Nets. Applications and Theory of Petri Nets 1990: 29-47
1EEJulian C. Bradfield, Colin Stirling: Verifying Temporal Properties of Processes. CONCUR 1990: 115-125

Coauthor Index

1Juliana Küster Filipe Bowles (Juliana Küster Filipe) [15]
2Jacques Duparc [21]
3Javier Esparza [6]
4Sibylle B. Fröschle [13] [14]
5Julian Gutierrez [23]
6Stephan Kreutzer [22]
7Angelika Mader [6]
8Faron Moller [20]
9Sandra Quickert [21]
10Perdita Stevens [15]
11Colin Stirling [1] [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)