Julian Gutierrez

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c5		Pierre Clairambault, Julian Gutierrez, Glynn Winskel: The Winning Ways of Concurrent Games. LICS 2012: 235-244
c4		Julian Gutierrez, Felix Klaedtke, Martin Lange: The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity. GandALF 2012: 113-126
	2011
j2		Julian Gutierrez, Julian C. Bradfield: Model-checking games for fixpoint logics with partial order models. Inf. Comput. 209(5): 766-781 (2011)
c3		Julian Gutierrez: Concurrent Logic Games on Partial Orders. WoLLIC 2011: 146-160
	2010
i1		Julian Gutierrez: Logics and Games for True Concurrency. CoRR abs/1011.1172 (2010)
	2009
c2		Julian Gutierrez, Julian C. Bradfield: Model-Checking Games for Fixpoint Logics with Partial Order Models. CONCUR 2009: 354-368
c1		Julian Gutierrez: Logics and Bisimulation Games for Concurrency, Causality and Conflict. FOSSACS 2009: 48-62
	2007
j1		Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia: Timed Concurrent Constraint Programming for Analysing Biological Systems. Electr. Notes Theor. Comput. Sci. 171(2): 117-137 (2007)

Coauthor Index

1	Julian C. Bradfield	[j2] [c2]
2	Pierre Clairambault	[c5]
3	Felix Klaedtke	[c4]
4	Martin Lange	[c4]
5	Jorge A. Pérez (Jorge Andrés Pérez)	[j1]
6	Camilo Rueda	[j1]
7	Frank D. Valencia (Frank Valencia)	[j1]
8	Glynn Winskel	[c5]

Last update Fri May 24 21:45:49 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page