Andrea Vandin

Technical University of Denmark

Denmark

Research Interests

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (15)

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2020

Collaborators (11)

Alberto Lluch Lafuente

Technical University of Denmark

DENMARK

View details

Mirco Tribastone

IMT Institute for Advanced Studies

ITALY

View details

Luca BORTOLUSSI

Full Professor of Computer Science

Università degli Studi di Torino

ITALY

View details

Radu Grosu

TU Wien

AUSTRIA

View details

Max Tschaikowski

Associate Professor

Aalborg University

DENMARK

View details

Emilio Incerto

Tenure Track Assistant Professor

IMT School for Advanced Studies Lucca

ITALY

View details

Francesco Tiezzi

University of Florence

ITALY

View details

Andrea Polini

Associate Professor

University of Camerino

ITALY

View details

Barbara Re

Assistant Professor

University of Camerino

ITALY

View details

Luca Cardelli

University of Oxford

UNITED KINGDOM

View details

Daniele TOLLER

Aalborg University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Andrea Vandin

Research Interests

Contact this professor

Articles (15)

Stochastic conformance checking based on variable-length Markov chains

Approximate constrained lumping of chemical reaction networks

White-box validation of quantitative product lines by statistical model checking and process mining

Proper Lumping for Positive Bilinear Control Systems

Reducing Boolean networks with backward equivalence

Algorithmic Minimization of Uncertain Continuous-Time Markov Chains

Formal lumping of polynomial differential equations through approximate equivalences

Differential Equivalence for Linear Differential Algebraic Equations

Automated and distributed statistical analysis of economic agent-based models

The current status of gene expression profilings in COVID-19 patients

Improved estimations of stochastic chemical kinetics by finite-state expansion

A formal approach for the analysis of BPMN collaboration models

A large-scale assessment of exact lumping of quantitative models in the BioModels repository

Quantitative Security Risk Modeling and Analysis with RisQFLan

A framework for quantitative modeling and analysis of highly (re)configurable systems

Collaborators (11)

Alberto Lluch Lafuente

Mirco Tribastone

Luca BORTOLUSSI

Radu Grosu

Max Tschaikowski

Emilio Incerto

Francesco Tiezzi

Andrea Polini

Barbara Re

Luca Cardelli

Daniele TOLLER

Make your next move.