×
Edit Profile (opens in new tab)

Inverso, Omar

Co-Author Distance
Author ID: inverso.omar Recent zbMATH articles by "Inverso, Omar"
Published as: Inverso, Omar
Documents Indexed: 11 Publications since 2014
Co-Authors: 20 Co-Authors with 11 Joint Publications
537 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
4 Tribastone, Mirco
3 Bemporad, Alberto
3 De Nicola, Rocco
3 Simić, Stella
2 Di Stefano, Luca
2 Enea, Constantin
2 Habermehl, Peter
2 Parlato, Gennaro
2 Trubiani, Catia
2 Valiani, Serenella
1 Aceto, Luca
1 D’Angelo, Gianlorenzo
1 Duong, Tan
1 Flammini, Michele
1 Iovino, Ludovico
1 Krupa, Pablo
1 Mazzanti, Franco
1 Melgratti, Hernán
1 Padovani, Luca
1 Tuosto, Emilio

Serials

1 Automatica
1 Information and Computation
1 Formal Aspects of Computing
all top 5

Fields

9 Computer science (68-XX)
3 Operations research, mathematical programming (90-XX)
2 Mathematical logic and foundations (03-XX)
2 Numerical analysis (65-XX)
1 History and biography (01-XX)
1 Combinatorics (05-XX)
1 Biology and other natural sciences (92-XX)
1 Systems theory; control (93-XX)

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼
Verifying properties of systems relying on attribute-based communication. Zbl 1498.68182
De Nicola, Rocco; Duong, Tan; Inverso, Omar; Mazzanti, Franco
1
2017
Tight error analysis in fixed-point arithmetic. Zbl 1522.68162
Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco
1
2022
Tight error analysis in fixed-point arithmetic. Zbl 1517.68083
Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco
1
2020
Probabilistic analysis of binary sessions. Zbl 07559470
Inverso, Omar; Melgratti, Hernán; Padovani, Luca; Trubiani, Catia; Tuosto, Emilio
1
2020
On the path-width of integer linear programming. Zbl 1464.90040
Enea, Constantin; Habermehl, Peter; Inverso, Omar; Parlato, Gennaro
1
2014
Tight error analysis in fixed-point arithmetic. Zbl 1522.68162
Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco
1
2022
Tight error analysis in fixed-point arithmetic. Zbl 1517.68083
Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco
1
2020
Probabilistic analysis of binary sessions. Zbl 07559470
Inverso, Omar; Melgratti, Hernán; Padovani, Luca; Trubiani, Catia; Tuosto, Emilio
1
2020
Verifying properties of systems relying on attribute-based communication. Zbl 1498.68182
De Nicola, Rocco; Duong, Tan; Inverso, Omar; Mazzanti, Franco
1
2017
On the path-width of integer linear programming. Zbl 1464.90040
Enea, Constantin; Habermehl, Peter; Inverso, Omar; Parlato, Gennaro
1
2014
all top 5

Cited by 14 Authors

3 Inverso, Omar
2 Tribastone, Mirco
1 Aman, Bogdan
1 Bemporad, Alberto
1 Ciobanu, Gabriel
1 De Nicola, Rocco
1 Enea, Constantin
1 Ferrari, Gian Luigi
1 Habermehl, Peter
1 Krupa, Pablo
1 Parlato, Gennaro
1 Pugliese, Rosario
1 Simić, Stella
1 Tiezzi, Francesco

Cited in 3 Serials

1 Automatica
1 Information and Computation
1 Journal of Logical and Algebraic Methods in Programming

Cited in 4 Fields

4 Computer science (68-XX)
2 Operations research, mathematical programming (90-XX)
1 Mathematical logic and foundations (03-XX)
1 Systems theory; control (93-XX)

Citations by Year