Jean-Marc Talbot

Available identifiers

zbMath Open talbot.jean-marcMaRDI QIDQ1607042

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124934	2024-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q5092439	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4994131	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
Two-Way Visibly Pushdown Automata and Transducers	2018-04-23	Paper
A Generalised Twinning Property for Minimisation of Cost Register Automata	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jean-Marc Talbot