David Janin

Available identifiers

zbMath Open janin.davidDBLP09/5433WikidataQ102338921 ScholiaQ102338921MaRDI QIDQ906980

List of research outcomes

Publication	Date of Publication	Type
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic	2023-06-28	Paper
An equational modeling of asynchronous concurrent programming	2021-07-01	Paper
Spatio-temporal domains: an overview	2018-11-23	Paper
Two-way Automata and Regular Languages of Overlapping Tiles	2016-08-15	Paper
Walking automata in free inverse monoids	2016-03-10	Paper
Inverse monoids of higher-dimensional strings	2016-02-25	Paper
A syntactic congruence for languages of birooted trees	2016-02-01	Paper
On labeled birooted tree languages: algebras, automata and logic	2015-06-09	Paper
Towards a higher-dimensional string theory for the modeling of computerized systems	2015-01-13	Paper
On languages of one-dimensional overlapping tiles	2014-11-04	Paper
Embedding finite and infinite words into overlapping tiles (short paper)	2014-10-14	Paper
Advanced synchronization of audio or symbolic musical patterns: an algebraic approach	2014-04-10	Paper
Algebraic tools for the overlapping tile product	2014-03-31	Paper
Algebras, automata and logic for languages of labeled birooted trees	2013-08-07	Paper
Overlapping tile automata	2013-06-14	Paper
Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles (extended abstract)	2012-09-25	Paper
Automata for the modal \(\mu \)-calculus and related results	2010-06-17	Paper
The monadic theory of finite representations of infinite words	2010-03-24	Paper
On Distributed Program Specification and Synthesis in Architectures with Cycles	2009-03-11	Paper
Automata on Directed Graphs: Edge Versus Vertex Marking	2008-11-27	Paper
From Asynchronous to Synchronous Specifications for Distributed Program Synthesis	2008-03-07	Paper
On the (High) Undecidability of Distributed Synthesis Problems	2008-03-07	Paper
Fundamentals of Computation Theory	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5317667	2005-09-19	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4825712	2004-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q2762516	2002-01-09	Paper
Permissive strategies: from parity games to safety games	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4941910	2000-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4268462	1999-10-31	Paper

Research outcomes over time

This page was built for person: David Janin