CATALOGO DEI PRODOTTI DELLA RICERCA

VILLA, Tiziano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.841
EU - Europa 6.450
AS - Asia 4.732
SA - Sud America 821
AF - Africa 138
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 7
AN - Antartide 1
Totale 19.003
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.702
RU - Federazione Russa 2.351
SG - Singapore 2.081
GB - Regno Unito 1.246
CN - Cina 1.196
BR - Brasile 671
IT - Italia 662
VN - Vietnam 462
HK - Hong Kong 409
FR - Francia 402
NL - Olanda 338
IE - Irlanda 327
FI - Finlandia 311
SE - Svezia 295
DE - Germania 253
KR - Corea 217
UA - Ucraina 119
CA - Canada 64
AR - Argentina 59
ID - Indonesia 57
IN - India 55
MX - Messico 49
BD - Bangladesh 47
TR - Turchia 42
NG - Nigeria 34
JP - Giappone 32
ZA - Sudafrica 32
IQ - Iraq 30
BE - Belgio 23
EC - Ecuador 22
ES - Italia 22
AT - Austria 15
VE - Venezuela 14
CL - Cile 13
CO - Colombia 13
PH - Filippine 13
PL - Polonia 13
AU - Australia 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
JM - Giamaica 5
LV - Lettonia 5
MD - Moldavia 5
UY - Uruguay 5
BG - Bulgaria 4
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
DZ - Algeria 4
HN - Honduras 4
MY - Malesia 4
PA - Panama 4
AZ - Azerbaigian 3
BO - Bolivia 3
HR - Croazia 3
JO - Giordania 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AM - Armenia 2
BH - Bahrain 2
CH - Svizzera 2
CM - Camerun 2
CR - Costa Rica 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
TT - Trinidad e Tobago 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
Totale 18.984
Salva come PNG Salva come JPEG
Città #
Singapore 1.118
Southend 1.028
Jacksonville 865
Moscow 751
Ashburn 653
San Jose 600
Woodbridge 543
Chandler 539
Dallas 471
Hong Kong 404
Ann Arbor 386
Dublin 318
Verona 317
Eygelshoven 277
Houston 268
The Dalles 208
Beijing 194
Council Bluffs 194
Ho Chi Minh City 169
Lawrence 138
Princeton 138
Wilmington 119
Los Angeles 111
Nanjing 109
Hanoi 92
Milan 91
New York 81
Helsinki 80
Lancaster 77
Buffalo 75
Jinan 66
Seoul 62
São Paulo 62
Tianjin 54
Santa Clara 41
Columbus 40
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
Johannesburg 22
Rome 22
Zhengzhou 22
Brussels 21
London 21
Toronto 21
Norwalk 20
Lanzhou 19
Seattle 19
Taizhou 19
Haiphong 18
Chicago 17
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
Belo Horizonte 11
Boston 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.913
Salva come PNG Salva come JPEG
Nome #
Special issue: Formal verification of cyber-physical systems 403
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 208
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 208
The quotient in preorder theories (extended version) 204
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 197
An Introduction to the Verification of Hybrid Systems using Ariadne 186
An approximation algorithm for cofactoring-based synthesis 182
Synthesis of complemented circuits 180
Ariadne: a Framework for Reachability Analysis of Hybrid Automata 178
Open Problems in Verification and Refinement of Autonomous Robotic Systems 174
Correct-by-construction code generation from hybrid automata specification 169
Computing the evolution of hybrid systems using rigorous function calculus 169
Decomposition of sequential and concurrent models 168
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 167
A new algorithm to solve synchronous FSM equations 165
Automated synthesis of protocol converters with BALM-II 161
A framework for satisfying input and output encoding constraints 160
Protocol converter synthesis by solving language equations 158
Formal Verification Applied to Robotic Surgery 158
A case study of hybrid controller synthesis of a heating system 157
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 157
A new algorithm for the largest compositionally progressive solution of synchronous language equations 156
VIS user's manual 155
An implicit formulation for exact BDD minimization of incompletelyspecified functions 154
A fast and robust exact algorithm for face embedding 153
Advances in encoding for logic synthesis 151
Solving Parallel Equations with BALM-II 151
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 151
A computable and compositional semantics for hybrid systems 150
Formal verification of medical CPS: a laser incision case study 150
A higher order method for input-affine uncertain systems 149
Multi-valued decision diagrams: theory and applications 149
Mining Temporal Networks: Results and Open Problems 144
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti) 143
Hardware equivalence and property verification 142
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 142
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 142
A computable and compositional semantics for hybrid automata 142
Complexity of Weak, Strong and Dynamic Controllability of CNCUs 142
Mining Significant Temporal Networks Is Polynomial 142
Bi-decomposition using Boolean Relations 140
Generation of a minimal STG from an implicit cover 137
Parametric formal verification: the robotic paint spraying case study 137
Mining CSTNUDs significant for a set of traces is polynomial 136
Dynamic controllability of temporal networks with instantaneous reaction 135
Boolean Minimization of Projected Sums of Products via Boolean Relations 135
Ariadne: a library for computing with hybrid automata 133
Synthesis of FSMs: logic optimization 133
A Boolean heuristic for disjoint SOP synthesis 133
Constrained encoding in hypercubes: algorithms and applications tological synthesis 132
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty 132
Process-driven Collision Prediction in Human-Robot Work Environments 131
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica) 131
Input encoding for minimum BDD size: theory and experiments 130
Encoding problems in logic synthesis 130
Formal verification of robotic surgery tasks by reachability analysis 130
Component-Based Design by Solving Language Equations 130
An FSM re-engineering approach to sequential circuit synthesis by state splitting 129
An exact input encoding algorithm for BDDs representing FSMs 129
A fully implicit algorithm for exact state minimization 129
Strong Controllability of Temporal Networks with Decisions 128
Testing in contest and synthesis of the unknown component: two faces ofthe same coin 127
Robotic surgery 127
Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods 124
Negative thinking in branch-and-bound: the case of unate covering 123
Minimizing Deterministic Timed Finite State Machines 123
Optimization of Synchronous Circuits 121
NOVA: state assignment of finite-state machines for optimaltwo-level logic implementations 121
VIS: A system for Verification and Synthesis 120
On the Complexity of Resource Controllability in Business Process Management 120
Logic synthesis by signal-driven decomposition 119
The unknown component problem: theory and applications 119
The impact of EFSM composition on functional ATPG 117
Synthesis of multi-level Boolean networks 117
Synthesis of FSMs: functional optimization 115
Synthesis of P-Circuits for logic restructuring 115
SOP Restructuring by Exploiting Don't Cares 115
Logic synthesis for switching lattices by decomposition with P-circuits 115
Rigorous continuous evolution of uncertain systems 115
Approximate Logic Synthesis by Symmetrization 114
Recent Results on Computable and Compositional Semantics for Hybrid Systems 113
Automating Numerical Parameters Along the Evolution of a Nonlinear System 112
NOVA: state assignment of finite-state machines for optimal two-level logic implementations 112
Efficient Hardware Operations for the Residue Number System by Boolean Minimization 112
Using flexibility in P-circuits by Boolean Relations 112
VIS 111
Experiments on the synthesis and testability of non-scanfinite state machines 111
The complexity of two-level logic minimization 109
Aura~II: combining negative thinking and branch-and-bound in unate covering Problems 109
Idle Speed Control - A Benchmark for Hybrid System Research 109
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 109
FSM Re-engineering and its Application in Low Power State Encoding 108
Negative thinking in search methods: application to unate covering 108
Solving language equations over synchronous and parallel composition operators 107
Fuzzy rules optimization for analog VLSI implementation 107
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 107
Controller synthesis for hybrid systems with a lower bound on event separation. 106
Efficient Minimization of Fully Testable 2-SPP Networks 106
Implicit state minimization of non-deterministic FSMs 106
Computer-aided synthesis of PLA-based finite-state machines 105
Totale 13.943
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.107
article - articoli 16.385
book - libri 1.500
conference - conferenze 32.684
curatela - curatele 1.040
other - altro 5.431
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.067
Totale 122.214
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202130 0 0 0 0 0 0 0 0 0 0 0 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/20268.239 581 390 657 1.437 1.956 776 627 519 522 424 93 257
Totale 19.197