Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Julian Gutierrez" ( http://dblp.L3S.de/Authors/Julian_Gutierrez )

URL (Homepage):  http://homepages.inf.ed.ac.uk/s0785782/  Author page on DBLP  Author page in RDF  Community of Julian Gutierrez in ASPL-2

Publication years (Num. hits)
2007 (1) 2009 (2) 2010 (1) 2011 (2)
Publication types (Num. hits)
article(3) inproceedings(3)
Venues (Conferences, Journals, ...)
CONCUR(1) CoRR(1) Electr. Notes Theor. Comput. S...(1) FOSSACS(1) Inf. Comput.(1) WoLLIC(1)
Authors
Julian Gutierrez(6) Julian C. Bradfield(2) Camilo Rueda(1) Frank D. Valencia(1) Jorge A. Pérez(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 3 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Julian Gutierrez, Julian C. Bradfield Model-checking games for fixpoint logics with partial order models. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Julian Gutierrez Concurrent Logic Games on Partial Orders. Search on Bibsonomy WoLLIC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Julian Gutierrez Logics and Games for True Concurrency Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Julian Gutierrez, Julian C. Bradfield Model-Checking Games for Fixpoint Logics with Partial Order Models. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
1Julian Gutierrez Logics and Bisimulation Games for Concurrency, Causality and Conflict. Search on Bibsonomy FOSSACS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
1Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia Timed Concurrent Constraint Programming for Analysing Biological Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.