Gabriele Tedeschi

According to our database, Gabriele Tedeschi authored at least 11 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proc. ACM Program. Lang., January, 2024

Testing Quantum Processes.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Sampled-Data String Stability for a Platoon of heterogeneous Vehicles via a Mesoscopic Approach.

Alessio Iovine, Mattia Mattioni, Gabriele Tedeschi

Proceedings of the European Control Conference, 2024

Effect Semantics for Quantum Process Calculi.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers.

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers.

Lorenzo Ceragioli, Giuseppe Lomurno, Gabriele Tedeschi

Proceedings of the Recent Trends in Algebraic Development Techniques, 2024

2022

Reinforcement Learning Policy Recommendation for Interbank Network Stability.

Alessio Brini, Gabriele Tedeschi, Daniele Tantari

CoRR, 2022

2021

The complete Gaussian kernel in the multi-factor Heston model: Option pricing and implied volatility applications.

Maria Cristina Recchioni, Giulia Iori, Gabriele Tedeschi, Michelle S. Ouellette

Eur. J. Oper. Res., 2021

2017

From bond yield to macroeconomic instability: A parsimonious affine model.

Maria Cristina Recchioni, Gabriele Tedeschi

Eur. J. Oper. Res., 2017

2014

Network Approach for Detecting Macroeconomic Instability.

Ruggero Grilli, Gabriele Tedeschi, Mauro Gallegati

Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014

2012

An Agent Based Model of Switching: The Case of Boulogne S/mer Fish Market.

Sylvain Mignot, Gabriele Tedeschi, Annick Vignes

J. Artif. Soc. Soc. Simul., 2012