Jean-Louis Giavitto

According to our database1, Jean-Louis Giavitto
  • authored at least 66 papers between 1990 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Spatial computing: introduction to the special issue.
Knowledge Eng. Review, 2016

Activity Networks with Delays An application to toxicity analysis.
CoRR, 2016

2015
Lattice-based and topological representations of binary relations with an application to music.
Ann. Math. Artif. Intell., 2015

2014
Erratum to "A Reactive Extension of the OpenMusic Visual Programming Language" Journal of Visual Languages and Computing (2014) pp. 363-375.
J. Vis. Lang. Comput., 2014

A reactive extension of the OpenMusic visual programming language.
J. Vis. Lang. Comput., 2014

Entretien de Jean-Louis Giavitto et Valérie Schafer. Avec Paul Braffort.
Technique et Science Informatiques, 2014

Éditorial.
Technique et Science Informatiques, 2014

Real-Time Matching of Antescofo Temporal Patterns.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Planning Human-Computer Improvisation.
Proceedings of the Music Technology meets Philosophy, 2014

AscoGraph: A User Interface for Sequencing and Score Following for Interactive Music.
Proceedings of the Music Technology meets Philosophy, 2014

2013
Histoire de l'informatique.
Technique et Science Informatiques, 2013

Avant-propos.
Technique et Science Informatiques, 2013

Unconventional and Nested Computations in Spatial Computing.
IJUC, 2013

Operational semantics of a domain specific language for real time musician-computer interaction.
Discrete Event Dynamic Systems, 2013

Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes.
Proceedings of the Mathematics and Computation in Music - 4th International Conference, 2013

2012
Éditorial.
Technique et Science Informatiques, 2012

Integrated regulatory networks (IRNs): Spatially organized biochemical modules.
Theor. Comput. Sci., 2012


Spatial Computing in MGS.
Proceedings of the Unconventional Computation and Natural Computation, 2012

Correct Automatic Accompaniment Despite Machine listening or Human errors in Antescofo.
Proceedings of the Non-Cochlear Sound: Proceedings of the 38th International Computer Music Conference, 2012

Interaction-Based Modeling of Morphogenesis in MGS.
Proceedings of the Morphogenetic Engineering, Toward Programmable Complex Systems, 2012

2011
Éditorial.
Technique et Science Informatiques, 2011

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.
Theory in Biosciences, 2011

State Space Exploration of Spatially Organized Populations of Agents.
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

The Modeling and the Simulation of the Fluid Machines of Synthetic Biology.
Proceedings of the Membrane Computing, 2011

Building Topological Spaces for Musical Objects.
Proceedings of the Mathematics and Computation in Music - Third International Conference, 2011

2010
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Variable elimination for building interpreters
CoRR, 2010

Spatial Computing as Intensional Data Parallelism.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

A domain specific language for complex natural and artificial systems simulations.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Declarative Mesh Subdivision Using Topological Rewriting in MGS.
Proceedings of the Graph Transformations - 5th International Conference, 2010

2009
Rule-based programming for integrative biological modeling.
Natural Computing, 2009

2008
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Stochastic P systems and the simulation of biochemical processes with dynamic compartments.
Biosystems, 2008

2007
06361 Abstracts Collection -- Computing Media Languages for Space-Oriented Computation.
Proceedings of the Fair Division, 24.06. - 29.06.2007, 2007

06361 Executive Report -- Computing Media Languages for Space-Oriented Computation.
Proceedings of the Fair Division, 24.06. - 29.06.2007, 2007

2006
Editorial.
Higher-Order and Symbolic Computation, 2006

Challenging Questions for the Rationale of Non-Classical Programming Languages.
IJUC, 2006

2005
On Self-assembly in Population P Systems.
Proceedings of the Unconventional Computation, 4th International Conference, 2005

Algorithmic Self-assembly by Accretion and by Carving in MGS.
Proceedings of the Artificial Evolution, 2005

2004
Computations in Space and Space in Computations.
Proceedings of the Unconventional Programming Paradigms, 2004

A Topological Framework for the Specification and the Simulation of Discrete Dynamical Systems.
Proceedings of the Cellular Automata, 2004

2003
Preface.
Electr. Notes Theor. Comput. Sci., 2003

Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Filtrage et règles de réécriture sur des structures indexées par des groupes.
Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

2002
Pattern-matching and rewriting rules for group indexed data structures.
SIGPLAN Notices, 2002

The Topological Structures of Membrane Computing.
Fundam. Inform., 2002

Accretive Rules in Cayley P Systems.
Proceedings of the Membrane Computing, International Workshop, 2002

Data Structure as Topological Spaces.
Proceedings of the Unconventional Models of Computation, Third International Conference, 2002

Pattern-matching and rewriting rules for group indexed data structures.
Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, 2002

2001
Editorial.
Technique et Science Informatiques, 2001

MGS: a Rule-Based Programming Language for Complex Objects and Collections.
Electr. Notes Theor. Comput. Sci., 2001

Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

2000
A framework for the recursive definition of data structures.
PPDP, 2000

1998
A Data Parallel Java Client-Server Architecture for Data Field Computations over Zn.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

Algebraic Topology for Knowledge Representation in Analogy Solving.
ECAI, 1998

1997
Semantics and Compilation of Recursive Sequential Streams in 8½.
Proceedings of the Programming Languages: Implementations, 1997

1995
Group-Based Fields.
Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994
Design and Implementation of a Declarative Data-Parallel Language.
Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

1993
A Parralel Architecture Based on Compiled Communication Schemes.
Proceedings of the Parallel Computing: Trends and Applications, 1993

Balanced Distributed Memory Parallel Computers.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992
Inférer rapidement la géométrie des collections.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux), 1992

PTAH: Introduction to a New Parallel Architecture for Highly Numeric Processing.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

1991
C++ Adequacy for Software Engineering Concepts.
Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991

OAL: an Implementation of an Actor Language on a Massively Parallel Message-Passing Architecture.
Proceedings of the Distributed Memory Computing, 2nd Euronean Conference, 1991

1990
Design Decisions for the Incremental Adage Framework.
Proceedings of the 12th International Conference on Software Engineering, 1990


  Loading...