Gabriele Tedeschi
Orcid: 0000-0003-2638-7373
According to our database1,
Gabriele Tedeschi
authored at least 10 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
1
1
1
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers.
Proc. ACM Program. Lang., January, 2024
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.
Proceedings of the European Control Conference, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024
2022
CoRR, 2022
2021
The complete Gaussian kernel in the multi-factor Heston model: Option pricing and implied volatility applications.
Eur. J. Oper. Res., 2021
2017
Eur. J. Oper. Res., 2017
2014
Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014
2012
J. Artif. Soc. Soc. Simul., 2012