IRIS - Res&Arch Institutional Research Information System - Research & Archive

BISTARELLI, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.716
EU - Europa 6.648
AS - Asia 5.466
SA - Sud America 1.107
AF - Africa 167
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 4
Totale 21.118
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.551
SG - Singapore 2.684
IT - Italia 1.309
SE - Svezia 965
RU - Federazione Russa 926
IE - Irlanda 918
UA - Ucraina 886
BR - Brasile 883
CN - Cina 741
HK - Hong Kong 533
VN - Vietnam 510
FR - Francia 404
KR - Corea 318
DE - Germania 295
FI - Finlandia 240
GB - Regno Unito 211
IN - India 113
BD - Bangladesh 108
AT - Austria 101
NL - Olanda 91
AR - Argentina 71
TR - Turchia 64
MX - Messico 62
CA - Canada 60
PL - Polonia 57
IQ - Iraq 55
ZA - Sudafrica 49
CH - Svizzera 43
ES - Italia 41
JP - Giappone 40
PK - Pakistan 40
EC - Ecuador 39
ID - Indonesia 39
RO - Romania 34
UZ - Uzbekistan 33
BE - Belgio 28
CO - Colombia 28
SA - Arabia Saudita 26
MA - Marocco 22
PH - Filippine 22
VE - Venezuela 22
LB - Libano 21
CL - Cile 17
PY - Paraguay 16
MY - Malesia 15
AZ - Azerbaigian 14
BO - Bolivia 14
GR - Grecia 14
KE - Kenya 14
TN - Tunisia 12
DZ - Algeria 11
EG - Egitto 11
PE - Perù 11
AE - Emirati Arabi Uniti 10
JO - Giordania 10
SK - Slovacchia (Repubblica Slovacca) 10
LT - Lituania 9
PT - Portogallo 9
CI - Costa d'Avorio 8
CZ - Repubblica Ceca 8
IL - Israele 8
OM - Oman 8
AL - Albania 7
AO - Angola 7
AU - Australia 7
HU - Ungheria 7
JM - Giamaica 7
TT - Trinidad e Tobago 7
CR - Costa Rica 6
ET - Etiopia 6
HN - Honduras 6
IR - Iran 6
KZ - Kazakistan 6
PA - Panama 6
SY - Repubblica araba siriana 6
BG - Bulgaria 5
EE - Estonia 5
SN - Senegal 5
UY - Uruguay 5
BY - Bielorussia 4
EU - Europa 4
KG - Kirghizistan 4
LY - Libia 4
MT - Malta 4
NP - Nepal 4
PS - Palestinian Territory 4
QA - Qatar 4
AM - Armenia 3
BB - Barbados 3
BH - Bahrain 3
GE - Georgia 3
GT - Guatemala 3
LU - Lussemburgo 3
NG - Nigeria 3
RS - Serbia 3
TW - Taiwan 3
CV - Capo Verde 2
DJ - Gibuti 2
DO - Repubblica Dominicana 2
LV - Lettonia 2
Totale 21.083
Salva come PNG Salva come JPEG
Città #
Singapore 1.812
Dublin 918
Chandler 872
San Mateo 603
San Jose 590
Hong Kong 526
Jacksonville 455
Perugia 438
Boardman 417
Ashburn 376
Santa Clara 366
Moscow 327
Seoul 311
Altamura 290
Lauterbourg 244
Dong Ket 242
Medford 236
Princeton 234
Wilmington 220
Lawrence 215
Andover 183
Beijing 165
Los Angeles 143
Piscataway 125
Ann Arbor 120
New York 86
Ho Chi Minh City 82
São Paulo 81
Saint Petersburg 74
The Dalles 70
Hanoi 66
Vienna 66
Woodbridge 66
Dallas 47
Des Moines 47
Helsinki 47
Norwalk 47
San Paolo di Civitate 42
Milan 40
Rome 38
Warsaw 38
Munich 37
Naaldwijk 34
Orem 34
Tokyo 34
Council Bluffs 33
Frankfurt am Main 31
Montreal 31
Izmir 30
Brooklyn 29
Hefei 29
Brussels 26
Redwood City 26
Rio de Janeiro 26
Johannesburg 24
Florence 23
Mexico City 23
Shanghai 23
Timisoara 23
Buffalo 22
Houston 22
San Francisco 22
Secaucus 22
Atlanta 21
Baghdad 21
Chicago 21
Seattle 21
Auburn Hills 19
Bologna 19
Bolzano 19
Chennai 19
Columbus 19
Denver 19
Nuremberg 19
Stockholm 19
Tashkent 19
London 18
Falls Church 17
Phoenix 17
Lappeenranta 16
Manchester 16
Amsterdam 15
Poplar 15
Porto Alegre 15
Baku 14
Berlin 14
Boston 14
Brasília 14
Guangzhou 14
Jesi 14
Marsciano 14
Paris 14
Riyadh 14
Belo Horizonte 13
Curitiba 13
New Delhi 13
Redmond 13
Ankara 12
Nairobi 12
Bettona 11
Totale 12.566
Salva come PNG Salva come JPEG
Nome #
CELIA. Corpus Elettronico delle Lingue dell'Italia Antica 159
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation 149
Visualising bitcoin flows of ransomware: WannaCry one week later 142
Highlighting poor anonymity and security practice in the blockchain of Bitcoin 132
A constraint framework for the qualitative analysis of dependability goals: Integrity 129
A report on the security of home connections with IoT and docker honeypots 128
On Relating Voting Systems and Argumentation Frameworks 127
A Common Computational Framework for Semiring-based Argumentation Systems 119
C-semiring Frameworks for Minimum Spanning Tree Problems 117
Energy allocation and payment: a game-theoretic approach 117
A conarg-based library for Abstract Argumentation 116
A tool for ranking arguments through voting-games power indexes 116
A first overview of ICCMA’19 116
Semiring-Based Constraint Logic Programming: Syntax and Semantics 115
ConArgLib: an argumentation library with support to search strategies and parallel search 115
RCRA 2015 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 114
End-to-End Voting with Non-Permissioned and Permissioned Ledgers 114
An end-to-end voting-system based on Bitcoin 112
Is arbitrage possible in the bitcoin market? (Work-In-Progress Paper) 111
Analyzing security scenarios using Defence Trees and Answer Set Programming 111
Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics 110
An analysis of non-standard bitcoin transactions 110
Abstracting soft constraints: Framework, properties, examples 109
A novel weighted defence and its relaxation in abstract argumentation 109
An Analysis of Non-standard Transactions 107
Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration 106
Journal of Heuristics: Editorial 106
A Short Survey on Bitcoin Price Prediction 105
Augmented Risk Analysis 105
ConArg: A Constraint-based Computational Framework for Argumentation Systems 105
Coalitions of Arguments: An Approach with Constraint Programming 105
Model-based arbitrage in multi-exchange models for Bitcoin price dynamics 105
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints 104
Testing Credulous and Sceptical Acceptance in Small-World Networks 104
Semiring-based constraint models and frameworks for security-related scenarios 103
From Argumentation Frameworks to Voting Systems and Back 103
Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive 103
Labeling and Partial Local Consistency for Soft Constraint Programming 101
A Formal and Practical Framework for Constraint-Based Routing 101
A Chatbot Extended with Argumentation 101
Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis 100
A concurrent language for argumentation 99
Weighted argumentation 98
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making 98
Analysis of Ethereum Smart Contracts and Opcodes 98
Probabilistic abstract argumentation frameworks, a possible world view 98
Soft Concurrent Constraint Programming 97
A labelling semantics for weighted argumentation frameworks 97
Reasoning about Secure Interoperation using Soft Constraints 96
Multilevel Security and Quality of Protection 96
A cooperative-game approach to share acceptability and rank arguments 96
A Survey on Decentralized Identifier Methods for Self Sovereign Identity 96
Power index-based semantics for ranking arguments in abstract argumentation frameworks 95
Information Assurance for Security Protocols 94
Abstracting Soft Constraints 94
Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics 94
Architecting the web of things for the fog computing era 94
Semiring-based constraint satisfaction and optimization 94
Special track editorial: Constraint solving and programming - 2006 ACM Symposium on Applied Computing 94
Security Protocol Deployment Risk 93
Securely Accessing Shared Resources with Concurrent Constraint Programming 93
Abstract argumentation and (optimal) stable marriage problems 93
Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time 92
Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs 92
Bipolar preference problems: framework, properties and solving techniques 92
Soft Constraint Based Pattern Mining 91
Uncertainty in Bipolar Preference Problems 91
Soft Concurrent Constraint Programming 90
Soft Constraints for Security Protocol Analysis: Confidentiality 90
A Theoretical Framework for Tradeoff Generation using Soft Constraints 90
A collective defence against grouped attacks for weighted abstract argumentation frameworks 90
A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary report 90
A protocol's life after attacks... 89
Proceedings of the 2008 ACM Symposium on Applied Computing - Constraint solving and programming track 89
A First Comparison of Abstract Argumentation Systems: A Computational Perspective 89
Preface - 15th Italian Conference on Theoretical Computer Science, ICTCS 2014 88
Special track on knowledge representation and reasoning (KRR) 88
A First Comparison of Abstract Argumentation Reasoning-Tools 87
Unicast and Multicast QoS Routing with Soft Constraint Logic Programming 86
An Asymmetric Fingerprint Matching Algorithm for Java Card 86
Solving Weighted Argumentation Frameworks with Soft Constraints 86
Theoretical Computer Science in Italy 86
Using MetaProblog and ConArg to compute probabilistic argumentation frameworks 86
General Properties and Termination Conditions for Soft Constraint Propagation 85
An asymmetric fingerprint matching algorithm for Java Card (TM) 85
Fairness as a QoS Measure for Web Services 85
A ConArg-based library for abstract argumentation 85
Towards a Temporal Probabilistic Argumentation Framework 84
Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks 84
SCLP for Trust Propagation in Small-World Networks 84
Proceedings of the 15th Italian Conference on Theoretical Computer Science, ICTCS2014 84
A relaxation of internal conflict and defence in weighted argumentation frameworks 84
Retaliation Against Protocol Attacks 83
Symmetry Breaking in Soft CSPs 83
A matrix approach for weighted argumentation frameworks 83
Abstracting Soft Constraints: Some experimental results on Fuzzy CSPs 82
An Abstraction Framework for Soft Constraint and Its Relationship with Constraint Propagation 82
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 82
Automated adaptation via Quantitative Partial Model Checking 82
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks 82
Totale 9.955
Salva come PNG Salva come JPEG
Categoria #
all - tutte 98.754
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 98.754
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021302 0 0 0 0 0 0 0 0 0 0 0 302
2021/20222.261 66 419 92 223 106 20 17 647 77 78 239 277
2022/20233.292 249 725 24 220 269 321 1 127 1.205 12 93 46
2023/20241.195 98 175 66 34 12 21 166 15 182 103 172 151
2024/20253.450 65 380 101 102 478 218 101 292 802 237 412 262
2025/20267.272 529 589 430 1.094 826 674 1.067 430 738 655 158 82
Totale 21.929