Giuseppe Primiero

Cited by

	All	Since 2020
Citations	1312	727
h-index	18	13
i10-index	48	25

180

135

20072008200920102011201220132014201520162017201820192020202120222023202420257 21 24 16 32 22 37 41 84 58 56 78 77 127 114 134 174 172 3

Public access

View all

33 articles

1 article

available

not available

Based on funding mandates

Co-authors

Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteVerified email at gssi.it
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
Luciano FloridiYale University - Alma Mater Studiorum University of BolognaVerified email at yale.edu
Ravinder BarnProfessor of Social PolicyVerified email at rhul.ac.uk
Mariarosaria TaddeoProfessor of Digital Ethics and Defence Technologies,Oxford Internet Institute, University of OxfordVerified email at oii.ox.ac.uk
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Neha RungtaAmazon Web ServicesVerified email at amazon.com
Kelly AndroutsopoulosSenior Lecturer in Software Engineering, Middlesex UniversityVerified email at mdx.ac.uk
Vincenzo De FlorioVrije Univ Brussel; Belgian Nuclear Research CentreVerified email at sckcen.be
Marieta G. Ivanova(former) PhD student, Technical University of DenmarkVerified email at dtu.dk
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerified email at mdx.ac.uk
Konstantinos PouliasisCUNY Graduate CenterVerified email at gradcenter.cuny.edu
Phyllis IllariScience and Technology Studies, UCLVerified email at ucl.ac.uk
Federica RussoUtrecht University / University College LondonVerified email at uu.nl

Giuseppe Primiero

Department of Philosophy, University of Milan

Verified email at unimi.it - Homepage

Logic Philosophy of Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On malfunctioning software L Floridi, N Fresco, G Primiero Synthese 192, 1199-1220, 2015	75	2015
Information and knowledge: a constructive type-theoretical approach G Primiero Springer Science & Business Media, 2007	72	2007
Miscomputation N Fresco, G Primiero Philosophy & Technology 26, 253-272, 2013	71	2013
On the foundations of computing G Primiero Oxford University Press, 2020	60	2020
Information in the philosophy of computer science G Primiero The Routledge handbook of philosophy of information, 90-106, 2016	40	2016
A modal type theory for formalizing trusted communications G Primiero, M Taddeo Journal of Applied Logic 10 (1), 92-114, 2012	39	2012
Multi-agent based simulations of block-free distributed ledgers M Bottone, F Raimondi, G Primiero 2018 32nd International Conference on Advanced Information Networking and …, 2018	34	2018
The Philosophy of Computer Science N Angius, G Primiero, R Turner The Stanford Encyclopedia of Philosophy, 2021	32	2021
Trust and distrust in contradictory information transmission G Primiero, F Raimondi, M Bottone, J Tagliabue Applied Network Science 2, 1-30, 2017	30	2017
An epistemic logic for becoming informed G Primiero Synthese 167 (2), 363-389, 2009	27	2009
A taxonomy of errors for information systems G Primiero Minds and Machines 24, 249-273, 2014	26	2014
Effects of misinformation diffusion during a pandemic L Prandi, G Primiero Applied Network Science 5, 1-20, 2020	23	2020
A calculus for distrust and mistrust G Primiero Trust Management X: 10th IFIP WG 11.11 International Conference, IFIPTM 2016 …, 2016	23	2016
A logic of negative trust G Primiero Journal of Applied Non-Classical Logics 30 (3), 193-222, 2020	21	2020
On malfunction, mechanisms and malware classification G Primiero, FJ Solheim, JM Spring Philosophy & Technology 32, 339-362, 2019	19	2019
A proof-theoretic trust and reputation model for VANET G Primiero, F Raimondi, T Chen, R Nagarajan 2017 IEEE European symposium on security and privacy workshops (EuroS&PW …, 2017	18	2017
A typed natural deduction calculus to reason about secure trust G Primiero, F Raimondi 2014 Twelfth Annual International Conference on Privacy, Security and Trust …, 2014	18	2014
A contextual type theory with judgemental modalities for reasoning from open assumptions G Primiero Logique & Analyse 220, 579-600, 2012	18*	2012
Modeling human behaviour with higher order logic: Insider threats J Boender, MG Ivanova, F Kammüller, G Primiero 2014 Workshop on Socio-Technical Aspects in Security and Trust, 31-39, 2014	17	2014
Majority merging by adaptive counting G Primiero, J Meheus Synthese 165, 203-223, 2008	17	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors