David Janin
Orcid: 0000-0001-7062-7659Affiliations:
- Université de Bordeaux, France
According to our database1,
David Janin
authored at least 41 papers
between 1993 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
2
1
1
1
1
2
2
1
1
1
3
1
4
4
1
1
1
2
1
2
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on labri.fr
-
on dl.acm.org
On csauthors.net:
Bibliography
2020
Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020
Proceedings of the Practical Aspects of Declarative Languages, 2020
2019
Screaming in the IO monad: a realtime audio processing and control experiment in Haskell.
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019
2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
2017
Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, 2017
2016
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016
Proceedings of the 4th International Workshop on Functional Art, 2016
Proceedings of the 4th International Workshop on Functional Art, 2016
2015
Fundam. Informaticae, 2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
2014
Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014
Proceedings of the Language and Automata Theory and Applications, 2014
Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, 2014
Proceedings of the Developments in Language Theory - 18th International Conference, 2014
2013
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013
Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, 2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the Computer Science - Theory and Applications, 2013
2012
Advanced Synchronization of Audio or Symbolic Musical Patterns: an Algebraic Approach.
Int. J. Semantic Comput., 2012
Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles - (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
2008
Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008
2007
Inf. Process. Lett., 2007
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007
2006
Proceedings of the Graph Transformations, Third International Conference, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
2005
Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005
A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates).
, 2005
2004
On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus.
Fundam. Informaticae, 2004
Proceedings of the Graph Transformations, Second International Conference, 2004
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004
2002
RAIRO Theor. Informatics Appl., 2002
On the Logical Definability of Topologically Closed Recognizable Languages of Infinite Trees.
Comput. Artif. Intell., 2002
2001
Proceedings of the STACS 2001, 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
1999
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999
1997
Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
1996
On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic.
Proceedings of the CONCUR '96, 1996
1995
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995
1993
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993