Omar Inverso

From MaRDI portal
Person:515663

Available identifiers

zbMath Open inverso.omarDBLP125/8727WikidataQ108720695 ScholiaQ108720695MaRDI QIDQ515663

List of research outcomes





PublicationDate of PublicationType
Intuitive modelling and formal analysis of collective behaviour in foraging ants2024-02-28Paper
Building international doctoral schools in computer science in Italy, De Nicola's way2024-02-23Paper
Tight Error Analysis in Fixed-point Arithmetic2023-08-31Paper
Process algebras and flocks of birds2023-07-26Paper
Bit-precise verification of discontinuity errors under fixed-point arithmetic2023-05-26Paper
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems2023-03-29Paper
Tight Error Analysis in Fixed-Point Arithmetic2023-03-21Paper
Verifying Properties of Systems Relying on Attribute-Based Communication2022-11-09Paper
Probabilistic Analysis of Binary Sessions2022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q49953602021-06-24Paper
On the path-width of integer linear programming2017-03-16Paper

Research outcomes over time

This page was built for person: Omar Inverso

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:515663&oldid=6753683"
Powered by MediaWiki