Omar Inverso

Available identifiers

zbMath Open inverso.omarWikidataQ108720695 ScholiaQ108720695MaRDI QIDQ515663

List of research outcomes

Publication	Date of Publication	Type
Intuitive modelling and formal analysis of collective behaviour in foraging ants	2024-02-28	Paper
Building international doctoral schools in computer science in Italy, De Nicola's way	2024-02-23	Paper
Tight Error Analysis in Fixed-point Arithmetic	2023-08-31	Paper
Process algebras and flocks of birds	2023-07-26	Paper
Bit-precise verification of discontinuity errors under fixed-point arithmetic	2023-05-26	Paper
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems	2023-03-29	Paper
Verifying Properties of Systems Relying on Attribute-Based Communication	2022-11-09	Paper
Probabilistic Analysis of Binary Sessions	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4995360	2021-06-24	Paper
On the path-width of integer linear programming	2017-03-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Omar Inverso