Jean Krivine
interest: info.info-pl
interest: info.info-ni
topic interest: Term rewriting
interest: info.info-mo
topic interest: Non interleaving
topic interest: Concurrency
topic interest: Compartment
topic interest: Graph rewriting
topic interest: Backtracking
topic interest: Process algebra
interest: info.info-ai
is aggregated by: jkrivine
interest: info.info-ao
topic interest: Electronic trading
topic interest: Systems biology
topic interest: Rule-based modeling
topic interest: Biologie systémique @fr
topic interest: Organic chemistry
type: Person
topic interest: Protein-protein interaction networks
topic interest: Réversibilité @fr
interest: info.info-dc
topic interest: Static analysis
interest: info.info-db
interest: info.info-cr
interest: info.info-cv
interest: qfin.cp
interest: info.info-cl
first name: Jean
interest: sdv.can
interest: info.info-cc
interest: info.info-ce
interest: info.info-bi
topic interest: Causalité @fr
topic interest: Stochastic mechanics
interest: info.info-ar
interest: info.info-au
interest: sdv.bibs
topic interest: Double-Pushout rewriting
topic interest: Bigraphs
topic interest: Pathways
topic interest: Information systems → Online banking
family name: Krivine
interest: math.math-it
interest: chim
topic interest: Projectivity
topic interest: Formal calculus
topic interest: Système Tet-on @fr
topic interest: Bisimulation @fr
interest: math.math-ds
topic interest: Rule-based modelling
topic interest: Reversibility
topic interest: Sesqui-pushout rewriting
topic interest: Simulation @fr
interest: stat.ml
topic interest: Membrane
interest: spi.signal
topic interest: Graph folding
topic interest: Clusters
topic interest: Algèbres de processus @fr
topic interest: Dynamic networks
topic interest: Stochasticité @fr
topic interest: Systèmes répartis @fr
topic interest: Modélisation @fr
topic interest: Rule algebra
topic interest: Biological data visualization
topic interest: Langage de programmation @fr
topic interest: Biochemistry
topic interest: Percolation
interest: info.info-ma
topic interest: Ising model
interest: info.info-lo
interest: info.info-it
interest: info.info-iu
topic interest: Kappa
topic interest: Visualisation
interest: info.info-hc
topic interest: Causality
topic interest: Rule-based models