CATALOGO DEI PRODOTTI DELLA RICERCA

VILLA, Tiziano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.073
EU - Europa 6.468
AS - Asia 4.753
SA - Sud America 830
Continente sconosciuto - Info sul continente non disponibili 201
AF - Africa 139
OC - Oceania 13
AN - Antartide 1
Totale 19.478
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.927
RU - Federazione Russa 2.351
SG - Singapore 2.094
GB - Regno Unito 1.246
CN - Cina 1.198
IT - Italia 674
BR - Brasile 673
VN - Vietnam 462
HK - Hong Kong 409
FR - Francia 403
NL - Olanda 338
IE - Irlanda 328
FI - Finlandia 311
SE - Svezia 295
DE - Germania 253
KR - Corea 217
UA - Ucraina 119
CA - Canada 66
AR - Argentina 59
ID - Indonesia 57
IN - India 55
BD - Bangladesh 52
MX - Messico 49
TR - Turchia 42
NG - Nigeria 34
JP - Giappone 33
ZA - Sudafrica 32
IQ - Iraq 30
ES - Italia 24
BE - Belgio 23
EC - Ecuador 23
CO - Colombia 17
AT - Austria 15
VE - Venezuela 15
CL - Cile 13
PH - Filippine 13
PL - Polonia 13
AU - Australia 12
IL - Israele 12
PK - Pakistan 12
PY - Paraguay 12
SA - Arabia Saudita 12
TG - Togo 12
TN - Tunisia 11
LT - Lituania 10
UZ - Uzbekistan 10
HU - Ungheria 9
KE - Kenya 9
PE - Perù 9
BJ - Benin 8
AE - Emirati Arabi Uniti 7
EG - Egitto 7
RO - Romania 7
KZ - Kazakistan 6
MA - Marocco 6
MD - Moldavia 6
SK - Slovacchia (Repubblica Slovacca) 6
AL - Albania 5
CR - Costa Rica 5
EU - Europa 5
JM - Giamaica 5
LV - Lettonia 5
UY - Uruguay 5
BG - Bulgaria 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
DZ - Algeria 4
HN - Honduras 4
HR - Croazia 4
MY - Malesia 4
PA - Panama 4
AZ - Azerbaigian 3
BO - Bolivia 3
JO - Giordania 3
SC - Seychelles 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
NI - Nicaragua 2
NO - Norvegia 2
NP - Nepal 2
OM - Oman 2
QA - Qatar 2
RS - Serbia 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
AD - Andorra 1
AI - Anguilla 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
CD - Congo 1
CG - Congo 1
Totale 19.263
Salva come PNG Salva come JPEG
Città #
Singapore 1.119
Southend 1.028
Jacksonville 867
Moscow 751
Ashburn 670
San Jose 601
Woodbridge 544
Chandler 539
Dallas 472
Hong Kong 404
Ann Arbor 386
Council Bluffs 330
Dublin 318
Verona 318
Eygelshoven 277
Houston 268
The Dalles 208
Beijing 196
Ho Chi Minh City 169
Lawrence 138
Princeton 138
Wilmington 120
Los Angeles 112
Nanjing 109
Hanoi 92
Milan 92
New York 82
Helsinki 80
Lancaster 77
Buffalo 76
Jinan 66
São Paulo 63
Seoul 62
Tianjin 54
Santa Clara 52
Columbus 41
Shenyang 40
Redondo Beach 39
Sindelfingen 39
Hebei 38
Changsha 37
Nanchang 34
Amsterdam 30
Tokyo 29
Haikou 28
Hangzhou 28
Abuja 27
Guangzhou 27
Ningbo 27
Jiaxing 26
San Francisco 25
Rio de Janeiro 24
Orem 23
Rome 23
Toronto 23
Johannesburg 22
Zhengzhou 22
Brussels 21
London 21
Norwalk 21
Phoenix 20
Lanzhou 19
Seattle 19
Taizhou 19
Chicago 18
Haiphong 18
Mexico City 16
Baghdad 15
Denver 15
Fairfield 15
Montreal 15
Chennai 14
Frankfurt am Main 14
Jakarta 14
Da Nang 13
Falkenstein 13
Manchester 13
Warsaw 13
Boardman 12
Brooklyn 12
Lomé 12
Stockholm 12
Washington 12
Belo Horizonte 11
Boston 11
Des Moines 11
Fuzhou 11
Goiânia 11
Lappeenranta 11
Can Tho 10
Dong Ket 10
Munich 10
Nuremberg 10
Shanghai 10
Shenzhen 10
Trento 10
Atlanta 9
Biên Hòa 9
Curitiba 9
Guayaquil 9
Totale 12.108
Salva come PNG Salva come JPEG
Nome #
Special issue: Formal verification of cyber-physical systems 404
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 210
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 209
The quotient in preorder theories (extended version) 208
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 203
An Introduction to the Verification of Hybrid Systems using Ariadne 189
An approximation algorithm for cofactoring-based synthesis 183
Synthesis of complemented circuits 181
Ariadne: a Framework for Reachability Analysis of Hybrid Automata 179
Open Problems in Verification and Refinement of Autonomous Robotic Systems 175
Computing the evolution of hybrid systems using rigorous function calculus 172
Correct-by-construction code generation from hybrid automata specification 170
Decomposition of sequential and concurrent models 169
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 168
A new algorithm to solve synchronous FSM equations 166
A framework for satisfying input and output encoding constraints 162
Automated synthesis of protocol converters with BALM-II 162
Protocol converter synthesis by solving language equations 160
Formal Verification Applied to Robotic Surgery 160
A new algorithm for the largest compositionally progressive solution of synchronous language equations 159
A case study of hybrid controller synthesis of a heating system 158
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 158
An implicit formulation for exact BDD minimization of incompletelyspecified functions 156
VIS user's manual 156
A fast and robust exact algorithm for face embedding 154
Multi-valued decision diagrams: theory and applications 154
Advances in encoding for logic synthesis 153
Solving Parallel Equations with BALM-II 153
A higher order method for input-affine uncertain systems 152
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 152
Formal verification of medical CPS: a laser incision case study 152
A computable and compositional semantics for hybrid systems 151
A computable and compositional semantics for hybrid automata 145
Complexity of Weak, Strong and Dynamic Controllability of CNCUs 145
Mining Temporal Networks: Results and Open Problems 145
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti) 144
Hardware equivalence and property verification 144
Mining Significant Temporal Networks Is Polynomial 144
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 143
Bi-decomposition using Boolean Relations 143
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 143
Parametric formal verification: the robotic paint spraying case study 140
Dynamic controllability of temporal networks with instantaneous reaction 138
Generation of a minimal STG from an implicit cover 138
Mining CSTNUDs significant for a set of traces is polynomial 137
Synthesis of FSMs: logic optimization 136
Boolean Minimization of Projected Sums of Products via Boolean Relations 136
Ariadne: a library for computing with hybrid automata 135
A Boolean heuristic for disjoint SOP synthesis 135
Constrained encoding in hypercubes: algorithms and applications tological synthesis 134
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty 133
Process-driven Collision Prediction in Human-Robot Work Environments 132
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica) 132
Input encoding for minimum BDD size: theory and experiments 132
A fully implicit algorithm for exact state minimization 132
Testing in contest and synthesis of the unknown component: two faces ofthe same coin 132
Formal verification of robotic surgery tasks by reachability analysis 132
An FSM re-engineering approach to sequential circuit synthesis by state splitting 131
Encoding problems in logic synthesis 131
Component-Based Design by Solving Language Equations 131
An exact input encoding algorithm for BDDs representing FSMs 130
Robotic surgery 129
Strong Controllability of Temporal Networks with Decisions 129
Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods 125
Minimizing Deterministic Timed Finite State Machines 125
Negative thinking in branch-and-bound: the case of unate covering 124
NOVA: state assignment of finite-state machines for optimaltwo-level logic implementations 123
On the Complexity of Resource Controllability in Business Process Management 123
Optimization of Synchronous Circuits 122
VIS: A system for Verification and Synthesis 122
Logic synthesis by signal-driven decomposition 121
The unknown component problem: theory and applications 120
The impact of EFSM composition on functional ATPG 119
Synthesis of multi-level Boolean networks 119
Synthesis of P-Circuits for logic restructuring 118
SOP Restructuring by Exploiting Don't Cares 118
Logic synthesis for switching lattices by decomposition with P-circuits 117
Rigorous continuous evolution of uncertain systems 117
Synthesis of FSMs: functional optimization 116
NOVA: state assignment of finite-state machines for optimal two-level logic implementations 116
Using flexibility in P-circuits by Boolean Relations 116
Automating Numerical Parameters Along the Evolution of a Nonlinear System 115
Approximate Logic Synthesis by Symmetrization 115
Recent Results on Computable and Compositional Semantics for Hybrid Systems 115
Experiments on the synthesis and testability of non-scanfinite state machines 113
Efficient Hardware Operations for the Residue Number System by Boolean Minimization 113
VIS 112
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 112
The complexity of two-level logic minimization 111
Idle Speed Control - A Benchmark for Hybrid System Research 111
Aura~II: combining negative thinking and branch-and-bound in unate covering Problems 110
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 110
FSM Re-engineering and its Application in Low Power State Encoding 109
Negative thinking in search methods: application to unate covering 109
Fuzzy rules optimization for analog VLSI implementation 109
Solving language equations over synchronous and parallel composition operators 108
Implicit state minimization of non-deterministic FSMs 108
Controller synthesis for hybrid systems with a lower bound on event separation. 107
Decomposition of transition systems into sets of synchronizing state machines 107
Efficient Minimization of Fully Testable 2-SPP Networks 106
Totale 14.130
Salva come PNG Salva come JPEG
Categoria #
all - tutte 64.085
article - articoli 17.303
book - libri 1.574
conference - conferenze 34.204
curatela - curatele 1.081
other - altro 5.688
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.235
Totale 128.170
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022735 0 0 26 32 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/2027278 86 191 1 0 0 0 0 0 0 0 0 0
Totale 19.478