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

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: Didier Caucal