# 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