|
|
Venues (Conferences, Journals, ...)
|
|
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 |
51 | Martin Buechi, Andrew Borthwick, Adam Winkel, Arthur Goldberg |
ClueMaker: A Language for Approximate Record Matching. |
ICIQ |
2003 |
DBLP BibTeX RDF |
|
34 | Natsuki Urabe, Ichiro Hasuo |
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
34 | Jakub Michaliszyn, Jan Otop |
Average Stack Cost of Buechi Pushdown Automata. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
34 | Natsuki Urabe, Ichiro Hasuo |
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. |
Log. Methods Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
34 | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
Coalgebraic Trace Semantics for Buechi and Parity Automata. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
34 | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
Coalgebraic Trace Semantics for Buechi and Parity Automata. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Jianwen 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 |
CoRR |
2012 |
DBLP BibTeX RDF |
|
34 | Andreas Gaiser, Stefan Schwoon |
Comparison of Algorithms for Checking Emptiness on Buechi Automata |
CoRR |
2009 |
DBLP BibTeX RDF |
|
34 | Deian Tabakov, Moshe Y. Vardi |
Model Checking Buechi Specifications. |
LATA |
2007 |
DBLP BibTeX RDF |
|
33 | Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies |
From Automatic Structures to Borel Structures. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Borel, Buechi, automata, isomorphism |
33 | Ben C. Moszkowski |
A Complete Axiomatization of Interval Temporal Logic with Infinite Time. |
LICS |
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: )
|
|