MURCIANO, MARCO
 Distribuzione geografica
Continente #
EU - Europa 3.138
NA - Nord America 1.892
AS - Asia 513
AF - Africa 9
SA - Sud America 6
OC - Oceania 4
Totale 5.562
Nazione #
US - Stati Uniti d'America 1.881
IT - Italia 1.726
GB - Regno Unito 438
FR - Francia 302
JP - Giappone 260
DE - Germania 254
CN - Cina 127
UA - Ucraina 111
TR - Turchia 55
RU - Federazione Russa 51
NL - Olanda 50
CH - Svizzera 39
BE - Belgio 36
IE - Irlanda 36
SE - Svezia 26
KR - Corea 21
FI - Finlandia 20
MY - Malesia 18
JO - Giordania 14
AT - Austria 13
EU - Europa 11
AP - ???statistics.table.value.countryCode.AP??? 10
CA - Canada 10
AU - Australia 4
GH - Ghana 4
IN - India 4
BR - Brasile 3
CO - Colombia 3
PT - Portogallo 3
TH - Thailandia 3
VN - Vietnam 3
BD - Bangladesh 2
DK - Danimarca 2
EE - Estonia 2
EG - Egitto 2
GR - Grecia 2
IL - Israele 2
PL - Polonia 2
UZ - Uzbekistan 2
BY - Bielorussia 1
CI - Costa d'Avorio 1
DZ - Algeria 1
ES - Italia 1
HU - Ungheria 1
IR - Iran 1
KW - Kuwait 1
MX - Messico 1
NG - Nigeria 1
RO - Romania 1
Totale 5.562
Città #
Turin 562
Ashburn 496
Southend 392
Seattle 315
Umatate 254
Fairfield 154
Chandler 125
Torino 94
Milan 89
Ann Arbor 83
Woodbridge 69
Beijing 66
Houston 62
Princeton 57
Jacksonville 52
Cambridge 48
Izmir 45
Wilmington 42
Brussels 35
Dublin 35
San Ramon 35
Berlin 34
Bologna 33
Bern 32
Saint Petersburg 29
Rome 23
Dearborn 21
Chicago 20
Helsinki 19
Boardman 17
Bremen 17
Overberg 17
Pennsylvania Furnace 17
San Donato Milanese 17
Baltimore 16
Shanghai 16
Zaporozhye 16
Genova 14
Vienna 13
Aosta 11
Bellizzi 11
Monopoli 11
Padua 11
Zhengzhou 11
Hangzhou 10
Catania 9
Mountain View 9
Olimpia 9
San Jose 9
Atlanta 8
Frankfurt Am Main 8
Malatya 8
Merlino 8
Modena 8
Moncalieri 8
Novara 8
Palermo 8
Pandino 8
Toronto 8
Carmagnola 7
Collegno 7
Giugliano In Campania 7
Nanjing 7
Brescia 6
Gallarate 6
London 6
Partinico 6
Redwood City 6
Rivoli 6
San Francisco 6
Trieste 6
Varano 6
Albisola Superiore 5
Chieri 5
Frankfurt 5
Herkenbosch 5
Lanzo Torinese 5
Narcao 5
Norwalk 5
Piazzola Sul Brenta 5
Varese 5
Beinasco 4
Caselle Torinese 4
Comiziano 4
Council Bluffs 4
Milano 4
Monte Urano 4
Odessa 4
Padova 4
Pescara 4
Podenzano 4
San Diego 4
Seoul 4
Settimo Torinese 4
Trento 4
Alba 3
Altessano 3
Amsterdam 3
Antibes 3
Bangalore 3
Totale 3.860
Nome #
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata 1.554
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques 493
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules 337
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications 328
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 305
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 297
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking 269
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits 241
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 238
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 231
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT 228
Stepping Forward with Interpolants in Unbounded Model Checking 214
BDD-Based Hardware Verification 211
Low Cost Indoor Navigation System For Autonomous Vehicle 194
Interpolant-Based Unbounded Model Checking 178
Programmazione Concorrente con l'Asynchronous I/O 129
Controllo Remoto Hardware e Software di Sistemi Aerospaziali a Basso Costo 127
Stepping forward with interpolates in unbounded model checking 13
Totale 5.587
Categoria #
all - tutte 11.236
article - articoli 3.754
book - libri 809
conference - conferenze 3.702
curatela - curatele 0
other - altro 2.444
patent - brevetti 0
selected - selezionate 0
volume - volumi 527
Totale 22.472


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019399 0 0 0 0 0 46 32 22 29 74 101 95
2019/2020537 45 24 13 74 53 83 72 71 44 23 18 17
2020/2021428 37 46 19 46 34 34 47 47 39 30 24 25
2021/2022278 10 19 3 6 32 26 27 16 24 15 41 59
2022/2023416 31 80 7 29 60 36 21 27 59 7 11 48
2023/2024113 12 19 5 26 45 6 0 0 0 0 0 0
Totale 5.587