Thomas Genet

From MaRDI portal
Person:556684

Available identifiers

zbMath Open genet.thomasMaRDI QIDQ556684

List of research outcomes





PublicationDate of PublicationType
Automata-based verification of relational properties of functions over algebraic data structures2024-10-21Paper
https://portal.mardi4nfdi.de/entity/Q49933422021-06-15Paper
https://portal.mardi4nfdi.de/entity/Q52778782017-07-12Paper
https://portal.mardi4nfdi.de/entity/Q29809772017-05-08Paper
Termination criteria for tree automata completion2016-12-28Paper
Towards Static Analysis of Functional Programs Using Tree Automata Completion2015-09-09Paper
A Completion Algorithm for Lattice Tree Automata2013-08-07Paper
Reachability in Conditional Term Rewriting Systems2013-04-19Paper
Reachability Analysis of Term Rewriting Systems with Timbuk2011-05-06Paper
Equational approximations for tree automata completion2010-05-05Paper
Towards an Efficient Implementation of Tree Automata Completion2009-01-27Paper
Feasible Trace Reconstruction for Rewriting Approximations2008-09-25Paper
Reachability analysis over term rewriting systems2005-06-22Paper
https://portal.mardi4nfdi.de/entity/Q27234252001-07-05Paper

Research outcomes over time

This page was built for person: Thomas Genet

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:556684&oldid=7064180"
Powered by MediaWiki