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 (2013-2014) at CNRS/INS2I

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

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

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 primer or book,
  • Quasi-inverse semigroups (or semigroups with local units) ? See Victoria Gould's home page

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 monotonic sound of tiling semigroups can be heard (here)

Music, Arts and Science (various workshops)

  • Journées du GDR Esthetique, Arts et Science (ESARS)
  • 2nd Workshop on Functional Art, Music, Modeling and Design (FARM 2014)

[Sorted publications, Research projects, Previous works]

Last modified: Sat Apr 5 19:07:52 CEST 2014