Person:953540

Available identifiers

zbMath Open krivine.jeanWikidataQ102455239 ScholiaQ102455239MaRDI QIDQ953540

List of research outcomes

Publication	Date of Publication	Type
Fundamentals of compositional rewriting theory	2023-09-25	Paper
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics	2022-09-01	Paper
Compositionality of Rewriting Rules with Conditions	2022-07-01	Paper
Concurrency theorems for non-linear rewriting theories	2022-03-21	Paper
Rewriting theory for the life sciences: a unifying theory of CTMC semantics	2021-08-27	Paper
A calculus of branching processes	2020-01-22	Paper
A Compositional Semantics for the Reversible p-Calculus	2017-07-03	Paper
Incremental Update for Graph Rewriting	2017-05-19	Paper
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models	2017-01-26	Paper
Rigid Families for the Reversible $$\pi $$ -Calculus	2016-08-10	Paper
Rigid Families for CCS and the $$\pi $$ -calculus	2016-02-25	Paper
A Verification Technique for Reversible Process Algebra	2015-11-30	Paper
Intrinsic information carriers in combinatorial dynamical systems	2015-05-19	Paper
Stochastic Bigraphs	2014-05-13	Paper
Formal Cellular Machinery	2014-03-21	Paper
Self-assembling Trees	2013-12-13	Paper
General Reversibility	2013-12-13	Paper
Computational self-assembly	2008-11-06	Paper
Rule-Based Modelling of Cellular Signalling	2008-09-18	Paper
Rule-Based Modelling, Symmetries, Refinements	2008-06-17	Paper
Abstract Interpretation of Cellular Signalling Networks	2008-04-04	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Clustering and thermodynamics in the lattice-gas model	2003-02-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jean Krivine