| Publication | Date of Publication | Type |
|---|
Analysis, Simulation and Control of a New Measles Epidemic Model
Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics | 2024-01-02 | Paper |
Optimal Control to Limit the Propagation Effect of a Virus Outbreak on a Network
Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics | 2024-01-02 | Paper |
An Improvement in a Local Observer Design for Optimal State Feedback Control: The Case Study of HIV/AIDS Diffusion
Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics | 2024-01-02 | Paper |
Modeling, Analysis and Control of COVID-19 in Italy: Study of Scenarios
Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics | 2023-11-24 | Paper |
Vaccination and Time Limited Immunization for SARS-CoV-2 Infection
Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics | 2023-11-24 | Paper |
Dynamic Estimation of Visco-elastic Mechanical Characteristics of Biological Samples under Micro Manipulation
Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics | 2023-11-17 | Paper |
State Feedback Optimal Control with Singular Solution for a Class of Nonlinear Dynamics
Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics | 2023-11-15 | Paper |
| On local observer design for LQR problems with tracking | 2022-12-06 | Paper |
Direct Integrability for State Feedback Optimal Control with Singular Solutions
Informatics in Control, Automation and Robotics | 2022-12-06 | Paper |
A State Dependent Approach to Resource Allocation Strategies
Informatics in Control, Automation and Robotics | 2022-12-06 | Paper |
| Contract agreements via logic | 2021-06-17 | Paper |
Contract agreements via logic
(available as arXiv preprint) | 2021-06-17 | Paper |
| scientific article; zbMATH DE number 7319032 (Why is no real title available?) | 2021-03-10 | Paper |
scientific article; zbMATH DE number 7319032 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-10 | Paper |
Jump from parallel to sequential proofs: exponentials
Mathematical Structures in Computer Science | 2018-08-07 | Paper |
On session types and polynomial time
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
Debits and Credits in Petri Nets and Linear Logic
Lecture Notes in Computer Science | 2015-09-14 | Paper |
| scientific article; zbMATH DE number 6304047 (Why is no real title available?) | 2014-06-13 | Paper |
| scientific article; zbMATH DE number 6304061 (Why is no real title available?) | 2014-06-13 | Paper |
Jump from Parallel to Sequential Proofs: Multiplicatives
Computer Science Logic | 2009-03-12 | Paper |
Proof nets sequentialisation in multiplicative linear logic
Annals of Pure and Applied Logic | 2008-11-12 | Paper |
