Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Buechi-automata (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000 (1) 2009 (1) 2012 (1) 2016 (1) 2017 (1)
Publication types (Num. hits)
article(4) inproceedings(1)
Venues (Conferences, Journals, ...)
CoRR(3) LICS(1) Log. Methods Comput. Sci.(1)
Authors
Ichiro Hasuo(2) Natsuki Urabe(2) Andreas Gaiser(1) Ben C. Moszkowski(1) Geguang Pu(1) Jianwen Li(1) Jifeng He 0001(1) Kim G. Larsen(1) Lijun Zhang 0001(1) Shunsuke Shimizu(1) Stefan Schwoon(1) Zheng Wang 0005(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
41Ben C. Moszkowski A Complete Axiomatization of Interval Temporal Logic with Infinite Time. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
41Natsuki Urabe, Ichiro Hasuo Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
41Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
41Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang 0005, Jifeng He 0001, Kim G. Larsen On the Relationship between LTL Normal Forms and Buechi Automata Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
41Andreas Gaiser, Stefan Schwoon Comparison of Algorithms for Checking Emptiness on Buechi Automata Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #5 of 5 (100 per page; Change: )
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