VANDIN, ANDREA
 Distribuzione geografica
Continente #
EU - Europa 535
NA - Nord America 447
AS - Asia 170
AF - Africa 18
OC - Oceania 6
SA - Sud America 2
Totale 1.178
Nazione #
US - Stati Uniti d'America 443
IT - Italia 189
CN - Cina 89
DE - Germania 58
FI - Finlandia 53
NL - Olanda 42
FR - Francia 40
GB - Regno Unito 37
DK - Danimarca 21
IN - India 20
IE - Irlanda 17
CZ - Repubblica Ceca 14
HK - Hong Kong 10
UA - Ucraina 10
BE - Belgio 9
IR - Iran 9
GR - Grecia 8
SG - Singapore 8
DZ - Algeria 7
AU - Australia 6
JP - Giappone 5
RU - Federazione Russa 5
SE - Svezia 5
TR - Turchia 5
TW - Taiwan 5
CH - Svizzera 4
EG - Egitto 4
ES - Italia 4
PL - Polonia 4
RO - Romania 4
VN - Vietnam 4
ZA - Sudafrica 4
AT - Austria 3
CA - Canada 3
AE - Emirati Arabi Uniti 2
HU - Ungheria 2
ID - Indonesia 2
IL - Israele 2
JO - Giordania 2
NO - Norvegia 2
PT - Portogallo 2
SA - Arabia Saudita 2
SY - Repubblica araba siriana 2
BO - Bolivia 1
CO - Colombia 1
CY - Cipro 1
KE - Kenya 1
LT - Lituania 1
MT - Malta 1
MU - Mauritius 1
MX - Messico 1
NG - Nigeria 1
PH - Filippine 1
PK - Pakistan 1
Totale 1.178
Città #
Lappeenranta 43
Ashburn 34
Fairfield 26
Genoa 25
Columbus 19
Dublin 17
Beijing 15
Rome 14
Shanghai 14
Kunming 13
Cambridge 12
Camerino 12
Pisa 11
Amsterdam 10
Helsinki 10
New York 10
Buffalo 9
Chicago 9
Milan 9
San Diego 9
Mumbai 8
Seattle 8
Villecresnes 7
Bengaluru 6
Houston 6
Ponsacco 6
York 6
Berlin 5
Boardman 5
Bodmin 5
Essen 5
Hong Kong 5
Leipzig 5
Los Angeles 5
Nuremberg 5
Price 5
Taipei 5
Trieste 5
Woodbridge 5
Ancona 4
Ankara 4
Avezzano 4
Council Bluffs 4
Frankfurt am Main 4
Lucca 4
Madrid 4
Munich 4
San Jose 4
Strasbourg 4
Ann Arbor 3
Barletta 3
Boulder 3
Brisbane 3
Giza 3
Guangzhou 3
Hvidovre 3
Johannesburg 3
London 3
Melbourne 3
Mountain View 3
Newcastle upon Tyne 3
Oran 3
Pasadena 3
Piombino 3
Stuttgart 3
Tehran 3
Venice 3
Weimar 3
Zhengzhou 3
Amman 2
Athens 2
Augsburg 2
Bolzaneto 2
Bridlington 2
Brussels 2
Budapest 2
Buti 2
Charleston 2
Cividale del Friuli 2
Cloppenburg 2
Dallas 2
Damascus 2
Dong Ket 2
Edegem 2
Edinburgh 2
Falerone 2
Forlì 2
Grenoble 2
Grossenkneten 2
Grosseto 2
Hangzhou 2
Henderson 2
Kirkland 2
Lamporecchio 2
Las Vegas 2
Livorno 2
Medina 2
Milton Keynes 2
Okurayama 2
Palo Alto 2
Totale 590
Nome #
A formal approach for the analysis of BPMN collaboration models, file dd9e0b32-572b-709e-e053-3705fe0a83fd 229
Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios, file dd9e0b32-52cb-709e-e053-3705fe0a83fd 131
Exact maximal reduction of stochastic reaction networks by species lumping, file dd9e0b32-57bf-709e-e053-3705fe0a83fd 125
A large-scale assessment of exact lumping of quantitative models in the BioModels repository, file dd9e0b32-5727-709e-e053-3705fe0a83fd 124
Differential Equivalence for Linear Differential Algebraic Equations, file dd9e0b32-58c3-709e-e053-3705fe0a83fd 119
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods, file dd9e0b32-5e11-709e-e053-3705fe0a83fd 96
Quantitative security risk modeling and analysis with RisQFlan, file dd9e0b32-57bd-709e-e053-3705fe0a83fd 76
Lumpability for Uncertain Continuous-Time Markov Chains, file dd9e0b32-58f9-709e-e053-3705fe0a83fd 57
Reducing Boolean Networks with Backward Boolean Equivalence, file dd9e0b32-58c7-709e-e053-3705fe0a83fd 43
Improved estimations of stochastic chemical kinetics by finite-state expansion, file dd9e0b32-6104-709e-e053-3705fe0a83fd 43
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations, file 8d7ad94b-20ec-40a3-91e0-7af158351506 33
Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes, file 4aab80d7-f925-40fb-a17e-4b4704ecf5ac 27
Reducing Boolean networks with backward equivalence, file 31d6ac32-57a2-496e-8860-0f6e2d699f9d 15
Approximate Constrained Lumping of Polynomial Differential Equations, file b410b2bc-cdee-4d89-9e77-948e9843569f 13
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains, file ced82f2e-5edf-488e-b18b-7483f6bf4bee 10
White-box validation of quantitative product lines by statistical model checking and process mining, file 38014547-962e-415a-886a-d53a55c498db 9
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement, file 4839692e-d8fb-4bc7-b6bc-4cb8ffb10f4e 8
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence, file c3cf39d1-c58d-452f-bc17-a2d5587c20bf 8
Formal lumping of polynomial differential equations through approximate equivalences, file 77842a57-0ae9-44eb-b202-c2bd27b1ec38 6
Minimization of Dynamical Systems over Monoids, file 3d185b14-2a9d-4340-9564-faed2add088f 4
Formal Analysis of Lending Pools in Decentralized Finance, file 080ceac8-4bf4-4459-8639-c3186488ba77 3
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective, file dd9e0b32-461e-709e-e053-3705fe0a83fd 3
ERODE: A tool for the evaluation and reduction of ordinary differential equations, file dd9e0b32-389b-709e-e053-3705fe0a83fd 2
A framework for quantitative modeling and analysis of highly (re)configurable systems, file dd9e0b32-451c-709e-e053-3705fe0a83fd 2
Maximal aggregation of polynomial dynamical systems, file dd9e0b32-451f-709e-e053-3705fe0a83fd 2
Efficient syntax-Driven lumping of differential equations, file dd9e0b32-45a5-709e-e053-3705fe0a83fd 2
BProVe: a Formal Verification Framework for Business Process Models, file dd9e0b32-461c-709e-e053-3705fe0a83fd 2
Symbolic computation of differential equivalences, file dd9e0b32-4692-709e-e053-3705fe0a83fd 2
EGAC: A genetic algorithm to compare chemical reaction networks, file dd9e0b32-38a0-709e-e053-3705fe0a83fd 1
Modelling and analyzing adaptive self-assembly strategies with Maude, file dd9e0b32-4526-709e-e053-3705fe0a83fd 1
Totale 1.196
Categoria #
all - tutte 4.656
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 4.656


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202122 0 5 0 0 0 2 3 4 0 4 1 3
2021/2022399 34 16 19 17 36 26 18 35 18 27 122 31
2022/2023340 14 27 73 35 37 16 35 42 16 5 12 28
2023/2024435 30 23 14 37 30 46 38 58 39 91 29 0
Totale 1.196