CATALOGO DEI PRODOTTI DELLA RICERCA

VILLA, Tiziano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.418
NA - Nord America 5.331
AS - Asia 3.695
SA - Sud America 745
AF - Africa 82
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 7
AN - Antartide 1
Totale 15.292
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.232
RU - Federazione Russa 1.907
SG - Singapore 1.594
GB - Regno Unito 1.223
CN - Cina 1.070
BR - Brasile 634
IT - Italia 448
FR - Francia 384
HK - Hong Kong 377
IE - Irlanda 325
FI - Finlandia 303
SE - Svezia 292
VN - Vietnam 257
DE - Germania 239
KR - Corea 180
UA - Ucraina 116
NL - Olanda 55
AR - Argentina 45
ID - Indonesia 45
CA - Canada 42
MX - Messico 38
TR - Turchia 33
IN - India 28
ZA - Sudafrica 24
BD - Bangladesh 23
BE - Belgio 22
ES - Italia 20
EC - Ecuador 17
JP - Giappone 16
IQ - Iraq 14
AT - Austria 13
AU - Australia 12
IL - Israele 12
TG - Togo 12
PY - Paraguay 11
CO - Colombia 10
PL - Polonia 10
HU - Ungheria 9
LT - Lituania 9
BJ - Benin 8
PE - Perù 8
SA - Arabia Saudita 8
TN - Tunisia 8
KE - Kenya 7
VE - Venezuela 7
EG - Egitto 6
RO - Romania 6
SK - Slovacchia (Repubblica Slovacca) 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
EU - Europa 5
PK - Pakistan 5
CZ - Repubblica Ceca 4
DO - Repubblica Dominicana 4
KZ - Kazakistan 4
MA - Marocco 4
MD - Moldavia 4
UY - Uruguay 4
AL - Albania 3
AZ - Azerbaigian 3
BG - Bulgaria 3
BO - Bolivia 3
DZ - Algeria 3
HN - Honduras 3
JM - Giamaica 3
PA - Panama 3
UZ - Uzbekistan 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AM - Armenia 2
CH - Svizzera 2
CM - Camerun 2
DK - Danimarca 2
HR - Croazia 2
IR - Iran 2
JO - Giordania 2
LU - Lussemburgo 2
LV - Lettonia 2
NI - Nicaragua 2
OM - Oman 2
PH - Filippine 2
RS - Serbia 2
SC - Seychelles 2
AD - Andorra 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
CD - Congo 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
GS - Georgia del Sud e Isole Sandwich Australi 1
GY - Guiana 1
KG - Kirghizistan 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
ME - Montenegro 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
Totale 15.284
Salva come PNG Salva come JPEG
Città #
Southend 1.028
Jacksonville 865
Singapore 707
Moscow 590
Woodbridge 542
Chandler 539
Dallas 464
Ann Arbor 386
Hong Kong 375
Dublin 316
Ashburn 302
Houston 263
Beijing 190
Lawrence 138
Princeton 138
Verona 132
Wilmington 119
Nanjing 107
Los Angeles 99
Ho Chi Minh City 92
Milan 89
Lancaster 76
Helsinki 74
Buffalo 71
The Dalles 71
Jinan 66
New York 64
Seoul 61
São Paulo 55
Tianjin 46
Shenyang 40
Redondo Beach 39
Sindelfingen 39
Columbus 38
Hanoi 38
Hebei 38
Changsha 37
Nanchang 34
Santa Clara 29
Haikou 28
Amsterdam 27
Ningbo 27
Hangzhou 26
Jiaxing 26
San Francisco 25
Guangzhou 24
Rio de Janeiro 23
Zhengzhou 21
Brussels 20
Norwalk 20
Lanzhou 19
Taizhou 19
Toronto 19
London 18
Johannesburg 17
Seattle 17
Chicago 15
Fairfield 15
Tokyo 15
Rome 14
Falkenstein 13
Haiphong 13
Boardman 12
Denver 12
Lomé 12
Mexico City 12
Belo Horizonte 11
Des Moines 11
Fuzhou 11
Jakarta 11
Washington 11
Brooklyn 10
Chennai 10
Dong Ket 10
Goiânia 10
Montreal 10
Munich 10
Trento 10
Warsaw 10
Boston 9
Juiz de Fora 9
Lappeenranta 9
Naples 9
Nuremberg 9
Pelotas 9
Redwood City 9
Stockholm 9
Baghdad 8
Budapest 8
Cotonou 8
Curitiba 8
Guarulhos 8
Manchester 8
Shenzhen 8
Taiyuan 8
Vienna 8
Arco 7
Da Nang 7
Madrid 7
Meda 7
Totale 9.213
Salva come PNG Salva come JPEG
Nome #
The quotient in preorder theories (extended version) 169
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 168
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 168
An Introduction to the Verification of Hybrid Systems using Ariadne 165
Open Problems in Verification and Refinement of Autonomous Robotic Systems 154
Computing the evolution of hybrid systems using rigorous function calculus 149
Correct-by-construction code generation from hybrid automata specification 148
An approximation algorithm for cofactoring-based synthesis 146
Ariadne: a Framework for Reachability Analysis of Hybrid Automata 144
A framework for satisfying input and output encoding constraints 143
Protocol converter synthesis by solving language equations 142
Decomposition of sequential and concurrent models 141
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 138
VIS user's manual 138
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 136
Synthesis of complemented circuits 136
A case study of hybrid controller synthesis of a heating system 135
An implicit formulation for exact BDD minimization of incompletelyspecified functions 134
Multi-valued decision diagrams: theory and applications 134
A new algorithm for the largest compositionally progressive solution of synchronous language equations 133
A new algorithm to solve synchronous FSM equations 133
Automated synthesis of protocol converters with BALM-II 133
Advances in encoding for logic synthesis 132
A fast and robust exact algorithm for face embedding 131
Formal Verification Applied to Robotic Surgery 130
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 130
Solving Parallel Equations with BALM-II 129
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 123
Formal verification of medical CPS: a laser incision case study 122
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti) 121
Generation of a minimal STG from an implicit cover 121
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 119
Bi-decomposition using Boolean Relations 116
Parametric formal verification: the robotic paint spraying case study 116
Complexity of Weak, Strong and Dynamic Controllability of CNCUs 116
Mining Temporal Networks: Results and Open Problems 115
An FSM re-engineering approach to sequential circuit synthesis by state splitting 114
A computable and compositional semantics for hybrid automata 112
Mining CSTNUDs significant for a set of traces is polynomial 112
A computable and compositional semantics for hybrid systems 111
Process-driven Collision Prediction in Human-Robot Work Environments 111
Encoding problems in logic synthesis 111
Constrained encoding in hypercubes: algorithms and applications tological synthesis 111
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 111
A higher order method for input-affine uncertain systems 110
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica) 110
Input encoding for minimum BDD size: theory and experiments 110
A fully implicit algorithm for exact state minimization 110
Formal verification of robotic surgery tasks by reachability analysis 110
VIS: A system for Verification and Synthesis 109
Negative thinking in branch-and-bound: the case of unate covering 108
An exact input encoding algorithm for BDDs representing FSMs 107
Component-Based Design by Solving Language Equations 107
A Boolean heuristic for disjoint SOP synthesis 107
Testing in contest and synthesis of the unknown component: two faces ofthe same coin 106
Mining Significant Temporal Networks Is Polynomial 105
Ariadne: a library for computing with hybrid automata 103
Hardware equivalence and property verification 103
Boolean Minimization of Projected Sums of Products via Boolean Relations 103
Strong Controllability of Temporal Networks with Decisions 103
Optimization of Synchronous Circuits 102
The impact of EFSM composition on functional ATPG 102
Idle Speed Control - A Benchmark for Hybrid System Research 102
NOVA: state assignment of finite-state machines for optimaltwo-level logic implementations 101
Robotic surgery 100
Synthesis of P-Circuits for logic restructuring 99
Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty 99
Dynamic controllability of temporal networks with instantaneous reaction 98
VIS 98
Experiments on the synthesis and testability of non-scanfinite state machines 98
Synthesis of FSMs: functional optimization 97
Approximate Logic Synthesis by Symmetrization 96
Special issue: Formal verification of cyber-physical systems 95
Minimizing Deterministic Timed Finite State Machines 95
Rigorous continuous evolution of uncertain systems 95
Efficient Hardware Operations for the Residue Number System by Boolean Minimization 95
The complexity of two-level logic minimization 93
FSM Re-engineering and its Application in Low Power State Encoding 93
Synthesis of FSMs: logic optimization 93
Aura~II: combining negative thinking and branch-and-bound in unate covering Problems 93
Computer-aided synthesis of PLA-based finite-state machines 93
Discussion on supervisory control by solving automata equations 93
Logic synthesis for switching lattices by decomposition with P-circuits 93
NOVA: state assignment of finite-state machines for optimal two-level logic implementations 92
Logic synthesis by signal-driven decomposition 92
Controller synthesis for hybrid systems with a lower bound on event separation. 91
Reachability computation for hybrid systems with Ariadne 91
Fuzzy rules optimization for analog VLSI implementation 91
The unknown component problem: theory and applications 91
Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods 91
FSM encoding for BDD representations 90
Implicit state minimization of non-deterministic FSMs 90
Synthesis of multi-level Boolean networks 90
Using flexibility in P-circuits by Boolean Relations 90
On the Complexity of Resource Controllability in Business Process Management 90
Negative thinking in search methods: application to unate covering 89
Controller synthesis for hybrid systems with lower bounds on event separation 88
Explicit and implicit algorithms for binate covering problems 88
Satisfaction of input and output encoding constraints 88
SOP Restructuring by Exploiting Don't Cares 88
Totale 11.265
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.426
article - articoli 13.664
book - libri 1.258
conference - conferenze 27.778
curatela - curatele 895
other - altro 4.635
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.196
Totale 102.852
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021643 0 0 0 0 172 133 9 91 70 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/20264.526 581 390 657 1.437 1.461 0 0 0 0 0 0 0
Totale 15.484