IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

CAPRA, LORENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.330
AS - Asia 4.480
NA - Nord America 4.179
SA - Sud America 420
AF - Africa 120
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 2
Totale 15.545
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.048
GB - Regno Unito 2.209
IT - Italia 1.835
CN - Cina 1.421
SG - Singapore 1.407
SE - Svezia 525
RU - Federazione Russa 476
VN - Vietnam 438
HK - Hong Kong 389
DE - Germania 382
BR - Brasile 328
FR - Francia 209
IN - India 199
KR - Corea 182
BD - Bangladesh 155
NL - Olanda 140
IE - Irlanda 135
UA - Ucraina 114
FI - Finlandia 113
CA - Canada 88
TR - Turchia 70
DK - Danimarca 62
ID - Indonesia 50
CI - Costa d'Avorio 40
JP - Giappone 39
EU - Europa 35
DZ - Algeria 30
CO - Colombia 27
ES - Italia 26
AR - Argentina 20
PH - Filippine 20
IQ - Iraq 19
MX - Messico 18
PL - Polonia 16
ZA - Sudafrica 15
AT - Austria 13
AU - Australia 13
BE - Belgio 13
MY - Malesia 11
PK - Pakistan 11
EC - Ecuador 10
HU - Ungheria 10
MA - Marocco 9
CL - Cile 8
SA - Arabia Saudita 8
VE - Venezuela 8
CH - Svizzera 7
RO - Romania 7
UY - Uruguay 7
AE - Emirati Arabi Uniti 6
GR - Grecia 6
IR - Iran 6
MD - Moldavia 6
TH - Thailandia 6
BO - Bolivia 5
CZ - Repubblica Ceca 5
HN - Honduras 5
KE - Kenya 5
PY - Paraguay 5
SC - Seychelles 5
TN - Tunisia 5
TW - Taiwan 5
UZ - Uzbekistan 5
AZ - Azerbaigian 4
JO - Giordania 4
NP - Nepal 4
SN - Senegal 4
ET - Etiopia 3
GT - Guatemala 3
IL - Israele 3
KG - Kirghizistan 3
LU - Lussemburgo 3
OM - Oman 3
PT - Portogallo 3
TT - Trinidad e Tobago 3
AL - Albania 2
BG - Bulgaria 2
BH - Bahrain 2
CR - Costa Rica 2
CY - Cipro 2
KW - Kuwait 2
KZ - Kazakistan 2
LV - Lettonia 2
NG - Nigeria 2
NI - Nicaragua 2
PE - Perù 2
PR - Porto Rico 2
SV - El Salvador 2
AD - Andorra 1
AM - Armenia 1
AN - Antille olandesi 1
BB - Barbados 1
BF - Burkina Faso 1
BN - Brunei Darussalam 1
BY - Bielorussia 1
BZ - Belize 1
EG - Egitto 1
HT - Haiti 1
IM - Isola di Man 1
IS - Islanda 1
Totale 15.568
Salva come PNG Salva come JPEG
Città #
Southend 2.130
Singapore 748
Milan 607
Ashburn 371
Hong Kong 353
San Jose 311
Beijing 255
Council Bluffs 222
Seattle 221
Santa Clara 206
Chandler 204
Princeton 174
Wilmington 171
Ann Arbor 158
Dallas 154
Dublin 134
Hefei 130
Los Angeles 125
Dong Ket 111
Bengaluru 110
Jacksonville 104
Mountain View 95
Redmond 91
Lauterbourg 90
Trana 85
Ho Chi Minh City 83
Frankfurt am Main 82
Hanoi 77
Buffalo 76
Dearborn 74
Moscow 74
Medford 72
Boardman 63
Seoul 63
Nanjing 62
Guangzhou 61
Des Moines 57
Fairfield 45
Ottawa 43
New York 42
Columbus 41
Helsinki 41
Abidjan 39
Gardone Val Trompia 36
Woodbridge 35
Houston 34
Kiez 34
Shanghai 34
São Paulo 34
Redwood City 33
Phoenix 32
Andover 31
Hanover 31
Tianjin 30
Shenyang 29
Serra 27
Cangzhou 26
Cambridge 25
Munich 25
The Dalles 24
Jakarta 23
Rome 23
Sakarya 23
Berlin 22
Torino 22
Changsha 21
Shenzhen 21
Bogotá 20
San Diego 20
Hangzhou 19
Nanchang 18
Sunnyvale 18
San Giuliano 17
Jinan 16
Nuremberg 16
Tokyo 16
Amsterdam 15
Hebei 15
Verona 14
Chicago 13
Orem 13
Toronto 13
Brooklyn 12
Bühl 12
Stuttgart 12
Auburn Hills 11
Brussels 11
Da Nang 11
Fuzhou 11
Rio de Janeiro 11
Sesto San Giovanni 11
Bitonto 10
Istanbul 10
Jiaxing 10
Rho 10
San Donato Milanese 10
Zhengzhou 10
Batna City 9
Biên Hòa 9
Curitiba 9
Totale 9.562
Salva come PNG Salva come JPEG
Nome #
Distributed CTL model checking using MapReduce : theory and practice 344
Symbolic state space exploration of RT systems in the cloud 306
A comparative assessment of peer-to-peer and server-based configuration management systems 292
Using a stochastic well-formed net model for assessing a decentralized approach to configuration management 290
MaRDiGraS : simplified building of reachability graphs on large clusters 290
Design-Time to Run-Time Verification of Microservices Based Applications 289
Multidimensional human dynamics in mobile phone communications 288
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems 283
Coverability analysis of time basic petri nets with non-urgent behavior 269
A Formal Framework for Specifying and Verifying Microservices Based Process Flows 266
A high-level petri net-based formal model of distributed self-adaptive systems 263
Quantitative assessment of a peer-to-peer cooperative infrastructure using Stochastic Well-Formed Nets 261
CTL model checking in the cloud using MapReduce 261
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets 236
A quotient graph for asymmetric distributed systems 229
Towards Evolving Petri Nets: a Symmetric Nets-based Framework 220
A (timed) state-transition semantics for reflective petri nets 214
Multiple sclerosis disease: A computational approach for investigating its drug interactions 208
A Reflective PN-based Approach to Dynamic Workflow Change 201
Evolutionary Design through Reflective Petri Nets : an Application to Workflow 199
A Petri-Net based reflective framework for the evolution of dynamic systems 195
Early iron overload in beta-thalassaemia major : when to start chelation therapy? 189
A structural approach to graph transformation based on symmetric Petri nets 189
Quotient graphs for the analysis of asymmetric distributed systems : surveying two alternative approaches 184
Local symmetries exploitation for the analysis of asymmetric distributed systems 178
A High Level Language for Structural Relations in Well-formed Nets 177
ANALYSIS/SIMULATION OF COMPLEX SWN MODELS: A STRUCTURAL APPROACH 174
Reachability analysis of time basic Petri Nets: a time coverage approach 173
Self-Evolving Petri Nets 171
(Symbolic) state-space inspection of a class of dynamic Petri nets 171
An Introduction to Reflective Petri Nets 166
Stochastic Petri net evaluation techniques in plant automation: Tuning performance indices for distributed applications 162
Towards a Petri net Model for Graph Transformation Systems 162
State-space reduction in colored PN with linearly constrained domains 161
A Petri-Net Based Reflective Framework 158
Colored Petri nets state-space reduction via symbolic execution 157
Applying structural techniques for efficient analysis of complex SWN models 156
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems Cost-Benefit Analysis of Structural Transformations 152
Evolving System's Modeling and Simulation through Reflective Petri Nets 149
(Symbolic) state-space inspection of a class of dynamic Petri nets 149
Constraint-based state space reduction in colored Petri nets 146
Applying a symbolic approach for SWN enabling test to workflow models 145
A pure SPEC-inscribed PN model for reconfigurable systems 145
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems 144
Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation 142
Emulating Self-adaptive Stochastic Petri Nets 140
Efficient Analysis of Asymmetric Distributed Systems : a High Level PN Approach 139
Addressing soundness and efficiency issues in dynamic processes : a reflective PN-based modeling approach 139
Towards performance analysis with partially symmetrical SWN 138
An extension of the interpreter pattern to define domain-parametric rewriting systems 137
Modular rewritable Petri nets: An efficient model for dynamic distributed systems 136
A tool for symbolic manipulation of arc functions in symmetric net models 134
A Markov process for reflective Petri Nets 132
A lumped Markov process for a class of dynamic Petri nets 132
A quotient-graph for the analysis of reflective Petri nets 131
Performance and dependability analysis of fault-tolerant memory mechanisms using stochastic well-formed nets 131
Memory fault tolerance software mechanisms: design and configuration support through SWN models 130
Stochastic Petri Nets with Changeable Layout 129
Algebraic techniques & symmetries : an efficient simulation approach for well-formed Petri nets 128
A Symmetric Nets Emulator for Adaptive P/T Nets 128
A symbolic reachability graph and associated Markov process for a class of dynamic Petri nets 124
SWN nets as a framework for the specification and the analysis of FT techniques adopted in electric plant automation 123
Trying Out Reflective Petri Nets on a Dynamic Workflow Case 123
Performance-based characterization of fault tolerant embedded electric applications by means of stochastic hlpn models 122
An algebraic Petri Nets emulator 122
Algebraic framework for efficient simulation of SWN 119
Rewritable Stochastic Petri Nets 119
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding 118
Constraint-based state space reduction in colored PN 117
Computing structural properties of symmetric nets 117
Extending the symmetry approach in (S)WN models 116
Exploiting partial symmetries for Markov chain aggregation 114
Formalizing distributed self-adaptive systems using high-level petri nets 114
Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation 113
Efficient Performance Analysis of Modular Rewritable Petri Nets 112
An application example of symbolic calculus for SWN structural relations 111
Exploitation of local symmetries for efficient performance analysis 110
On the use of partial symmetries for lumping Markov chains 107
Efficient enabling test in simulation of SWN 105
Graph transformation systems: a semantics based on (stochastic) symmetric nets 105
Integrating symmetries and symbolic enabling test for efficient simulation of SWNs 103
A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support 103
A Lumped CTMC for Modular Rewritable PN 101
Encoding Nets-Within-Nets in Maude 100
Modelling and Simulation of Adaptive Multi-Agent Systems with Stochastic Nets-within-Nets 100
(Toward) Discrete-event simulation of reflective Petri nets 100
A "Symbolic" Representation of Object-Nets (Extended Version) 97
Designing dependable dynamic workflows through a reflective PN-based approach 97
Associating a Markov Process with Maude Executable Modules 95
Rewriting Logic and Petri Nets: A Natural Model for Reconfigurable Distributed Systems 92
Towards a Modelling Framework for Dynamically Reconfigurable Systems Using Maude (& Petri Nets) 89
Modelling Adaptive Systems with Maude Nets-within-Nets 88
Robustness: A natural Definition based on Nets-within-Nets 88
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 88
Modular Stochastic Rewritable Petri Nets 88
Modelling Adaptive Systems with Nets-Within-Nets in Maude 87
A tool for the automatic derivation of symbolic ode from symmetric net models 86
Formal specification and verification of decentralized self-adaptive systems using symmetric nets 85
A Maude Formalization of Object Nets 82
Analysing Probabilistic Hornets 80
Totale 15.468
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.484
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 44.484
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021259 0 0 0 0 0 0 0 0 0 0 0 259
2021/20221.444 88 36 430 129 101 57 54 43 57 76 98 275
2022/20231.096 144 91 88 111 122 262 26 64 90 31 49 18
2023/2024687 19 49 53 16 103 66 19 59 43 43 106 111
2024/20252.203 119 208 40 159 225 121 53 323 114 176 224 441
2025/20264.860 463 351 590 414 429 322 545 339 520 431 367 89
Totale 16.363