Jean-Marc Talbot

Available identifiers

zbMath Open talbot.jean-marcMaRDI QIDQ1607042

List of research outcomes

Publication	Date of Publication	Type
Regular \(\mathcal{D}\)-length: a tool for improved prefix-stable forward Ramsey factorisations	2024-09-11	Paper
On theorem-proving in Horn theories with built-in algebras	2024-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q6124934	2024-04-10	Paper
Determinisation of finitely-ambiguous copyless cost register automata	2022-07-21	Paper
Expressiveness of visibly pushdown transducers	2021-06-17	Paper
Two-way Parikh automata with a visibly pushdown stack	2020-01-28	Paper
Visibly pushdown transducers	2018-09-07	Paper
Decision problems of tree transducers with origin	2018-06-14	Paper
A generalised twinning property for minimisation of cost register automata	2018-04-23	Paper
Two-way visibly pushdown automata and transducers	2018-04-23	Paper
Visibly pushdown transducers with well-nested outputs	2016-06-23	Paper
Decision problems of tree transducers with origin	2015-11-04	Paper
Trimming visibly pushdown automata	2015-05-18	Paper
Paths vs. trees in set-based program analysis	2015-03-17	Paper
Visibly pushdown transducers with well-nested outputs	2014-10-14	Paper
Trimming visibly pushdown automata	2013-08-07	Paper
Visibly pushdown automata with multiplicities: finiteness and \(K\)-boundedness	2012-11-02	Paper
Tree automata with global constraints	2010-09-06	Paper
Properties of visibly pushdown transducers	2010-09-03	Paper
A sound analysis for secure information flow using abstract memory graphs	2010-01-28	Paper
Nested Sibling Tree Automata	2009-05-06	Paper
Satisfiability of a Spatial Logic with Tree Variables	2009-03-05	Paper
Tree Automata with Global Constraints	2008-10-30	Paper
Monotone AC-Tree Automata	2008-05-27	Paper
Database Programming Languages	2006-10-20	Paper
Term Rewriting and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4673420	2005-04-29	Paper
When ambients cannot be opened	2005-04-06	Paper
Model checking mobile ambients	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4808755	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738363	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417858	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4783317	2002-12-04	Paper
Lagrangians of Hypergraphs	2002-11-19	Paper
The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2767035	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2769429	2002-02-05	Paper
Generalized definite set constraints	2001-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4944863	2000-03-22	Paper

Research outcomes over time

This page was built for person: Jean-Marc Talbot