CATALOGO DEI PRODOTTI DELLA RICERCA

VILLA, Tiziano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.846
EU - Europa 3.823
AS - Asia 3.036
SA - Sud America 430
AF - Africa 46
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 7
AN - Antartide 1
Totale 12.200
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.782
SG - Singapore 1.370
GB - Regno Unito 1.192
CN - Cina 901
IT - Italia 438
RU - Federazione Russa 391
BR - Brasile 388
FR - Francia 383
HK - Hong Kong 372
IE - Irlanda 325
FI - Finlandia 299
SE - Svezia 288
DE - Germania 238
KR - Corea 168
UA - Ucraina 111
VN - Vietnam 80
NL - Olanda 52
TR - Turchia 31
CA - Canada 29
BE - Belgio 22
MX - Messico 22
ID - Indonesia 21
ES - Italia 15
IN - India 14
AR - Argentina 13
TG - Togo 12
AT - Austria 11
AU - Australia 11
IL - Israele 11
JP - Giappone 11
BD - Bangladesh 10
IQ - Iraq 10
ZA - Sudafrica 9
SA - Arabia Saudita 8
HU - Ungheria 7
LT - Lituania 6
PL - Polonia 6
SK - Slovacchia (Repubblica Slovacca) 6
EU - Europa 5
RO - Romania 5
CL - Cile 4
CO - Colombia 4
CZ - Repubblica Ceca 4
EC - Ecuador 4
EG - Egitto 4
KE - Kenya 4
MA - Marocco 4
MD - Moldavia 4
PE - Perù 4
PY - Paraguay 4
TN - Tunisia 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
BG - Bulgaria 3
BO - Bolivia 3
KZ - Kazakistan 3
PA - Panama 3
PK - Pakistan 3
VE - Venezuela 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
AM - Armenia 2
CH - Svizzera 2
CM - Camerun 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
HR - Croazia 2
IR - Iran 2
JM - Giamaica 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
UY - Uruguay 2
UZ - Uzbekistan 2
AD - Andorra 1
BB - Barbados 1
CD - Congo 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DZ - Algeria 1
GS - Georgia del Sud e Isole Sandwich Australi 1
GY - Guiana 1
HN - Honduras 1
KG - Kirghizistan 1
LA - Repubblica Popolare Democratica del Laos 1
MY - Malesia 1
NG - Nigeria 1
NO - Norvegia 1
NP - Nepal 1
PT - Portogallo 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
Totale 12.200
Salva come PNG Salva come JPEG
Città #
Southend 1.028
Jacksonville 865
Singapore 674
Woodbridge 542
Chandler 539
Dallas 419
Ann Arbor 386
Hong Kong 370
Dublin 315
Houston 256
Ashburn 190
Lawrence 138
Princeton 138
Beijing 137
Verona 131
Wilmington 119
Nanjing 106
Milan 89
Lancaster 76
Helsinki 73
The Dalles 69
Jinan 65
Seoul 61
Los Angeles 53
Buffalo 44
Shenyang 40
Tianjin 40
Sindelfingen 39
Columbus 38
Hebei 38
Changsha 36
Nanchang 34
New York 32
São Paulo 29
Haikou 28
Ningbo 27
Hangzhou 26
Jiaxing 26
Santa Clara 26
Amsterdam 24
Guangzhou 23
Ho Chi Minh City 23
San Francisco 23
Moscow 21
Brussels 20
Norwalk 20
Lanzhou 19
Taizhou 19
Zhengzhou 19
Fairfield 15
Toronto 15
Rio de Janeiro 14
Rome 14
Seattle 14
Boardman 12
Falkenstein 12
Lomé 12
Washington 11
Chicago 10
Dong Ket 10
Goiânia 10
Jakarta 10
Munich 10
Tokyo 10
Trento 10
Fuzhou 9
Hanoi 9
Naples 9
Nuremberg 9
Redondo Beach 9
Redwood City 9
Taiyuan 8
Arco 7
Belo Horizonte 7
Brooklyn 7
Budapest 7
Juiz de Fora 7
Lappeenranta 7
Madrid 7
Mexico City 7
Pelotas 7
Redmond 7
Vienna 7
Baghdad 6
Charlotte 6
Grezzana 6
Guarulhos 6
Hanover 6
Markham 6
Menlo Park 6
Riyadh 6
Secaucus 6
Warsaw 6
Boston 5
Council Bluffs 5
Curitiba 5
Johannesburg 5
Kent 5
London 5
Montes Claros 5
Totale 7.976
Salva come PNG Salva come JPEG
Nome #
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 138
Open Problems in Verification and Refinement of Autonomous Robotic Systems 131
An Introduction to the Verification of Hybrid Systems using Ariadne 129
Protocol converter synthesis by solving language equations 126
Computing the evolution of hybrid systems using rigorous function calculus 124
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 124
Correct-by-construction code generation from hybrid automata specification 123
Multi-valued decision diagrams: theory and applications 118
VIS user's manual 118
Formal Verification Applied to Robotic Surgery 116
The quotient in preorder theories (extended version) 115
Automated synthesis of protocol converters with BALM-II 114
Solving Parallel Equations with BALM-II 111
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 108
Decomposition of sequential and concurrent models 106
Bi-decomposition using Boolean Relations 106
Ariadne: a Framework for Reachability Analysis of Hybrid Automata 103
Parametric formal verification: the robotic paint spraying case study 103
VIS: A system for Verification and Synthesis 101
Constrained encoding in hypercubes: algorithms and applications tological synthesis 101
A framework for satisfying input and output encoding constraints 100
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 99
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti) 98
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 98
Advances in encoding for logic synthesis 97
A case study of hybrid controller synthesis of a heating system 97
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 97
Formal verification of robotic surgery tasks by reachability analysis 96
Synthesis of complemented circuits 96
The impact of EFSM composition on functional ATPG 95
Generation of a minimal STG from an implicit cover 94
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 94
Idle Speed Control - A Benchmark for Hybrid System Research 94
Input encoding for minimum BDD size: theory and experiments 93
Encoding problems in logic synthesis 93
Synthesis of P-Circuits for logic restructuring 92
Mining CSTNUDs significant for a set of traces is polynomial 92
Ariadne: a library for computing with hybrid automata 91
Experiments on the synthesis and testability of non-scanfinite state machines 91
NOVA: state assignment of finite-state machines for optimaltwo-level logic implementations 91
Testing in contest and synthesis of the unknown component: two faces ofthe same coin 91
An approximation algorithm for cofactoring-based synthesis 91
Optimization of Synchronous Circuits 90
An implicit formulation for exact BDD minimization of incompletelyspecified functions 90
A new algorithm to solve synchronous FSM equations 89
VIS 89
Robotic surgery 89
Complexity of Weak, Strong and Dynamic Controllability of CNCUs 89
Discussion on supervisory control by solving automata equations 87
Strong Controllability of Temporal Networks with Decisions 87
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 86
An FSM re-engineering approach to sequential circuit synthesis by state splitting 86
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica) 86
Hardware equivalence and property verification 86
Formal verification of medical CPS: a laser incision case study 86
Mining Temporal Networks: Results and Open Problems 86
FSM Re-engineering and its Application in Low Power State Encoding 85
Negative thinking in branch-and-bound: the case of unate covering 85
The unknown component problem: theory and applications 85
A fast and robust exact algorithm for face embedding 84
The complexity of two-level logic minimization 83
A new algorithm for the largest compositionally progressive solution of synchronous language equations 83
Logic synthesis for switching lattices by decomposition with P-circuits 83
Synthesis of FSMs: logic optimization 82
Mining Significant Temporal Networks Is Polynomial 82
Controller synthesis for hybrid systems with a lower bound on event separation. 81
Negative thinking in search methods: application to unate covering 81
Fuzzy rules optimization for analog VLSI implementation 81
Component-Based Design by Solving Language Equations 81
Using flexibility in P-circuits by Boolean Relations 81
SOP Restructuring by Exploiting Don't Cares 80
Model Matching for Finite State Machines 79
Solving language equations over synchronous and parallel composition operators 79
NOVA: state assignment of finite-state machines for optimal two-level logic implementations 79
Logic synthesis by signal-driven decomposition 79
Minimizing Deterministic Timed Finite State Machines 79
Compositionally progressive solutions of synchronous FSM equations 78
A fully implicit algorithm for exact state minimization 78
Process-driven Collision Prediction in Human-Robot Work Environments 77
Synthesis of FSMs: functional optimization 77
A computable and compositional semantics for hybrid automata 77
A Boolean heuristic for disjoint SOP synthesis 77
Aura~II: combining negative thinking and branch-and-bound in unate covering Problems 76
Synthesis of multi-level Boolean networks 76
On the Complexity of Resource Controllability in Business Process Management 76
An exact input encoding algorithm for BDDs representing FSMs 75
Implicit state minimization of non-deterministic FSMs 75
Maximal controllers for hybrid systems with multiple time event separations 74
Theory and algorithms for face hypercube embedding 74
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 74
Efficient Hardware Operations for the Residue Number System by Boolean Minimization 74
Equisolvability of Series vs. Controller’s Topology in Synchronous Language Equations 73
Efficient Solution of Language Equations using Partitioned Representations 73
Minimization of P-Circuits using Boolean Relations 73
Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods 73
Boolean Minimization of Projected Sums of Products via Boolean Relations 73
Decomposition of transition systems into sets of synchronizing state machines 73
Sequential synthesis by language equation solving 72
FSM encoding for BDD representations 72
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 72
Totale 9.045
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.568
article - articoli 12.030
book - libri 1.128
conference - conferenze 24.639
curatela - curatele 824
other - altro 4.136
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.811
Totale 91.136
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021814 0 0 54 117 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/20261.433 581 390 462 0 0 0 0 0 0 0 0 0
Totale 12.391