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

BISTARELLI, Stefano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.510
EU - Europa 6.611
AS - Asia 5.413
SA - Sud America 1.102
AF - Africa 167
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 4
Totale 20.817
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.357
SG - Singapore 2.676
IT - Italia 1.283
SE - Svezia 965
RU - Federazione Russa 926
IE - Irlanda 918
UA - Ucraina 886
BR - Brasile 879
CN - Cina 731
HK - Hong Kong 531
VN - Vietnam 510
FR - Francia 404
KR - Corea 318
DE - Germania 292
FI - Finlandia 240
GB - Regno Unito 211
IN - India 113
AT - Austria 99
NL - Olanda 90
BD - Bangladesh 77
AR - Argentina 70
TR - Turchia 64
MX - Messico 61
PL - Polonia 57
IQ - Iraq 55
CA - Canada 52
ZA - Sudafrica 49
CH - Svizzera 41
ES - Italia 40
PK - Pakistan 40
EC - Ecuador 39
ID - Indonesia 39
JP - Giappone 39
RO - Romania 34
UZ - Uzbekistan 33
BE - Belgio 28
CO - Colombia 28
SA - Arabia Saudita 26
MA - Marocco 22
VE - Venezuela 22
LB - Libano 21
PH - Filippine 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
ET - Etiopia 6
HN - Honduras 6
IR - Iran 6
KZ - Kazakistan 6
PA - Panama 6
SY - Repubblica araba siriana 6
CR - Costa Rica 5
EE - Estonia 5
SN - Senegal 5
TT - Trinidad e Tobago 5
UY - Uruguay 5
BG - Bulgaria 4
BY - Bielorussia 4
EU - Europa 4
KG - Kirghizistan 4
LY - Libia 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
MT - Malta 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 20.782
Salva come PNG Salva come JPEG
Città #
Singapore 1.809
Dublin 918
Chandler 872
San Mateo 603
Hong Kong 524
San Jose 512
Jacksonville 454
Perugia 435
Boardman 417
Ashburn 365
Santa Clara 360
Moscow 327
Seoul 311
Altamura 290
Lauterbourg 244
Dong Ket 242
Medford 236
Princeton 234
Wilmington 220
Lawrence 215
Andover 183
Beijing 162
Los Angeles 140
Piscataway 125
Ann Arbor 120
Ho Chi Minh City 82
São Paulo 81
Saint Petersburg 74
New York 70
The Dalles 70
Hanoi 66
Vienna 66
Woodbridge 66
Des Moines 47
Helsinki 47
Norwalk 47
Dallas 45
San Paolo di Civitate 42
Milan 38
Warsaw 38
Munich 37
Rome 35
Naaldwijk 34
Tokyo 34
Orem 33
Frankfurt am Main 31
Izmir 30
Brooklyn 29
Council Bluffs 29
Hefei 29
Montreal 27
Brussels 26
Redwood City 26
Rio de Janeiro 26
Johannesburg 24
Timisoara 23
Florence 22
Houston 22
Mexico City 22
Shanghai 22
Atlanta 21
Baghdad 21
San Francisco 21
Secaucus 21
Auburn Hills 19
Bolzano 19
Chennai 19
Chicago 19
Columbus 19
Nuremberg 19
Seattle 19
Stockholm 19
Tashkent 19
Buffalo 18
Denver 18
London 18
Phoenix 17
Bologna 16
Falls Church 16
Lappeenranta 16
Manchester 16
Amsterdam 15
Poplar 15
Baku 14
Boston 14
Brasília 14
Jesi 14
Marsciano 14
Paris 14
Porto Alegre 14
Riyadh 14
Belo Horizonte 13
Curitiba 13
Guangzhou 13
New Delhi 13
Redmond 13
Ankara 12
Nairobi 12
Berlin 11
Bettona 11
Totale 12.401
Salva come PNG Salva come JPEG
Nome #
CELIA. Corpus Elettronico delle Lingue dell'Italia Antica 157
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation 147
Visualising bitcoin flows of ransomware: WannaCry one week later 129
A constraint framework for the qualitative analysis of dependability goals: Integrity 128
A report on the security of home connections with IoT and docker honeypots 128
On Relating Voting Systems and Argumentation Frameworks 126
Highlighting poor anonymity and security practice in the blockchain of Bitcoin 123
A Common Computational Framework for Semiring-based Argumentation Systems 118
C-semiring Frameworks for Minimum Spanning Tree Problems 117
Energy allocation and payment: a game-theoretic approach 115
ConArgLib: an argumentation library with support to search strategies and parallel search 115
Semiring-Based Constraint Logic Programming: Syntax and Semantics 114
RCRA 2015 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 114
A conarg-based library for Abstract Argumentation 114
End-to-End Voting with Non-Permissioned and Permissioned Ledgers 114
A first overview of ICCMA’19 113
Analyzing security scenarios using Defence Trees and Answer Set Programming 111
Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics 110
Is arbitrage possible in the bitcoin market? (Work-In-Progress Paper) 110
An analysis of non-standard bitcoin transactions 110
A tool for ranking arguments through voting-games power indexes 110
An end-to-end voting-system based on Bitcoin 109
A novel weighted defence and its relaxation in abstract argumentation 109
Abstracting soft constraints: Framework, properties, examples 108
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
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
Testing Credulous and Sceptical Acceptance in Small-World Networks 104
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints 103
Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive 103
Semiring-based constraint models and frameworks for security-related scenarios 101
From Argumentation Frameworks to Voting Systems and Back 101
Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis 100
A Formal and Practical Framework for Constraint-Based Routing 100
Labeling and Partial Local Consistency for Soft Constraint Programming 99
A Chatbot Extended with Argumentation 99
A Short Survey on Bitcoin Price Prediction 98
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
Soft Concurrent Constraint Programming 97
Probabilistic abstract argumentation frameworks, a possible world view 97
A labelling semantics for weighted argumentation frameworks 97
A concurrent language for argumentation 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
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
Power index-based semantics for ranking arguments in abstract argumentation frameworks 94
Special track editorial: Constraint solving and programming - 2006 ACM Symposium on Applied Computing 94
Security Protocol Deployment Risk 93
Abstract argumentation and (optimal) stable marriage problems 93
Bipolar preference problems: framework, properties and solving techniques 92
Securely Accessing Shared Resources with Concurrent Constraint Programming 92
Soft Constraint Based Pattern Mining 91
Uncertainty in Bipolar Preference Problems 91
A Survey on Decentralized Identifier Methods for Self Sovereign Identity 91
Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time 90
Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs 90
Soft Concurrent Constraint Programming 90
Soft Constraints for Security Protocol Analysis: Confidentiality 90
A Theoretical Framework for Tradeoff Generation using Soft Constraints 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 88
A collective defence against grouped attacks for weighted abstract argumentation frameworks 88
Preface - 15th Italian Conference on Theoretical Computer Science, ICTCS 2014 87
A First Comparison of Abstract Argumentation Reasoning-Tools 87
Special track on knowledge representation and reasoning (KRR) 87
Unicast and Multicast QoS Routing with Soft Constraint Logic Programming 86
An Asymmetric Fingerprint Matching Algorithm for Java Card 86
Using MetaProblog and ConArg to compute probabilistic argumentation frameworks 86
General Properties and Termination Conditions for Soft Constraint Propagation 85
Fairness as a QoS Measure for Web Services 85
Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks 84
Solving Weighted Argumentation Frameworks with Soft Constraints 84
Proceedings of the 15th Italian Conference on Theoretical Computer Science, ICTCS2014 84
A ConArg-based library for abstract argumentation 84
An asymmetric fingerprint matching algorithm for Java Card (TM) 83
Symmetry Breaking in Soft CSPs 83
SCLP for Trust Propagation in Small-World Networks 83
Theoretical Computer Science in Italy 83
Retaliation Against Protocol Attacks 82
Abstracting Soft Constraints: Some experimental results on Fuzzy CSPs 82
An Abstraction Framework for Soft Constraint and Its Relationship with Constraint Propagation 82
Automated adaptation via Quantitative Partial Model Checking 82
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks 82
Semirings for Soft Constraint Solving and Programming 81
Constraint Solving over Semirings 81
A relaxation of internal conflict and defence in weighted argumentation frameworks 81
A matrix approach for weighted argumentation frameworks 81
Totale 9.852
Salva come PNG Salva come JPEG
Categoria #
all - tutte 92.037
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 92.037
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021582 0 0 0 0 0 0 0 0 0 109 171 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/20266.970 529 589 430 1.094 826 674 1.067 430 738 593 0 0
Totale 21.627