CATALOGO DEI PRODOTTI DELLA RICERCA

VILLA, Tiziano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.535
EU - Europa 6.436
AS - Asia 4.695
SA - Sud America 818
AF - Africa 138
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 7
AN - Antartide 1
Totale 18.643
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.411
RU - Federazione Russa 2.351
SG - Singapore 2.068
GB - Regno Unito 1.246
CN - Cina 1.190
BR - Brasile 669
IT - Italia 654
VN - Vietnam 462
HK - Hong Kong 406
FR - Francia 400
NL - Olanda 337
IE - Irlanda 327
FI - Finlandia 311
SE - Svezia 295
DE - Germania 251
KR - Corea 217
UA - Ucraina 119
AR - Argentina 59
ID - Indonesia 57
CA - Canada 55
IN - India 53
MX - Messico 48
TR - Turchia 42
BD - Bangladesh 35
NG - Nigeria 34
ZA - Sudafrica 32
JP - Giappone 31
IQ - Iraq 30
BE - Belgio 23
EC - Ecuador 22
ES - Italia 22
AT - Austria 15
VE - Venezuela 14
CO - Colombia 13
PH - Filippine 13
PL - Polonia 13
AU - Australia 12
CL - Cile 12
IL - Israele 12
PK - Pakistan 12
SA - Arabia Saudita 12
TG - Togo 12
PY - Paraguay 11
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
SK - Slovacchia (Repubblica Slovacca) 6
AL - Albania 5
EU - Europa 5
LV - Lettonia 5
MD - Moldavia 5
UY - Uruguay 5
BG - Bulgaria 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
DZ - Algeria 4
MY - Malesia 4
PA - Panama 4
AZ - Azerbaigian 3
BO - Bolivia 3
HN - Honduras 3
HR - Croazia 3
JM - Giamaica 3
JO - Giordania 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
SC - Seychelles 2
TH - Thailandia 2
AD - Andorra 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
CD - Congo 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
ET - Etiopia 1
Totale 18.625
Salva come PNG Salva come JPEG
Città #
Singapore 1.116
Southend 1.028
Jacksonville 865
Moscow 751
Ashburn 628
San Jose 561
Woodbridge 543
Chandler 539
Dallas 469
Hong Kong 401
Ann Arbor 386
Dublin 318
Verona 316
Eygelshoven 277
Houston 266
The Dalles 208
Beijing 191
Ho Chi Minh City 169
Lawrence 138
Princeton 138
Wilmington 119
Los Angeles 110
Nanjing 109
Hanoi 92
Milan 90
Helsinki 80
New York 79
Lancaster 77
Buffalo 75
Jinan 66
Seoul 62
São Paulo 62
Tianjin 54
Santa Clara 41
Shenyang 40
Redondo Beach 39
Sindelfingen 39
Columbus 38
Hebei 38
Changsha 37
Nanchang 34
Amsterdam 30
Haikou 28
Hangzhou 28
Tokyo 28
Abuja 27
Guangzhou 27
Ningbo 27
Jiaxing 26
San Francisco 25
Rio de Janeiro 24
Orem 23
Johannesburg 22
Rome 22
Zhengzhou 22
Brussels 21
London 21
Norwalk 20
Toronto 20
Lanzhou 19
Taizhou 19
Haiphong 18
Seattle 18
Chicago 17
Baghdad 15
Council Bluffs 15
Denver 15
Fairfield 15
Mexico City 15
Montreal 15
Chennai 14
Frankfurt am Main 14
Jakarta 14
Da Nang 13
Falkenstein 13
Manchester 13
Warsaw 13
Boardman 12
Lomé 12
Stockholm 12
Belo Horizonte 11
Boston 11
Brooklyn 11
Des Moines 11
Fuzhou 11
Goiânia 11
Lappeenranta 11
Phoenix 11
Washington 11
Can Tho 10
Dong Ket 10
Munich 10
Nuremberg 10
Shanghai 10
Shenzhen 10
Trento 10
Atlanta 9
Biên Hòa 9
Juiz de Fora 9
Nairobi 9
Totale 11.646
Salva come PNG Salva come JPEG
Nome #
Special issue: Formal verification of cyber-physical systems 399
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 208
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 203
The quotient in preorder theories (extended version) 202
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 193
An Introduction to the Verification of Hybrid Systems using Ariadne 185
Ariadne: a Framework for Reachability Analysis of Hybrid Automata 178
An approximation algorithm for cofactoring-based synthesis 178
Synthesis of complemented circuits 177
Open Problems in Verification and Refinement of Autonomous Robotic Systems 173
Computing the evolution of hybrid systems using rigorous function calculus 167
Correct-by-construction code generation from hybrid automata specification 165
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 163
Decomposition of sequential and concurrent models 162
A new algorithm to solve synchronous FSM equations 162
Automated synthesis of protocol converters with BALM-II 160
A framework for satisfying input and output encoding constraints 158
Formal Verification Applied to Robotic Surgery 158
Protocol converter synthesis by solving language equations 157
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 156
A new algorithm for the largest compositionally progressive solution of synchronous language equations 154
VIS user's manual 153
An implicit formulation for exact BDD minimization of incompletelyspecified functions 151
A case study of hybrid controller synthesis of a heating system 151
A fast and robust exact algorithm for face embedding 150
Solving Parallel Equations with BALM-II 150
A computable and compositional semantics for hybrid systems 149
Advances in encoding for logic synthesis 149
A higher order method for input-affine uncertain systems 147
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 147
Formal verification of medical CPS: a laser incision case study 147
Multi-valued decision diagrams: theory and applications 143
Mining Temporal Networks: Results and Open Problems 143
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti) 141
Complexity of Weak, Strong and Dynamic Controllability of CNCUs 141
Bi-decomposition using Boolean Relations 140
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 140
A computable and compositional semantics for hybrid automata 139
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 138
Mining Significant Temporal Networks Is Polynomial 138
Hardware equivalence and property verification 136
Generation of a minimal STG from an implicit cover 135
Parametric formal verification: the robotic paint spraying case study 135
Dynamic controllability of temporal networks with instantaneous reaction 134
Boolean Minimization of Projected Sums of Products via Boolean Relations 134
Ariadne: a library for computing with hybrid automata 132
Mining CSTNUDs significant for a set of traces is polynomial 132
A Boolean heuristic for disjoint SOP synthesis 132
Process-driven Collision Prediction in Human-Robot Work Environments 130
Synthesis of FSMs: logic optimization 129
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica) 129
An FSM re-engineering approach to sequential circuit synthesis by state splitting 128
Input encoding for minimum BDD size: theory and experiments 128
Encoding problems in logic synthesis 128
Constrained encoding in hypercubes: algorithms and applications tological synthesis 128
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty 128
An exact input encoding algorithm for BDDs representing FSMs 127
A fully implicit algorithm for exact state minimization 127
Component-Based Design by Solving Language Equations 127
Formal verification of robotic surgery tasks by reachability analysis 126
Strong Controllability of Temporal Networks with Decisions 126
Robotic surgery 125
Testing in contest and synthesis of the unknown component: two faces ofthe same coin 123
Optimization of Synchronous Circuits 121
Negative thinking in branch-and-bound: the case of unate covering 121
Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods 120
Minimizing Deterministic Timed Finite State Machines 120
VIS: A system for Verification and Synthesis 119
On the Complexity of Resource Controllability in Business Process Management 117
The impact of EFSM composition on functional ATPG 116
NOVA: state assignment of finite-state machines for optimaltwo-level logic implementations 115
The unknown component problem: theory and applications 114
Synthesis of P-Circuits for logic restructuring 114
Approximate Logic Synthesis by Symmetrization 114
Recent Results on Computable and Compositional Semantics for Hybrid Systems 113
Synthesis of FSMs: functional optimization 112
Synthesis of multi-level Boolean networks 112
SOP Restructuring by Exploiting Don't Cares 112
Logic synthesis for switching lattices by decomposition with P-circuits 112
Rigorous continuous evolution of uncertain systems 112
NOVA: state assignment of finite-state machines for optimal two-level logic implementations 110
Automating Numerical Parameters Along the Evolution of a Nonlinear System 109
The complexity of two-level logic minimization 109
Idle Speed Control - A Benchmark for Hybrid System Research 109
FSM Re-engineering and its Application in Low Power State Encoding 108
VIS 108
Experiments on the synthesis and testability of non-scanfinite state machines 108
Logic synthesis by signal-driven decomposition 108
Efficient Hardware Operations for the Residue Number System by Boolean Minimization 108
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 107
Negative thinking in search methods: application to unate covering 106
Aura~II: combining negative thinking and branch-and-bound in unate covering Problems 106
Using flexibility in P-circuits by Boolean Relations 106
Controller synthesis for hybrid systems with a lower bound on event separation. 105
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 104
Area-driven Boolean bi-decomposition by function approximation 103
Solving language equations over synchronous and parallel composition operators 103
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 103
Compositionally progressive solutions of synchronous FSM equations 102
Reachability computation for hybrid systems with Ariadne 102
Totale 13.682
Salva come PNG Salva come JPEG
Categoria #
all - tutte 57.725
article - articoli 15.419
book - libri 1.405
conference - conferenze 30.882
curatela - curatele 995
other - altro 5.152
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.872
Totale 115.450
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021168 0 0 0 0 0 0 0 0 0 25 113 30
2021/2022946 62 149 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/20267.879 581 390 657 1.437 1.956 776 627 519 522 414 0 0
Totale 18.837