PORTO @ Archivio Istituzionale della Ricerca

PASINI, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 146
EU - Europa 138
AS - Asia 11
SA - Sud America 2
Totale 297
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 138
IT - Italia 104
DE - Germania 11
IE - Irlanda 9
CA - Canada 8
GB - Regno Unito 6
CN - Cina 5
AE - Emirati Arabi Uniti 2
CL - Cile 2
FR - Francia 2
ID - Indonesia 2
IN - India 2
NL - Olanda 2
CZ - Repubblica Ceca 1
NO - Norvegia 1
RU - Federazione Russa 1
SE - Svezia 1
Totale 297
Salva come PNG Salva come JPEG
Città #
Torino 43
Houston 31
Santa Cruz 16
Ann Arbor 14
Dublin 9
Fairfield 8
Turin 8
Buffalo 6
Seattle 6
Toronto 6
Bremen 5
San Diego 4
Vicenza 4
Ashburn 3
Carignano 3
San Donato Milanese 3
Wilmington 3
Cambridge 2
Costabissara 2
Cuneo 2
Jinan 2
Milan 2
Ottawa 2
Triggiano 2
Villastellone 2
Woodbridge 2
Wuhan 2
Andover 1
Augusta 1
Beijing 1
Bengaluru 1
Borgomanero 1
Boulder 1
Cheyenne 1
Clearwater 1
Cloppenburg 1
Dallas 1
Genova 1
Goldenstedt 1
Groningen 1
Guwahati 1
Jacksonville 1
Lake Forest 1
Los Angeles 1
Miami 1
Norwalk 1
Palo Alto 1
Rome 1
San Francisco 1
San Mateo 1
Santiago 1
Scottsdale 1
Stavanger 1
Stuttgart 1
Sunnyvale 1
University Park 1
Wierden 1
Yellow Springs 1
Totale 223
Salva come PNG Salva come JPEG
Nome #
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening, file e384c42f-3256-d4b2-e053-9f05fe0a1d67 103
Test Time Minimization in Reconfigurable Scan Networks, file e384c42f-32d5-d4b2-e053-9f05fe0a1d67 90
Test of Reconfigurable Modules in Scan Networks, file e384c430-335a-d4b2-e053-9f05fe0a1d67 59
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties, file e384c42e-a869-d4b2-e053-9f05fe0a1d67 9
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks, file e384c42e-ad14-d4b2-e053-9f05fe0a1d67 8
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization, file e384c42e-b301-d4b2-e053-9f05fe0a1d67 7
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills, file e384c432-db75-d4b2-e053-9f05fe0a1d67 7
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification, file e384c432-d1f0-d4b2-e053-9f05fe0a1d67 6
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking, file 4ac6a48f-eb82-484f-92e8-734e62bd612d 4
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification, file 5146edf5-ce48-44b7-9bbf-f082c83a24ac 3
Test Time Minimization in Reconfigurable Scan Networks, file e384c42f-7b53-d4b2-e053-9f05fe0a1d67 3
Logic Synthesis for Interpolant Circuit Compaction, file e384c431-f0f0-d4b2-e053-9f05fe0a1d67 3
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking, file e384c432-638c-d4b2-e053-9f05fe0a1d67 3
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking, file 619e9dd4-f974-453f-bf68-a61758eaea9c 2
Dal problema al programma: introduzione al problem-solving in linguaggio C, file e384c42e-a4e6-d4b2-e053-9f05fe0a1d67 2
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties, file e384c42e-a730-d4b2-e053-9f05fe0a1d67 2
Improving bit-level model checking algorithms for scalability through circuit-based reasoning, file e384c42f-9739-d4b2-e053-9f05fe0a1d67 1
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening, file e384c432-304b-d4b2-e053-9f05fe0a1d67 1
Totale 313
Salva come PNG Salva come JPEG
Categoria #
all - tutte 440
article - articoli 133
book - libri 2
conference - conferenze 304
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 879
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191 0 0 0 0 0 0 0 0 0 0 0 1
2019/202014 0 0 3 0 3 1 0 1 5 0 1 0
2020/202175 8 4 3 6 9 13 4 7 2 6 8 5
2021/2022125 15 6 7 33 15 9 9 4 0 4 18 5
2022/202361 2 4 14 8 9 14 7 3 0 0 0 0
2023/20244 0 0 0 0 0 0 0 1 0 3 0 0
Totale 313