# Julian C. Bradfield

According to our database

Collaborative distances:

^{1}, Julian C. Bradfield authored at least 31 papers between 1990 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Proceedings of the Handbook of Model Checking., 2018

2016

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction.

Synth., 2016

2013

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus.

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Inf. Comput., 2011

2010

J. Comput. Virol., 2010

2007

Proceedings of the Handbook of Modal Logic., 2007

2005

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

2003

RAIRO Theor. Informatics Appl., 2003

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Independence-Friendly Modal Logic and True Concurrency.

Nord. J. Comput., 2002

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Proceedings of the CONCUR 2002, 2002

2001

Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

Proceedings of the Handbook of Process Algebra, 2001

2000

Proceedings of the Computer Science Logic, 2000

1999

RAIRO Theor. Informatics Appl., 1999

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Theor. Comput. Sci., 1998

Proceedings of the STACS 98, 1998

1996

Proceedings of the STACS 96, 1996

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

Proceedings of the CONCUR '96, 1996

1992

Theor. Comput. Sci., 1992

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

PhD thesis, 1991

1990

Proceedings of the CONCUR '90, 1990

Proceedings of the Advances in Petri Nets 1991, 1990