CATALOGO DEI PRODOTTI DELLA RICERCA

VILLA, Tiziano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.203
EU - Europa 6.614
AS - Asia 4.792
SA - Sud America 860
Continente sconosciuto - Info sul continente non disponibili 211
AF - Africa 144
OC - Oceania 13
AN - Antartide 1
Totale 20.838
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.894
RU - Federazione Russa 2.361
SG - Singapore 2.106
GB - Regno Unito 1.253
CN - Cina 1.203
IT - Italia 784
BR - Brasile 694
VN - Vietnam 463
HK - Hong Kong 410
FR - Francia 406
NL - Olanda 339
IE - Irlanda 328
FI - Finlandia 311
SE - Svezia 297
DE - Germania 257
KR - Corea 217
CA - Canada 124
UA - Ucraina 121
AR - Argentina 60
ID - Indonesia 59
IN - India 55
BD - Bangladesh 54
MX - Messico 50
TR - Turchia 42
JP - Giappone 37
NG - Nigeria 34
ZA - Sudafrica 32
IQ - Iraq 30
CR - Costa Rica 26
BE - Belgio 25
EC - Ecuador 24
ES - Italia 24
CO - Colombia 22
GT - Guatemala 22
IL - Israele 18
VE - Venezuela 17
AT - Austria 15
PH - Filippine 15
NI - Nicaragua 14
CL - Cile 13
HN - Honduras 13
PL - Polonia 13
SA - Arabia Saudita 13
AU - Australia 12
PK - Pakistan 12
PR - Porto Rico 12
PY - Paraguay 12
SV - El Salvador 12
TG - Togo 12
TN - Tunisia 11
TT - Trinidad e Tobago 11
KE - Kenya 10
LT - Lituania 10
UZ - Uzbekistan 10
CW - ???statistics.table.value.countryCode.CW??? 9
HU - Ungheria 9
JM - Giamaica 9
PE - Perù 9
AE - Emirati Arabi Uniti 8
BJ - Benin 8
EG - Egitto 7
RO - Romania 7
SC - Seychelles 7
KZ - Kazakistan 6
MA - Marocco 6
MD - Moldavia 6
SK - Slovacchia (Repubblica Slovacca) 6
AL - Albania 5
DO - Repubblica Dominicana 5
EE - Estonia 5
EU - Europa 5
LV - Lettonia 5
MY - Malesia 5
UY - Uruguay 5
BG - Bulgaria 4
CZ - Repubblica Ceca 4
DZ - Algeria 4
HR - Croazia 4
PA - Panama 4
AZ - Azerbaigian 3
BO - Bolivia 3
GP - Guadalupe 3
JO - Giordania 3
TH - Thailandia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AM - Armenia 2
BH - Bahrain 2
CH - Svizzera 2
CM - Camerun 2
DK - Danimarca 2
GE - Georgia 2
IR - Iran 2
KG - Kirghizistan 2
LU - Lussemburgo 2
NO - Norvegia 2
NP - Nepal 2
OM - Oman 2
QA - Qatar 2
RS - Serbia 2
AD - Andorra 1
Totale 20.617
Salva come PNG Salva come JPEG
Città #
Singapore 1.120
Southend 1.028
Ashburn 1.021
Jacksonville 867
Moscow 751
San Jose 656
Woodbridge 545
Chandler 540
Dallas 520
Hong Kong 405
Ann Arbor 386
Council Bluffs 339
Verona 321
Dublin 319
Eygelshoven 277
Houston 271
The Dalles 208
Beijing 196
Ho Chi Minh City 169
Princeton 139
Lawrence 138
Los Angeles 122
Wilmington 120
Milan 114
Nanjing 109
Hanoi 93
New York 91
São Paulo 81
Helsinki 80
Buffalo 77
Lancaster 77
Jinan 66
Seoul 62
Santa Clara 61
Tianjin 54
Washington 50
Columbus 43
Shenyang 40
Redondo Beach 39
Sindelfingen 39
Hebei 38
Changsha 37
Nanchang 34
Rome 33
Tokyo 33
Amsterdam 30
Haikou 28
Hangzhou 28
Toronto 28
Abuja 27
Guangzhou 27
Ningbo 27
Jiaxing 26
San Francisco 26
Staranzano 26
Rio de Janeiro 25
London 24
Orem 24
Phoenix 24
Chicago 23
Brussels 22
Johannesburg 22
Norwalk 22
San José 22
Zhengzhou 22
Guatemala City 20
Seattle 20
Lanzhou 19
Montreal 19
Taizhou 19
Denver 18
Haiphong 18
Brooklyn 16
Mexico City 16
Atlanta 15
Baghdad 15
Fairfield 15
Chennai 14
Frankfurt am Main 14
Jakarta 14
Managua 14
Boardman 13
Da Nang 13
Falkenstein 13
Manchester 13
Warsaw 13
Lomé 12
Naples 12
San Salvador 12
Stockholm 12
Belo Horizonte 11
Boston 11
Des Moines 11
Fuzhou 11
Goiânia 11
Lappeenranta 11
Vancouver 11
Can Tho 10
Charlotte 10
Dong Ket 10
Totale 12.798
Salva come PNG Salva come JPEG
Nome #
Special issue: Formal verification of cyber-physical systems 417
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 225
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 220
The quotient in preorder theories (extended version) 220
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 218
An Introduction to the Verification of Hybrid Systems using Ariadne 193
Protocol converter synthesis by solving language equations 190
An approximation algorithm for cofactoring-based synthesis 188
Decomposition of sequential and concurrent models 187
Ariadne: a Framework for Reachability Analysis of Hybrid Automata 186
Synthesis of complemented circuits 186
Computing the evolution of hybrid systems using rigorous function calculus 182
Open Problems in Verification and Refinement of Autonomous Robotic Systems 182
Correct-by-construction code generation from hybrid automata specification 175
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 175
Multi-valued decision diagrams: theory and applications 174
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 174
VIS user's manual 173
A new algorithm to solve synchronous FSM equations 172
Automated synthesis of protocol converters with BALM-II 169
A framework for satisfying input and output encoding constraints 167
Formal Verification Applied to Robotic Surgery 167
A case study of hybrid controller synthesis of a heating system 164
Formal verification of medical CPS: a laser incision case study 164
A computable and compositional semantics for hybrid systems 163
A higher order method for input-affine uncertain systems 163
A new algorithm for the largest compositionally progressive solution of synchronous language equations 163
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 163
Solving Parallel Equations with BALM-II 161
A fast and robust exact algorithm for face embedding 159
An implicit formulation for exact BDD minimization of incompletelyspecified functions 159
Advances in encoding for logic synthesis 159
Ariadne: a library for computing with hybrid automata 158
Synthesis of FSMs: logic optimization 158
Constrained encoding in hypercubes: algorithms and applications tological synthesis 157
A computable and compositional semantics for hybrid automata 153
Input encoding for minimum BDD size: theory and experiments 152
Encoding problems in logic synthesis 152
Testing in contest and synthesis of the unknown component: two faces ofthe same coin 152
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 151
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 151
Mining Temporal Networks: Results and Open Problems 151
Hardware equivalence and property verification 150
Bi-decomposition using Boolean Relations 150
Complexity of Weak, Strong and Dynamic Controllability of CNCUs 150
Mining Significant Temporal Networks Is Polynomial 150
Dynamic controllability of temporal networks with instantaneous reaction 146
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti) 146
Generation of a minimal STG from an implicit cover 146
Parametric formal verification: the robotic paint spraying case study 145
A Boolean heuristic for disjoint SOP synthesis 145
Mining CSTNUDs significant for a set of traces is polynomial 144
Boolean Minimization of Projected Sums of Products via Boolean Relations 143
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty 142
Formal verification of robotic surgery tasks by reachability analysis 141
Process-driven Collision Prediction in Human-Robot Work Environments 140
Robotic surgery 140
An FSM re-engineering approach to sequential circuit synthesis by state splitting 139
Component-Based Design by Solving Language Equations 138
A fully implicit algorithm for exact state minimization 137
Strong Controllability of Temporal Networks with Decisions 136
An exact input encoding algorithm for BDDs representing FSMs 135
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica) 134
Minimizing Deterministic Timed Finite State Machines 134
VIS: A system for Verification and Synthesis 133
Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods 133
Synthesis of FSMs: functional optimization 130
Optimization of Synchronous Circuits 129
NOVA: state assignment of finite-state machines for optimaltwo-level logic implementations 129
Synthesis of multi-level Boolean networks 128
The unknown component problem: theory and applications 128
Synthesis of P-Circuits for logic restructuring 128
On the Complexity of Resource Controllability in Business Process Management 128
The impact of EFSM composition on functional ATPG 127
Using flexibility in P-circuits by Boolean Relations 127
Negative thinking in branch-and-bound: the case of unate covering 126
Logic synthesis by signal-driven decomposition 126
Rigorous continuous evolution of uncertain systems 126
Automating Numerical Parameters Along the Evolution of a Nonlinear System 125
NOVA: state assignment of finite-state machines for optimal two-level logic implementations 125
SOP Restructuring by Exploiting Don't Cares 125
Recent Results on Computable and Compositional Semantics for Hybrid Systems 125
Logic synthesis for switching lattices by decomposition with P-circuits 124
The complexity of two-level logic minimization 123
FSM Re-engineering and its Application in Low Power State Encoding 123
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 123
Approximate Logic Synthesis by Symmetrization 122
Exploiting symmetrization and D-reducibility for approximate logic synthesis 122
Computer-aided synthesis of PLA-based finite-state machines 121
Experiments on the synthesis and testability of non-scanfinite state machines 120
Controller synthesis for hybrid systems with a lower bound on event separation. 119
VIS 119
Negative thinking in search methods: application to unate covering 118
Efficient Hardware Operations for the Residue Number System by Boolean Minimization 118
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 117
Idle Speed Control - A Benchmark for Hybrid System Research 117
How Hard is Two-Level Logic Minimization: an Addendum to Garey & Johnson 114
Solving language equations over synchronous and parallel composition operators 114
Implicit state minimization of non-deterministic FSMs 114
Area-driven Boolean bi-decomposition by function approximation 113
Totale 15.063
Salva come PNG Salva come JPEG
Categoria #
all - tutte 68.734
article - articoli 18.692
book - libri 1.702
conference - conferenze 36.584
curatela - curatele 1.149
other - altro 6.132
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.475
Totale 137.468
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022677 0 0 0 0 81 45 32 68 53 33 91 274
2022/20231.945 167 186 203 252 259 425 30 139 201 13 41 29
2023/2024875 58 81 73 99 74 74 62 59 7 92 105 91
2024/20252.771 169 224 94 447 101 64 56 243 429 211 183 550
2025/20268.242 581 390 657 1.437 1.956 776 627 519 522 424 93 260
2026/20271.638 86 191 386 921 54 0 0 0 0 0 0 0
Totale 20.838