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