INVERSO, OMAR
 Distribuzione geografica
Continente #
EU - Europa 60
NA - Nord America 12
AS - Asia 4
AF - Africa 2
Totale 78
Nazione #
IT - Italia 40
US - Stati Uniti d'America 12
NL - Olanda 5
RU - Federazione Russa 4
GB - Regno Unito 2
IE - Irlanda 2
IN - India 2
PL - Polonia 2
UA - Ucraina 2
ZA - Sudafrica 2
BE - Belgio 1
CZ - Repubblica Ceca 1
EE - Estonia 1
IR - Iran 1
VN - Vietnam 1
Totale 78
Città #
Ashburn 3
Milan 3
Santa Maria Imbaro 3
Amsterdam 2
Cape Town 2
Dublin 2
Fort Huachuca 2
Oadby 2
Poona 2
Ann Arbor 1
Council Bluffs 1
Dong Ket 1
Las Vegas 1
Richardson 1
Sunnyvale 1
Tallinn 1
Turin 1
Totale 29
Nome #
Toward formal models and languages for verifiable multi-robot systems, file dfe4cef6-f065-ea31-e053-6605fe0a48e4 23
A Prototype for Data Race Detection in CSeq 3, file dfe4cef7-63ec-ea31-e053-6605fe0a48e4 13
Verifying Concurrent Programs by Memory Unwinding, file dfe4cef7-3751-ea31-e053-6605fe0a48e4 11
Automated model-based performance analysis of software product lines under uncertainty, file dfe4cef6-f8d6-ea31-e053-6605fe0a48e4 10
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
Totale 88
Categoria #
all - tutte 333
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 333


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202141 2 2 0 13 11 8 0 0 0 4 0 1
2021/202214 0 0 3 2 0 0 2 0 2 1 2 2
2022/202310 1 0 0 0 0 4 2 0 0 0 3 0
2023/202423 3 2 4 1 2 1 1 4 4 1 0 0
Totale 88