INVERSO, OMAR
 Distribuzione geografica
Continente #
EU - Europa 41
NA - Nord America 8
AS - Asia 4
AF - Africa 2
Totale 55
Nazione #
IT - Italia 34
US - Stati Uniti d'America 8
GB - Regno Unito 2
IE - Irlanda 2
IN - India 2
ZA - Sudafrica 2
BE - Belgio 1
CZ - Repubblica Ceca 1
IR - Iran 1
RU - Federazione Russa 1
VN - Vietnam 1
Totale 55
Città #
Fleming Island 3
Cape Town 2
Dublin 2
Fort Huachuca 2
Oadby 2
Poona 2
Ann Arbor 1
Dong Ket 1
Richardson 1
Turin 1
Totale 17
Nome #
Toward formal models and languages for verifiable multi-robot systems, file dfe4cef6-f065-ea31-e053-6605fe0a48e4 15
Automated model-based performance analysis of software product lines under uncertainty, file dfe4cef6-f8d6-ea31-e053-6605fe0a48e4 7
Verifying Concurrent Programs by Memory Unwinding, file dfe4cef7-3751-ea31-e053-6605fe0a48e4 5
A Prototype for Data Race Detection in CSeq 3, file dfe4cef7-63ec-ea31-e053-6605fe0a48e4 5
Lazy sequentialization for TSO and PSO via shared memory abstractions, file dfe4cef6-f05f-ea31-e053-6605fe0a48e4 4
Probabilistic Analysis of Binary Sessions, file dfe4cef6-f8d4-ea31-e053-6605fe0a48e4 4
On the path-width of integer linear programming, file dfe4cef6-f055-ea31-e053-6605fe0a48e4 3
Parallel and distributed bounded model checking of multi-threaded programs, file dfe4cef6-f075-ea31-e053-6605fe0a48e4 3
Identification of Credulous Users on Twitter, file dfe4cef6-f1ee-ea31-e053-6605fe0a48e4 3
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization, file dfe4cef7-0cba-ea31-e053-6605fe0a48e4 3
AErlang: Empowering Erlang with attribute-based communication, file dfe4cef6-f0d2-ea31-e053-6605fe0a48e4 2
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems, file dfe4cef7-0fb6-ea31-e053-6605fe0a48e4 2
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs, file dfe4cef7-3ecd-ea31-e053-6605fe0a48e4 2
Verifying AbC Specifications via Emulation, file dfe4cef6-fbf9-ea31-e053-6605fe0a48e4 1
Multi-agent systems with virtual stigmergy, file dfe4cef6-fd72-ea31-e053-6605fe0a48e4 1
null, file dfe4cef7-02c2-ea31-e053-6605fe0a48e4 1
AErlang: Empowering Erlang with Attribute-Based Communication, file dfe4cef7-0365-ea31-e053-6605fe0a48e4 1
Verifying Concurrent Programs by Memory Unwinding, file dfe4cef7-0d95-ea31-e053-6605fe0a48e4 1
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization, file dfe4cef7-60a0-ea31-e053-6605fe0a48e4 1
Automated Replication of Tuple Spaces via Static Analysis, file dfe4cef7-60a3-ea31-e053-6605fe0a48e4 1
Totale 65
Categoria #
all - tutte 150
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 150


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202141 22013 118 00 0401
2021/202214 0032 00 20 2122
2022/202310 1000 04 50 0000
Totale 65