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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.684 0 0 0 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.273 529 589 430 1.094 826 674 1.067 430 738 655 158 83
2026/20272.428 185 299 884 1.060 0 0 0 0 0 0 0 0
Totale 24.358