IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

PRIMIERO, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.739
AS - Asia 4.374
EU - Europa 3.805
SA - Sud America 509
AF - Africa 89
OC - Oceania 11
Totale 13.527
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.619
SG - Singapore 1.465
CN - Cina 1.303
IT - Italia 1.267
GB - Regno Unito 533
HK - Hong Kong 509
SE - Svezia 459
BR - Brasile 393
RU - Federazione Russa 355
VN - Vietnam 334
FR - Francia 305
DE - Germania 291
IN - India 209
BD - Bangladesh 164
IE - Irlanda 126
NL - Olanda 116
ID - Indonesia 89
KR - Corea 74
CA - Canada 69
DK - Danimarca 67
FI - Finlandia 65
AR - Argentina 47
AT - Austria 37
TR - Turchia 34
IQ - Iraq 33
JP - Giappone 29
MX - Messico 26
BE - Belgio 22
UA - Ucraina 22
CI - Costa d'Avorio 21
PL - Polonia 21
ZA - Sudafrica 19
ES - Italia 18
SA - Arabia Saudita 17
CH - Svizzera 16
EC - Ecuador 15
CL - Cile 14
CZ - Repubblica Ceca 14
KE - Kenya 13
PH - Filippine 13
PK - Pakistan 13
CO - Colombia 12
GR - Grecia 11
UZ - Uzbekistan 11
VE - Venezuela 11
AE - Emirati Arabi Uniti 10
AU - Australia 10
IL - Israele 10
IR - Iran 9
MY - Malesia 9
TW - Taiwan 9
NO - Norvegia 8
PE - Perù 8
PT - Portogallo 8
SC - Seychelles 8
CR - Costa Rica 7
MA - Marocco 7
RO - Romania 7
EE - Estonia 6
EG - Egitto 6
UY - Uruguay 6
BG - Bulgaria 5
SK - Slovacchia (Repubblica Slovacca) 5
DZ - Algeria 4
LT - Lituania 4
NP - Nepal 4
TH - Thailandia 4
BY - Bielorussia 3
DO - Repubblica Dominicana 3
GE - Georgia 3
HN - Honduras 3
JM - Giamaica 3
JO - Giordania 3
LB - Libano 3
LV - Lettonia 3
PY - Paraguay 3
AZ - Azerbaigian 2
GH - Ghana 2
HR - Croazia 2
KZ - Kazakistan 2
LU - Lussemburgo 2
MD - Moldavia 2
OM - Oman 2
PA - Panama 2
RS - Serbia 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
TN - Tunisia 2
AO - Angola 1
BB - Barbados 1
BH - Bahrain 1
BS - Bahamas 1
ET - Etiopia 1
GA - Gabon 1
HU - Ungheria 1
IS - Islanda 1
KG - Kirghizistan 1
KN - Saint Kitts e Nevis 1
KW - Kuwait 1
MN - Mongolia 1
Totale 13.518
Salva come PNG Salva come JPEG
Città #
Singapore 751
Hong Kong 433
Milan 428
Southend 417
Ashburn 380
Fairfield 347
San Jose 300
Santa Clara 255
Dallas 218
Chandler 216
Beijing 193
Council Bluffs 177
Woodbridge 164
Wilmington 162
Princeton 150
Cambridge 131
Hefei 131
Houston 131
Los Angeles 131
Ann Arbor 128
Frankfurt am Main 125
Dublin 122
Seattle 116
Dearborn 98
Ho Chi Minh City 90
Lauterbourg 90
Bengaluru 85
Hanoi 74
Buffalo 72
Chicago 69
Rome 66
Guangzhou 62
Seoul 61
Jakarta 60
Des Moines 59
Nanjing 59
Moscow 58
New York 51
Cheyenne 49
Boardman 48
Helsinki 41
Medford 40
São Paulo 40
Bologna 32
Cangzhou 32
Monza 32
Columbus 31
Amsterdam 30
Central District 30
Naples 30
Shanghai 30
Washington 30
Jinan 29
The Dalles 27
Boydton 26
Florence 26
Redwood City 25
London 24
San Diego 24
Shenyang 24
Changsha 23
Haiphong 22
Vienna 22
Abidjan 21
Berlin 21
Brussels 21
Toronto 21
Lappeenranta 20
Mumbai 20
Nuremberg 20
Tokyo 20
Turin 20
Paris 19
Hebei 18
Mannheim 18
Tianjin 17
Istanbul 16
Verona 16
Chennai 15
Munich 15
Nanchang 15
Shenzhen 15
Baghdad 14
Phoenix 14
Atlanta 13
Bari 13
Da Nang 13
Johannesburg 13
Montreal 13
Brooklyn 12
Dong Ket 12
Oleggio 12
Hangzhou 11
Lanzhou 11
Tashkent 11
Warsaw 11
Zhengzhou 11
Düsseldorf 10
Piscataway 10
Jiaxing 9
Totale 7.988
Salva come PNG Salva come JPEG
Nome #
The Philosophy of Computer Science, in The Stanford Encyclopedia of Philosophy (Spring 2021 Edition), Edward N. Zalta (ed.) 417
Hyperintensions for Probabilistic Computations 346
A logical approach to algorithmic opacity 334
Rilevazione e mitigazione dei bias negli algoritmi di classificazione con il metodo BRIO: il caso del credit scoring 293
Proceeding in abstraction : from concepts to types and the recent perspective on information 234
Effects of misinformation diffusion during a pandemic 234
BEWARE 2023 : Bias, Ethical AI, Explainability and the role of Logic and Logic Programming 222
A theory of change for prioritised resilient and evolvable software systems 216
Negative trust for conflict resolution in software management 214
Algorithmic Iteration for Computational Intelligence 211
Reasoning With Bias 210
Bias Amplification Chains in ML-based Systems with an Application to Credit Scoring 206
A Computationally Grounded, Weighted Doxastic Logic 199
BRIOxAlkemy: A Bias detecting tool 197
A Multi-Agent Depth Bounded Boolean Logic 194
A Granular Approach to Source Trustworthiness for Negative Trust Assessment 187
Trust and distrust in contradictory information transmission 186
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo 185
Assessing the Quality of Online Reviews Using Formal Argumentation Theory 181
Reasoning With and About Bias 179
A possible worlds semantics for trustworthy non-deterministic computations 177
HTLC: Hyperintensional Typed Lambda Calculus 177
J-Calc : a Typed Lambda Calculus for Intuitionistic Justification Logic 177
A Minimalist Epistemology for Agent-Based Simulations in the Artificial Sciences 173
Checking trustworthiness of probabilistic computations in a typed natural deduction system 165
A modal type theory for formalizing trusted communications 164
On malfunctioning software 164
Copying safety and liveness properties of computational artefacts 162
A logic of efficient and optimal designs 162
A typed natural deduction calculus to reason about secure trust 155
A logic of negative trust 153
A computational model for assessing experts’ trustworthiness 151
Annotated Natural Deduction for Adaptive Reasoning 151
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science 150
A Pragmatic Theory of Computational Artefacts 148
On Malfunction, Mechanisms and Malware Classification 147
Logic and Model Checking by Imprecise Probabilistic Interpreted Systems 142
A proof-theoretic trust and reputation model for VANET 139
Prior to Trust: Frequentist and Bayesian views of Trust in AI 138
A taxonomy of errors for information systems 134
A logic for reasoning about (negative) trust under uncertainty 133
The logic of identity and copy for computational artefacts 132
Computable Trustworthiness Ranking of Medical Experts in Italy during the SARS-CoV-19 Pandemic 132
The Semantics of Untrustworthiness 131
Miscomputation 129
Programming the MIRTO robot with neurons 129
Teaching functional patterns through robotic applications 129
A model for trustworthy orchestration in the internet of things 127
Modelling Accuracy and Trustworthiness of Explaining Agents 127
Towards Cyber-physical Systems as Services: The ASIP Protocol 124
Design, Malfunction, Validity: Three More Tasks for the Philosophy of Computing 123
Minimizing transitive trust threats in software management systems 123
A logic for biassed information diffusion by paranoid agents in social networks 123
Data Quality Dimensions for Fair AI 122
An epistemic constructive definition of information 121
On the Ontology of the Computing Process and the Epistemology of the Computed 116
Acts of knowledge : history, philosophy and logic: essays dedicated to Goran Sundholm 115
Robust Model Checking with Imprecise Markov Reward Models 115
Handling Mobility Failures by Modal Types 113
MIRTO: An open-source robotic platform for education 112
Transparent assessment of information quality of online reviews using formal argumentation theory 112
A framework for trustworthiness assessment based on fidelity in cyber and physical domains 111
Swarm Attack: A Self-organized Model to Recover from Malicious Communication Manipulation in a Swarm of Simple Simulated Agents 110
Value-Sensitive Co-Design for Resilient Information Systems 110
Simulation of a Trust and Reputation Based Mitigation Protocol for a Black Hole Style Attack on VANETs 109
On the Foundations of Computing 108
Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024) 106
A calculus for distrust and mistrust 104
Managing software uninstall with negative trust 102
An epistemic logic for becoming informed 101
Computing with Foresight and Industry 100
Causality Problems in Machine Learning Systems 98
Infringing software property rights : ontological, methodological, and ethical questions 97
Software theory change for resilient near-complete specifications 94
Honesty, competence, and trust for systems design 93
A contextual type theory with judgemental modalities for reasoning from open assumptions 93
Contradictory information flow in networks with trust and distrust 92
Type-theoretical dynamics: Exploring belief revision in a constructive framework 91
Epistemic Modalities 91
Facing Computing as Technique: Towards a History and Philosophy of Computing 90
Reflections on Programming Systems : Historical and Philosophical Aspects 88
The Realism-Antirealism Debate in the Age of Alternative Logics 87
Alleged assassins: Realist and constructivist semantics for modal modification 87
Majority merging by adaptive counting 86
An approach to early evaluation of informational privacy requirements 86
Offline and online data: On upgrading functional information to knowledge 81
On the Foundations of Computing: Limits and Open Issues 79
Netreason: reasoning about social networks 78
Information and Knowledge : A Constructive Type-theoretical Approach 76
Algorithmic Check of Standards for Information Quality Dimensions 75
Two kinds of procedural semantics for privative modification 73
Modeling human behaviour with higher order logic: Insider threats 69
Realist Consequence, Epistemic Inference, Computational Correctness 69
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason 68
Adaptive arbitration by variant counting on commutative bases with weights 68
Multi-agent based simulations of block-free distributed ledgers 68
Information in the Philosophy of Computer Science 68
From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring 65
Defining Formal Validity Criteria for Machine Learning Models 61
A Logic for Using Information 57
Totale 13.751
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.694
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 43.694
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021137 0 0 0 0 0 0 0 0 0 0 48 89
2021/2022985 65 76 50 102 68 47 77 79 46 56 83 236
2022/20231.163 145 93 90 108 104 197 87 162 57 53 46 21
2023/2024943 32 60 27 53 222 44 56 51 15 61 171 151
2024/20252.837 96 234 64 185 288 84 90 280 132 205 588 591
2025/20265.611 493 373 611 520 525 326 614 402 549 664 534 0
Totale 14.162