Fingerprint Dive into the research topics where Giorgio Bacci is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Mathematics
Markov chain
Branes
Axiomatization
Calculus
Structural Operational Semantics
Measurable space
Markov Process
Metric
Branching
Deduction
Equational Logic
Transition Systems
Term
Model Checking
Approximately equal
Bisimulation
Logic
Congruence
Statistical Thermodynamics
Total Variation Distance
Semi-Markov Process
Linear Time
Stochastic Calculus
Algebraic Theory
Axiom
Undecidability
Lambda Calculus
Equality
Modal Logic
Equivalence
Stochastic Systems
Semantics
Trace
Coalgebra
Linear Program
Membrane
Pseudometric
Operator
Representation Theorem
NP-complete problem
Probability Distribution
Deductive System
Labeled Transition System
Polynomial time
Converge
Continuous-time Markov Chain
Probabilistic Model
Measure Algebra
State Space
Schema
Engineering & Materials Science
Markov processes
Semantics
Model checking
Computability and decidability
Statistical mechanics
Computational complexity
Membranes
Sorting
Explosions
Specifications
Physics
Polynomials
Algebra
Chemical analysis
Probability distributions
Biological membranes
Labels
Costs
Visualization
Simulators