David Janin, Computer Scientist [On google scholar, On HAL Archives, On DBLP]

[Sorted publications, Research projects, Home]
Associate professor (since 1996) at IPB, ENSEIRB-MATMECA,
Temporary researcher fellow (12 months, 09/2013-08/2014) at CNRS INS2I
Temporary researcher fellow (6 months, 09/2014-02/2015) at INRIA Bordeaux

Research institute: LaBRI, CNRS UMR 5800, Université de Bordeaux,
351, Cours de la libération, F-33 405, Talence cedex, France
Team : Formal methods, Project PoSET

Contact : janin(at)labri.fr or +33 540 00 69 16

Member of : Association Française d'Informatique Musicale (AFIM)

Sorted publications, Research projects, Home]

All publications *
Birooted word languages * Audio application*
Language logical definability * Written in french *
Functionnal programming * Walking automata
for birooted graphs
Overlapping tiles in
Birooted tree and their languages *
Works of the last years * Applied inverse semigroups
Music modeling * Logic, automata and
Articles * Reports in standby *
Conferences *

[Sorted publications, Research projects, Home]

Project INEDIT ANR-12-CORD-009:

with IRCAM (Paris), GRAME (Lyon) and SCRIME (Bordeaux)

Applied inverse and quasi-inverse semigroup theory:
overlapping higher-dimensional strings and their languages

  • Inverse semigroups ? See Mark Lawson's book, or, for a start, wikipedia.

The T-calculus in Euterpea

Playing with tiled extensions of Paul Hudak's Polymorphic Temporal Media
  • Described here and implemented in Haskell there

Live Tuiles

Towards an interactive live music sequencing software that integrates tiles algebraic structure; in joint work Florent Berthaut@hitmuri.net
  • The (very) monotonic sound of tiling semigroups can be heard (here)

Music, Arts and Science (various workshops)

  • Journées du GDR Esthetique, Arts et Science (ESARS)
  • ACM Workshop on Functional Art, Music, Modeling and Design (FARM)
  • Journées d'Informatique Musicale (JIM) suported by the french association AFIM

[Sorted publications, Research projects, Previous works]

Last modified: Mon Jul 7 09:45:32 CEST 2014