Didier Caucal

Available identifiers

zbMath Open caucal.didierMaRDI QIDQ685353

List of research outcomes

Publication	Date of Publication	Type
Boolean algebras by length recognizability	2023-08-02	Paper
Bisimulation collapse and the process taxonomy	2023-06-28	Paper
On Cayley graphs of basic algebraic structures	2020-06-11	Paper
Recognizability for automata	2018-11-22	Paper
Shelah-Stupp’s Iteration and Muchnik’s Iteration	2018-05-24	Paper
Context-Free Sequences	2015-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3165949	2012-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q2911647	2012-08-31	Paper
Regularity and Context-Freeness over Word Rewriting Systems	2011-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q3086923	2011-03-30	Paper
An elementary bisimulation decision procedure for arbitrary context-free processes	2010-06-17	Paper
Synchronization of Regular Automata	2009-10-16	Paper
Synchronization of Pushdown Automata	2009-03-26	Paper
Efficient Computation of Throughput Values of Context-Free Languages	2008-06-10	Paper
Synchronization of Grammars	2008-06-05	Paper
Path Algorithms on Regular Graphs	2008-02-26	Paper
The Kleene Equality for Graphs	2007-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4818835	2004-09-24	Paper
On the transition graphs of Turing machines.	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4708567	2003-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4708568	2003-06-18	Paper
On infinite transition graphs having a decidable monadic theory	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4529998	2002-05-07	Paper
An internal presentation of regular graphs by prefix-recognizable graphs	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4508292	2001-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2760246	2001-01-01	Paper
Deciding branching bisimilarity of normed context-free processes ls in \(\sum_ 2^ p\)	1995-07-10	Paper
On the regular structure of prefix rewriting	1994-02-06	Paper
A fast algorithm to decide on the equivalence of stateless DPDA	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4037308	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4028125	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4027621	1993-02-21	Paper
Graphes canoniques de graphes algébriques	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3484362	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727408	1986-01-01	Paper

Research outcomes over time

This page was built for person: Didier Caucal