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