Julian Gutierrez

	2009
3		Julian Gutierrez, Julian C. Bradfield: Model-Checking Games for Fixpoint Logics with Partial Order Models. CONCUR 2009: 354-368
2		Julian Gutierrez: Logics and Bisimulation Games for Concurrency, Causality and Conflict. FOSSACS 2009: 48-62
	2007
1		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	[3]
2	Jorge A. Pérez (Jorge Andrés Pérez)	[1]
3	Camilo Rueda	[1]
4	Frank D. Valencia (Frank Valencia)	[1]

Colors in the list of coauthors