E-LIB Suche - Ergebnisse für: Inverso, Omar - Sprache DE

OpenAccess-Volltexte X

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Certification of the proximal gradient method under fixed-p..:

Krupa, Pablo ; Inverso, Omar ; Tribastone, Mirco.
http://arxiv.org/abs/2303.16786. , 2023

Link: http://arxiv.org/abs/230..

2

Certification of the proximal gradient method under fixed-p..:

Krupa García, Pablo ; Inverso, Omar ; Tribastone, Mirko.
https://www.sciencedirect.com/science/article/pii/S0005109823005782. , 2023

Link: https://idus.us.es/handl..

3

Verification of Distributed Systems via Sequential Emulatio:

Di Stefano, Luca ; de Nicola, Rocco ; Inverso, Omar
info:eu-repo/semantics/altIdentifier/doi/10.1145/3490387. , 2022

Link: https://hal.inria.fr/hal..

4

Verification of Distributed Systems via Sequential Emulatio:

Di Stefano, Luca ; de Nicola, Rocco ; Inverso, Omar
info:eu-repo/semantics/altIdentifier/doi/10.1145/3490387. , 2022

Link: https://hal.inria.fr/hal..

5

Replication Package for the paper: Verification of Distribu..:

Di Stefano, Luca ; De Nicola, Rocco ; Inverso, Omar
doi:10.5281/zenodo.5348288. , 2021

Link: https://zenodo.org/recor..

6

Probabilistic Analysis of Binary Sessions:

Inverso, Omar ; Melgratti, Hernán ; Padovani, Luca..
info:eu-repo/grantAgreement/EC/H2020/778233/. , 2020

Link: https://zenodo.org/recor..

7

Probabilistic Analysis of Binary Sessions:

Inverso, Omar ; Melgratti, Hernán ; Padovani, Luca..
http://arxiv.org/abs/2007.11832. , 2020

Link: http://arxiv.org/abs/200..

8

Probabilistic Analysis of Binary Sessions:

Inverso, Omar ; Melgratti, Hernán ; Padovani, Luca..
info:eu-repo/grantAgreement/EC/H2020/778233/. , 2020

Link: https://zenodo.org/recor..

9

Probabilistic Analysis of Binary Sessions:

Inverso, Omar ; Padovani, Luca ; Trubiani, Catia.
doi:10.4230/LIPIcs.CONCUR.2020.14. , 2020

Link: https://doi.org/10.4230/..

10

A Prototype Tool for Parallel and Distributed Bounded Model..:

Inverso, Omar ; Trubiani, Catia
doi:10.1145/3332466.3374529. , 2019

Link: https://zenodo.org/recor..

11

Toward Formal Models and Languages for Verifiable Multi-Rob..:

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7806004/. , 2018

Link: http://www.ncbi.nlm.nih...

12

Towards formal models and languages for verifiable Multi-Ro..:

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar
http://arxiv.org/abs/1804.08091. , 2018

Link: http://arxiv.org/abs/180..

13

Toward formal models and languages for verifiable multi-rob..:

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar
volume:5. , 2018

Link: https://hdl.handle.net/2..

14

AErlang: Empowering Erlang with Attribute-Based Communicati..:

De Nicola, Rocco ; Duong, Tan ; Inverso, Omar.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-59746-1_2. , 2017

Link: https://hal.inria.fr/hal..

15

On the path-width of integer linear programming:

Enea, Constantin ; Habermehl, Peter ; Inverso, Omar.
https://eprints.soton.ac.uk/386737/1/final.pdf. , 2017

Link: https://eprints.soton.ac..

1-15