|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shaull Almagor, Udi Boker, Orna Kupferman |
What's Decidable about Weighted Automata?  |
ATVA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman |
Temporal Specifications with Accumulative Values. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Thomas A. Henzinger |
Determinizing Discounted-Sum Automata. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Orna Kupferman |
Co-Büching Them All. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Orna Kupferman, Adin Rosenberg |
Alternation Removal in Büchi Automata. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Orna Kupferman |
The Quest for a Tight Translation of Büchi to co-Büchi Automata. |
Fields of Logic and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
Three Paths to Effectiveness. |
Fields of Logic and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Orna Kupferman, Avital Steinitz |
Parityizing Rabin and Streett. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
The influence of domain interpretations on computational models. |
Applied Mathematics and Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Orna Kupferman |
Co-ing Büchi Made Tight and Useful. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
The Church-Turing Thesis over Arbitrary Domains. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
Comparing Computational Power. |
Logic Journal of the IGPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
Abstract Effective Models. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
A hypercomputational alien. |
Applied Mathematics and Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
Comparing Computational Power |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
How to Compare the Power of Computational Models. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")