Gabriele Tedeschi

14 papers B 2Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — conf
A Coalgebraic Model of Quantum Bisimulation.
ACT
Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno, Gabriele Tedeschi
2024 B conf
Effect Semantics for Quantum Process Calculi.
CONCUR
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024 B conf
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers.
APLAS
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024 J jnl
Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers.
CoRR
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024 J jnl
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers.
Proc. ACM Program. Lang.
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2024 — conf
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers.
WADT
Lorenzo Ceragioli, Giuseppe Lomurno, Gabriele Tedeschi
2024 — conf
Sampled-Data String Stability for a Platoon of heterogeneous Vehicles via a Mesoscopic Approach.
ECC
Alessio Iovine, Mattia Mattioni, Gabriele Tedeschi
2024 — conf
Testing Quantum Processes.
ISoLA (1)
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2023 J jnl
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers.
CoRR
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
2022 J jnl
Reinforcement Learning Policy Recommendation for Interbank Network Stability.
CoRR
Alessio Brini, Gabriele Tedeschi, Daniele Tantari
2021 J jnl
The complete Gaussian kernel in the multi-factor Heston model: Option pricing and implied volatility applications.
Eur. J. Oper. Res.
Maria Cristina Recchioni, Giulia Iori, Gabriele Tedeschi, Michelle S. Ouellette
2017 J jnl
From bond yield to macroeconomic instability: A parsimonious affine model.
Eur. J. Oper. Res.
Maria Cristina Recchioni, Gabriele Tedeschi
2014 — conf
Network Approach for Detecting Macroeconomic Instability.
SITIS
Ruggero Grilli, Gabriele Tedeschi, Mauro Gallegati
2012 J jnl
An Agent Based Model of Switching: The Case of Boulogne S/mer Fish Market.
J. Artif. Soc. Soc. Simul.
Sylvain Mignot, Gabriele Tedeschi, Annick Vignes