• Selma Lagerløfs Vej 300, 1-2-11

    9220 Aalborg Ø

    Denmark

20062019
If you made any changes in Pure these will be visible here soon.

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.

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