Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "INFINITY"( http://dblp.L3S.de/Venues/INFINITY )

URL (DBLP): http://dblp.uni-trier.de/db/conf/infinity

Publication years (Num. hits)
1996-1997 (24) 2002-2003 (16) 2004-2005 (19) 2006-2009 (23) 2010-2011 (15) 2012-2014 (11)
Publication types (Num. hits)
inproceedings(96) proceedings(12)
Venues (Conferences, Journals, ...)
INFINITY(108)
Authors
Alain Finkel(6) Antonín Kucera 0001(5) Faron Moller(4) Mojmír Kretínský(4) Parosh Aziz Abdulla(4) Peter Habermehl(4) Richard Mayr(4) Tomás Vojnar(4) Ahmed Bouajjani(3) Hanifa Boucheneb(3) Jan Strejcek(3) Jirí Srba(3) Laurent Fribourg(3) Olaf Burkart(3) Philippe Schnoebelen(3) Tayssir Touili(3) More (+10 of total 146)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 108 publication records. Showing 108 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Pawel Paczkowski Characterizing bisimilarity of value-passing parametrised processes. Search on Bibsonomy INFINITY The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Yoram Hirshfeld Bisimulation trees and the decidability of weak bisimulations. Search on Bibsonomy INFINITY The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Régis Cridlig Semantic analysis of concurrent ML by abstract model-checking. Search on Bibsonomy INFINITY The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Bernhard Steffen Preface. Search on Bibsonomy INFINITY The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Olaf Burkart, Javier Esparza More infinite results. Search on Bibsonomy INFINITY The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Dilian Gurov, Sergey Berezin, Bruce M. Kapron A modal mu-calculus and a proof system for value passing processes. Search on Bibsonomy INFINITY The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Richard Mayr Semantic reachability. Search on Bibsonomy INFINITY The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Olaf Burkart, Yves-Marie Quemener Model-checking of infinite graphs defined by graph grammars. Search on Bibsonomy INFINITY The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #108 of 108 (100 per page; Change: )
Pages: [<<][1][2]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license