Search results for "Julian C. Bradfield"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Julian C. Bradfield, Perdita Stevens	Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus.	FASE	2012	DBLP DOI BibTeX RDF
1	Julian Gutierrez, Julian C. Bradfield	Model-checking games for fixpoint logics with partial order models.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Simon Kramer, Julian C. Bradfield	A general definition of malware.	Journal in Computer Virology	2010	DBLP DOI BibTeX RDF
1	Julian Gutierrez, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
1	Julian C. Bradfield, Faron Moller	Preface.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Julian C. Bradfield, Jacques Duparc, Sandra Quickert	Transfinite Extension of the Mu-Calculus.	CSL	2005	DBLP DOI BibTeX RDF
1	Julian C. Bradfield, Stephan Kreutzer	The Complexity of Independence-Friendly Fixpoint Logic.	CSL	2005	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	Fixpoints, games and the difference hierarchy.	ITA	2003	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	Parity of Imperfection of Fixing Independence.	CSL	2003	DBLP DOI BibTeX RDF
1	Julian C. Bradfield, Sibylle B. Fröschle	Independence-Friendly Modal Logic and True Concurrency.	Nord. J. Comput.	2002	DBLP BibTeX RDF
1	Julian C. Bradfield	Introduction to Modal and Temporal Mu-Calculi (Abstract).	CONCUR	2002	DBLP DOI BibTeX RDF
1	Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens	Enriching OCL Using Observational Mu-Calculus.	FASE	2002	DBLP DOI BibTeX RDF
1	Julian C. Bradfield (eds.)	Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings	CSL	2002	DBLP BibTeX RDF
1	Julian C. Bradfield, Sibylle B. Fröschle	On Logical and Concurrent Equivalences.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	Independence: Logics and Concurrency.	CSL	2000	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	Fixpoint alternation: Arithmetic, transition systems, and the binary tree.	ITA	1999	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	Fixpoint Alternation and the Game Quantifier.	CSL	1999	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	The Modal µ-Calculus Alternation Hierarchy is Strict.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	Simplifying the Modal Mu-Calculus Alternation Hierarchy.	STACS	1998	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	The Modal mu-calculus Alternation Hierarchy is Strict.	CONCUR	1996	DBLP DOI BibTeX RDF	mu-calculi, temporal logic, hierarchies, alternation
1	Julian C. Bradfield, Javier Esparza, Angelika Mader	An Effective Tableau System for the Linear Time µ-Calculus.	ICALP	1996	DBLP DOI BibTeX RDF	linear-time -calculus, local model-checking, temporal logic, tableau systems
1	Julian C. Bradfield	On the Expressivity of the Modal Mu-Calculus.	STACS	1996	DBLP DOI BibTeX RDF	verification, temporal logic, descriptive complexity, logic in computer science
1	Julian C. Bradfield, Colin Stirling	Local Model Checking for Infinite State Spaces.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	A Proof Assistant for Symbolic Model-Checking.	CAV	1992	DBLP DOI BibTeX RDF
1	Julian C. Bradfield, Colin Stirling	Verifying Temporal Properties of Processes.	CONCUR	1990	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	Proving temporal properties of Petri Nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	model-checking, Petri nets, temporal logic, tableau systems

Publications of "Julian C. Bradfield" ( http://dblp.L3S.de/Authors/Julian_C._Bradfield )