Antoine Spicher

45 papers B 5C 1Misc 1Journal 18Unranked 18
YearRankTypeTitle / Venue / Authors
2026 J jnl
Causal Graph Dynamics and Kan Extensions.
Log. Methods Comput. Sci.
Luidnel Maignan, Antoine Spicher
2025 — conf
Kalamar : un langage de modélisation à base de règles.
IC
Pauline Armary, Fabien Givors, Antoine Spicher, Sattisvar Tandabany
2024 B conf
Causal Graph Dynamics and Kan Extensions.
ICGT
Luidnel Maignan, Antoine Spicher
2024 J jnl
Causal Graph Dynamics and Kan Extensions.
CoRR
Luidnel Maignan, Antoine Spicher
2024 B conf
Identifying Logical Patterns in Text for Reasoning.
ICTAI
Pauline Armary, Cheikh Brahim El Vaigh, Antoine Spicher, Ouassila Labbani-Narsis, Christophe Nicolle
2023 J jnl
Cellular automata and Kan extensions.
Nat. Comput.
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
2022 B conf
Non-Determinism in Lindenmayer Systems and Global Transformations.
MFCS
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
2021 J jnl
Accretive Computation of Global Transformations of Graphs.
CoRR
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
2021 C conf
Accretive Computation of Global Transformations.
RAMiCS
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
2021 — conf
Cellular Automata and Kan Extensions.
AUTOMATA
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
2021 J jnl
Cellular Automata and Kan Extensions.
CoRR
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
2019 — conf
Lindenmayer Systems and Global Transformations.
UCNC
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
2018 J jnl
Activity Networks with Delays an Application to Toxicity Analysis.
Fundam. Informaticae
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher
2016 J jnl
Spatial computing: introduction to the special issue.
Knowl. Eng. Rev.
Stefan Dulman, Jean-Louis Giavitto, Antoine Spicher, Mirko Viroli
2015 — conf
Global Graph Transformations.
GCM@ICGT
Luidnel Maignan, Antoine Spicher
2015 J jnl
Representation of Musical Structures and Processes in Simplicial Chord Spaces.
Comput. Music. J.
Louis Bigo, Daniele Ghisi, Antoine Spicher, Moreno Andreatta
2015 — conf
Spatial Computing in Synthetic Bioware: Creating Bacterial Architectures.
ECAL
Jonathan Pascalie, Martin Potier, Taras Kowaliw, Jean-Louis Giavitto, Olivier Michel, Antoine Spicher, René Doursat
2014 J jnl
Construction et manipulation de collections topologiques pour les représentations musicales.
Tech. Sci. Informatiques
Louis Bigo, Antoine Spicher
2014 J jnl
Self-Assembly of Musical Representations in MGS.
Int. J. Unconv. Comput.
Louis Bigo, Antoine Spicher
2014 — conf
Spatial Transformations in Simplicial Chord Spaces.
ICMC
Louis Bigo, Daniele Ghisi, Antoine Spicher, Moreno Andreatta
2013 — conf
Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes.
MCM
Louis Bigo, Moreno Andreatta, Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
2013 J jnl
Editorial.
Comput. J.
Jacob Beal, Stefan Dulman, Olivier Michel, Antoine Spicher
2013 — conf
PaperTonnetz: supporting music composition with interactive paper.
CHI Extended Abstracts
Jérémie Garcia, Louis Bigo, Antoine Spicher, Wendy E. Mackay
2013 — conf
Topological computation of activity regions.
SIGSIM-PADS
Martin Potier, Antoine Spicher, Olivier Michel
2013 J jnl
Unconventional and Nested Computations in Spatial Computing.
Int. J. Unconv. Comput.
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
2012 — conf
Gardening Cyber-Physical Systems.
UCNC
Susan Stepney, Ada Diaconescu, René Doursat, Jean-Louis Giavitto, Taras Kowaliw, Ottoline Leyser, Bruce J. MacLennan, Olivier Michel, Julian F. Miller, Igor Nikolic, Antoine Spicher, Christof Teuscher, Gunnar Tufte, Francisco J. Vico, Lidia Yamamoto
2012 — ch.
Interaction-Based Modeling of Morphogenesis in MGS.
Morphogenetic Engineering, Toward Programmable Complex Systems
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2012 — conf
Spatial Computing in MGS.
UCNC
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2011 — conf
Building Topological Spaces for Musical Objects.
MCM
Louis Bigo, Jean-Louis Giavitto, Antoine Spicher
2011 J jnl
Generalized Communicating P Systems Working in Fair Sequential Mode.
Sci. Ann. Comput. Sci.
Antoine Spicher, Sergey Verlan
2011 J jnl
Generalized Communicating P Systems Working in Fair Sequential Model
CoRR
Antoine Spicher, Sergey Verlan
2010 B conf
Declarative Mesh Subdivision Using Topological Rewriting in MGS.
ICGT
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2010 — conf
Spatial Computing as Intensional Data Parallelism.
SASO Workshops
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2010 — conf
Spatial Programming for Music Representation and Analysis.
SASO Workshops
Louis Bigo, Antoine Spicher, Olivier Michel
2009 B conf
From Reactive Multi-Agents Models to Cellular Automata - Illustration on a Diffusion-Limited Aggregation Model.
ICAART
Antoine Spicher, Nazim Fatès, Olivier Simonin
2009 J jnl
Rule-based programming for integrative biological modeling.
Nat. Comput.
Olivier Michel, Antoine Spicher, Jean-Louis Giavitto
2009 — conf
Translating Discrete Multi-Agents Systems into Cellular Automata: Application to Diffusion-Limited Aggregation.
ICAART (Revised Selected Papers)
Antoine Spicher, Nazim Fatès, Olivier Simonin
2008 — ch.
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems.
Software-Intensive Systems and New Computing Paradigms
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
2008 J jnl
Stochastic P systems and the simulation of biochemical processes with dynamic compartments.
Biosyst.
Antoine Spicher, Olivier Michel, Mikolaj Cieslak, Jean-Louis Giavitto, Przemyslaw Prusinkiewicz
2007 J jnl
Declarative modeling of a neurulation-like process.
Biosyst.
Antoine Spicher, Olivier Michel
2007 J jnl
Représentation et manipulation de structures topologiques dans un langage fonctionnel.
Tech. Sci. Informatiques
Antoine Spicher, Olivier Michel
2005 — conf
Algorithmic Self-assembly by Accretion and by Carving in MGS.
Artificial Evolution
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2005 Misc conf
Using Rewriting Techniques in the Simulation of Dynamical Systems: Application to the Modeling of Sperm Crawling.
International Conference on Computational Science (1)
Antoine Spicher, Olivier Michel
2004 — conf
A Topological Framework for the Specification and the Simulation of Discrete Dynamical Systems.
ACRI
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto
2004 — conf
Computations in Space and Space in Computations.
UPP
Jean-Louis Giavitto, Olivier Michel, Julien Cohen, Antoine Spicher