Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Buechi with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2018 (12)
Publication types (Num. hits)
article(7) inproceedings(5)
Venues (Conferences, Journals, ...)
CoRR(6) LICS(2) CONCUR(1) ICIQ(1) LATA(1) Log. Methods Comput. Sci.(1)
Authors
Ichiro Hasuo(5) Natsuki Urabe(5) Shunsuke Shimizu(3) Martin Buechi(2) Adam Winkel(1) André Nies(1) Andreas Gaiser(1) Andrew Borthwick(1) Antonio Montalbán(1) Arthur Goldberg(1) Bakhadyr Khoussainov(1) Ben C. Moszkowski(1) Deian Tabakov(1) Geguang Pu(1) Greg Hjorth(1) Jakub Michaliszyn(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords
Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
51Martin Buechi, Andrew Borthwick, Adam Winkel, Arthur Goldberg ClueMaker: A Language for Approximate Record Matching. Search on Bibsonomy ICIQ The full citation details ... 2003 DBLP  BibTeX  RDF
34Natsuki Urabe, Ichiro Hasuo Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
34Jakub Michaliszyn, Jan Otop Average Stack Cost of Buechi Pushdown Automata. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
34Natsuki 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
34Natsuki 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
34Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo Coalgebraic Trace Semantics for Buechi and Parity Automata. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
34Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo Coalgebraic Trace Semantics for Buechi and Parity Automata. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Jianwen 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
34Andreas Gaiser, Stefan Schwoon Comparison of Algorithms for Checking Emptiness on Buechi Automata Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
34Deian Tabakov, Moshe Y. Vardi Model Checking Buechi Specifications. Search on Bibsonomy LATA The full citation details ... 2007 DBLP  BibTeX  RDF
33Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies From Automatic Structures to Borel Structures. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Borel, Buechi, automata, isomorphism
33Ben 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
Displaying result #1 - #12 of 12 (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