Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Timbuk with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001 (1) 2004 (1) 2006 (1) 2008 (2) 2018 (1)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
RTA(2) AMAST(1) J. Autom. Reason.(1) LPAR(1) WRLA@ETAPS(1)
Authors
Thomas Genet(5) Yohan Boichut(3) Valérie Viet Triem Tong(2) Emilie Balland(1) Guillaume Feuillade(1) Olga Kouchnarenko(1) Pierre-Cyrille Héam(1) Pierre-Etienne Moreau(1) Roméo Courbis(1) Sébastien Lê Cong(1) Timothée Haudebourg(1) Tristan Gillard(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
95Thomas Genet, Valérie Viet Triem Tong Reachability Analysis of Term Rewriting Systems with Timbuk. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong Extending Timbuk to Verify Functional Programs. Search on Bibsonomy WRLA@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
36Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong Reachability Analysis over Term Rewriting Systems. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF completion algorithm, Timbuk, tree automaton, term rewriting, reachability analysis
26Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau Towards an Efficient Implementation of Tree Automata Completion. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko Finer Is Better: Abstraction Refinement for Rewriting Approximations. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Yohan Boichut, Thomas Genet Feasible Trace Reconstruction for Rewriting Approximations. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license