CATALOGO DEI PRODOTTI DELLA RICERCA

VILLA, Tiziano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.960
EU - Europa 3.427
AS - Asia 1.267
AF - Africa 23
SA - Sud America 16
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 7
AN - Antartide 1
Totale 8.711
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.926
GB - Regno Unito 1.171
CN - Cina 832
FR - Francia 364
RU - Federazione Russa 359
IE - Irlanda 322
SE - Svezia 285
SG - Singapore 285
FI - Finlandia 261
IT - Italia 257
DE - Germania 200
UA - Ucraina 98
KR - Corea 63
NL - Olanda 40
CA - Canada 23
TR - Turchia 23
BE - Belgio 21
VN - Vietnam 16
TG - Togo 12
ID - Indonesia 11
IL - Israele 11
AU - Australia 10
MX - Messico 9
BR - Brasile 8
HU - Ungheria 7
JP - Giappone 7
IN - India 6
SK - Slovacchia (Repubblica Slovacca) 6
EU - Europa 5
HK - Hong Kong 5
CZ - Repubblica Ceca 4
PE - Perù 4
RO - Romania 4
SA - Arabia Saudita 4
TN - Tunisia 4
AT - Austria 3
MD - Moldavia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
BG - Bulgaria 2
CH - Svizzera 2
CL - Cile 2
CM - Camerun 2
DK - Danimarca 2
ES - Italia 2
HR - Croazia 2
LT - Lituania 2
LU - Lussemburgo 2
PL - Polonia 2
RS - Serbia 2
SC - Seychelles 2
AM - Armenia 1
BO - Bolivia 1
CR - Costa Rica 1
EC - Ecuador 1
EG - Egitto 1
GS - Georgia del Sud e Isole Sandwich Australi 1
IR - Iran 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
NO - Norvegia 1
PA - Panama 1
PT - Portogallo 1
ZA - Sudafrica 1
Totale 8.711
Salva come PNG Salva come JPEG
Città #
Southend 1.028
Jacksonville 863
Woodbridge 542
Chandler 539
Ann Arbor 386
Dublin 312
Houston 255
Singapore 209
Ashburn 151
Lawrence 138
Princeton 138
Beijing 125
Wilmington 119
Nanjing 105
Verona 93
Lancaster 76
Jinan 65
Seoul 61
Helsinki 40
Shenyang 40
Tianjin 40
Sindelfingen 39
Hebei 38
Changsha 35
Nanchang 34
Milan 31
Haikou 28
Ningbo 27
Jiaxing 25
Hangzhou 22
New York 22
Brussels 20
Guangzhou 20
Norwalk 20
Amsterdam 19
Lanzhou 19
San Francisco 19
Taizhou 19
Zhengzhou 19
Santa Clara 17
Fairfield 15
Lomé 12
Seattle 12
Toronto 12
Boardman 11
Dong Ket 10
Jakarta 10
Los Angeles 10
Trento 10
Fuzhou 9
Moscow 9
Redwood City 9
Taiyuan 8
Washington 8
Arco 7
Budapest 7
Redmond 7
Dallas 6
Grezzana 6
Hanover 6
Markham 6
Menlo Park 6
Mexico City 6
Tokyo 6
Chicago 5
Kent 5
Rome 5
Shenzhen 5
Tombolo 5
Amherst 4
Cagliari 4
Dearborn 4
Kunming 4
Lappeenranta 4
Lima 4
Melbourne 4
North Bergen 4
Pellestrina 4
Riyadh 4
Romola 4
Allen Park 3
Auburn Hills 3
Bratislava 3
Canberra 3
Eindhoven 3
Hong Kong 3
Livermore 3
Nettuno 3
Paris 3
Pasadena 3
Rio de Janeiro 3
San Diego 3
Secaucus 3
Selargius 3
Stockholm 3
Xian 3
Yicheng 3
Aachen 2
Angers 2
Bhopal 2
Totale 6.132
Salva come PNG Salva come JPEG
Nome #
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 108
Open Problems in Verification and Refinement of Autonomous Robotic Systems 102
Protocol converter synthesis by solving language equations 101
An Introduction to the Verification of Hybrid Systems using Ariadne 99
VIS user's manual 97
Formal Verification Applied to Robotic Surgery 97
Solving Parallel Equations with BALM-II 96
Computing the evolution of hybrid systems using rigorous function calculus 94
Automated synthesis of protocol converters with BALM-II 92
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 91
Parametric formal verification: the robotic paint spraying case study 91
Constrained encoding in hypercubes: algorithms and applications tological synthesis 86
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 86
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti) 84
Correct-by-construction code generation from hybrid automata specification 83
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 83
Ariadne: a Framework for Reachability Analysis of Hybrid Automata 82
VIS: A system for Verification and Synthesis 80
Multi-valued decision diagrams: theory and applications 78
Synthesis of P-Circuits for logic restructuring 78
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 78
The quotient in preorder theories (extended version) 78
Experiments on the synthesis and testability of non-scanfinite state machines 77
Synthesis of complemented circuits 77
Encoding problems in logic synthesis 76
Formal verification of robotic surgery tasks by reachability analysis 76
Input encoding for minimum BDD size: theory and experiments 75
NOVA: state assignment of finite-state machines for optimaltwo-level logic implementations 75
A framework for satisfying input and output encoding constraints 74
Optimization of Synchronous Circuits 73
VIS 73
The impact of EFSM composition on functional ATPG 73
Decomposition of sequential and concurrent models 72
Generation of a minimal STG from an implicit cover 72
Robotic surgery 72
Complexity of Weak, Strong and Dynamic Controllability of CNCUs 72
Idle Speed Control - A Benchmark for Hybrid System Research 71
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 71
Ariadne: a library for computing with hybrid automata 70
Discussion on supervisory control by solving automata equations 70
An approximation algorithm for cofactoring-based synthesis 70
Strong Controllability of Temporal Networks with Decisions 70
NOVA: state assignment of finite-state machines for optimal two-level logic implementations 69
Bi-decomposition using Boolean Relations 68
Synthesis of FSMs: logic optimization 67
Fuzzy rules optimization for analog VLSI implementation 67
Controller synthesis for hybrid systems with a lower bound on event separation. 66
The complexity of two-level logic minimization 66
FSM Re-engineering and its Application in Low Power State Encoding 66
An implicit formulation for exact BDD minimization of incompletelyspecified functions 66
Formal verification of medical CPS: a laser incision case study 66
Negative thinking in search methods: application to unate covering 65
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica) 65
A new algorithm to solve synchronous FSM equations 65
Using flexibility in P-circuits by Boolean Relations 65
Maximal controllers for hybrid systems with multiple time event separations 64
Advances in encoding for logic synthesis 64
Compositionally progressive solutions of synchronous FSM equations 63
Logic synthesis by signal-driven decomposition 63
Deriving compositionally deadlock-free components under synchronous composition 63
Model Matching for Finite State Machines 62
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata 62
Efficient Solution of Language Equations using Partitioned Representations 61
A case study of hybrid controller synthesis of a heating system 61
Minimizing Deterministic Timed Finite State Machines 61
A fast and robust exact algorithm for face embedding 60
Mining Significant Temporal Networks Is Polynomial 60
Equisolvability of Series vs. Controller’s Topology in Synchronous Language Equations 59
Sequential synthesis by language equation solving 59
Component-Based Design by Solving Language Equations 59
Synthesis of FSMs: functional optimization 58
The unknown component problem: theory and applications 58
Solving language equations over synchronous and parallel composition operators 57
SOP Restructuring by Exploiting Don't Cares 57
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 57
Composition Operators in Language Equations 56
Solution of Synchronous Language Equations for Logic Synthesis 56
An FSM re-engineering approach to sequential circuit synthesis by state splitting 56
Theory and algorithms for face hypercube embedding 56
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 56
Complemented circuits 56
A computable and compositional semantics for hybrid automata 56
How Hard is Two-Level Logic Minimization: an Addendum to Garey & Johnson 55
On decomposing Boolean functions via extended cofactoring 55
Testing in contest and synthesis of the unknown component: two faces ofthe same coin 55
Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead 55
Boolean Minimization of Projected Sums of Products via Boolean Relations 55
A Boolean heuristic for disjoint SOP synthesis 55
Efficient Minimization of Fully Testable 2-SPP Networks 54
A fully implicit algorithm for exact state minimization 54
Synthesis of multi-level Boolean networks 54
Mining CSTNUDs significant for a set of traces is polynomial 54
Mining Temporal Networks: Results and Open Problems 54
FSM encoding for BDD representations 53
Aura~II: combining negative thinking and branch-and-bound in unate covering Problems 53
Logic minimization and testability of 2-SPP networks 53
Improving Reachability Analysis of Hybrid Automata for Engine Control 52
Satisfaction of input and output encoding constraints 52
Computer-aided synthesis of PLA-based finite-state machines 52
Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods 52
Totale 6.851
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.453
article - articoli 7.907
book - libri 805
conference - conferenze 17.224
curatela - curatele 586
other - altro 3.016
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.915
Totale 62.906
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020842 0 0 0 104 56 141 87 98 102 116 39 99
2020/20211.087 107 166 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/2025703 169 224 94 216 0 0 0 0 0 0 0 0
Totale 8.890