|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ahmet Kara, Thomas Schwentick, Tony Tan |
Feasible Automata for Two-Variable Logic with Successor on Data Words.  |
LATA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick |
Expressiveness of Hybrid Temporal Logic on Data Words. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick, Tony Tan |
Feasible Automata for Two-Variable Logic with Successor on Data Words |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick, Thomas Zeume |
Temporal Logics on Words with Multiple Data Values |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ahmet Kara, Tony Tan |
Extending Büchi Automata with Constraints on Data Values |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick, Thomas Zeume |
Temporal Logics on Words with Multiple Data Values. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Martin Lange, Thomas Schwentick, Volker Weber |
On the Hybrid Extension of CTL and CTL+ |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick |
On the Hybrid Extension of CTL and CTL+. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")