Omar Inverso

MaRDI QIDQ515663zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Intuitive modelling and formal analysis of collective behaviour in foraging ants Computational Methods in Systems Biology	2024-02-28	Paper
Building international doctoral schools in computer science in Italy, De Nicola's way Models, Languages, and Tools for Concurrent and Distributed Programming	2024-02-23	Paper
Tight Error Analysis in Fixed-point Arithmetic Formal Aspects of Computing	2023-08-31	Paper
Process algebras and flocks of birds Lecture Notes in Computer Science	2023-07-26	Paper
Bit-precise verification of discontinuity errors under fixed-point arithmetic Software Engineering and Formal Methods	2023-05-26	Paper
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems	2023-03-29	Paper
Tight Error Analysis in Fixed-Point Arithmetic	2023-03-21	Paper
Verifying properties of systems relying on attribute-based communication ModelEd, TestEd, TrustEd	2022-11-09	Paper
Probabilistic Analysis of Binary Sessions (available as arXiv preprint)	2022-07-18	Paper
On the path-width of integer linear programming	2021-06-24	Paper
On the path-width of integer linear programming (available as arXiv preprint)	2021-06-24	Paper
On the path-width of integer linear programming Information and Computation	2017-03-16	Paper

Research outcomes over time

This page was built for person: Omar Inverso