|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Benedikt, Gabriele Puppis, Cristian Riveros |
The Cost of Traveling between Languages.  |
ICALP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Carton, Thomas Colcombet, Gabriele Puppis |
Regular Languages of Words over Countable Linear Orderings. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Colcombet, Clemens Ley, Gabriele Puppis |
On the Use of Guards for Logics with Data. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Gabriele Puppis, Cristian Riveros |
Regular Repair of Specifications. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Puppis |
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems |
|
2010 |
DOI RDF |
|
| 1 | Angelo Montanari, Gabriele Puppis, Pietro Sala |
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco |
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Clemens Ley, Gabriele Puppis |
What You Must Remember When Processing Data Words. |
AMW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Clemens Ley, Gabriele Puppis |
Automata vs. Logics on Data Words. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Gabriele Puppis, Huy Vu |
Positive higher-order queries. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
higher-order queries |
| 1 | Davide Bresolin, Angelo Montanari, Gabriele Puppis |
A theory of ultimately periodic languages and automata with an application to time granularity. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco |
Decidability of the interval temporal logic ABBar over the natural numbers |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Angelo Montanari, Gabriele Puppis, Pietro Sala |
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
Compact and tractable automaton-based representations of time granularities. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
On the Equivalence of Automaton-Based Representations of Time Granularities. |
TIME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Montanari, Gabriele Puppis |
A Contraction Method to Decide MSO Theories of Deterministic Trees. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Montanari, Adriano Peron, Gabriele Puppis |
On the relationships between theories of time granularity and the monadic second-order theory of one successor. |
Journal of Applied Non-Classical Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Angelo Montanari, Gabriele Puppis |
Decidability of the Theory of the Totally Unbounded omega-Layered Structure. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Angelo Montanari, Gabriele Puppis |
Time Granularities and Ultimately Periodic Automata. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Montanari, Gabriele Puppis |
Decidability of MSO Theories of Tree Structures. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
Towards Compact and Tractable Automaten-Based Representations of Time Granularities. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")