Julian C. Bradfield
According to our database1,
Julian C. Bradfield
authored at least 32 papers
between 1990 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
1
1
2
1
2
1
1
2
1
1
1
1
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
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
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
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
Proceedings of the STACS 98, 1998
1996
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996
Proceedings of the CONCUR '96, 1996
1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991
PhD thesis, 1991
1990
Proceedings of the Advances in Petri Nets 1991, 1990