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	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	2012-09-25	Paper
Automata for the modal μ-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

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: David Janin