|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIQ ![In: Eighth International Conference on Information Quality (ICIQ 2003), November 7-9. 2003, pp. 207-223, 2003, MIT. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
34 | Natsuki Urabe, Ichiro Hasuo |
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.06811, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | Jakub Michaliszyn, Jan Otop |
Average Stack Cost of Buechi Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.04490, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
34 | Natsuki Urabe, Ichiro Hasuo |
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(3), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.04680, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
Coalgebraic Trace Semantics for Buechi and Parity Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.09399, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo |
Coalgebraic Trace Semantics for Buechi and Parity Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 24:1-24:15, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.3866, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
34 | Andreas Gaiser, Stefan Schwoon |
Comparison of Algorithms for Checking Emptiness on Buechi Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0910.3766, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
34 | Deian Tabakov, Moshe Y. Vardi |
Model Checking Buechi Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., pp. 565-576, 2007, Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
33 | Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies |
From Automatic Structures to Borel Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 431-441, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Borel, Buechi, automata, isomorphism |
33 | Ben C. Moszkowski |
A Complete Axiomatization of Interval Temporal Logic with Infinite Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 241-252, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
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: )
|
|