Opendata, web and dolomites


Rule-algebraic Simple Rewriting

Total Cost €


EC-Contrib. €






Project "RaSiR" data sheet

The following table provides information about the project.


There are not information about this coordinator. Please contact Fabio for more information, thanks.

 Coordinator Country France [FR]
 Total cost 173˙076 €
 EC max contribution 173˙076 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2016
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2017
 Duration (year-month-day) from 2017-10-01   to  2019-09-30


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITE DE PARIS FR (PARIS) coordinator 173˙076.00


 Project objective

The basis for this project consists in a mathematical framework previously developed by the applicant that allows to describe graph rewriting systems algebraically, the so-called rule algebraic framework. In order to advance and valorise the concept, this project proposes to develop a general concept for rule-algebraic simple rewriting (RaSiR), both for conventional graph rewriting and for a novel form of simplicial rewriting. Secondly, RaSiR will serve as the basis for developing rule-algebraic variants of trace compression and observable-update algorithms for the rewriting system Kappa. The final aim of the project consists in developing and implementing the so-called observable-centric bootstrapping algorithm (OCBA) as a module for the simulation suite KaSim for the Kappa language. Kappa is predominantly used for simulating biochemical reaction systems, which typically display an extremely high combinatorial complexity. The algorithms and software modules developed in this project will provide in particular an alternative to pure stochastic simulation via the SSA algorithm as currently implemented in KaSim, in the form of the OCBA module. This module will admit the generation of approximate observable distributions from individual pure states of the system by calculating algebraically truncations of the formal solution of the chemical master equation as well as the induced observable update functions. The project shall be hosted by Dr. Jean Krivine of the PPS team at IRIF at the University Paris-Diderot in France. Dr. Krivine is one of the two main developers of the KaSim simulation suite, and moreover one of the world experts in the theoretical and practical development of the programming language Kappa. IRIF will provide an ideal environment for the applicant to develop new skills, to be part the very interdisciplinary research team PPS, and to communicate and valorise the project results to the greater biochemical and systems biological simulation community.


year authors and title journal last update
List of publications.
2019 Nicolas Behr
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
published pages: 23-52, ISSN: 2075-2180, DOI: 10.4204/eptcs.309.2
Electronic Proceedings in Theoretical Computer Science 309 2020-04-08
2019 Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi
Operator Ordering and Solution of Pseudo-Evolutionary Equations
published pages: 35, ISSN: 2075-1680, DOI: 10.3390/axioms8010035
Axioms 8/1 2020-04-08
2019 Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi, Silvia Licciardi
Dual Numbers and Operational Umbral Methods
published pages: 77, ISSN: 2075-1680, DOI: 10.3390/axioms8030077
Axioms 8/3 2020-04-08
2019 Nicolas Behr, Giuseppe Dattoli, Gérard Duchamp, Silvia Penson
Operational Methods in the Study of Sobolev-Jacobi Polynomials
published pages: 124, ISSN: 2227-7390, DOI: 10.3390/math7020124
Mathematics 7/2 2020-04-08

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "RASIR" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "RASIR" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

InProSMod (2021)

Cholinergic and NMDAR-dependent recruitment of Layer 1 Interneuron shapes cortical motor Processing through network States Modulation

Read More  

NeoPur (2019)

New treatments and novel diagnostic tests for neonatal seizures based on purinergic signaling.

Read More  


The missing pillar. European social policy and Eurosceptic challenges (SOCIALEU)

Read More