Giuseppe Primiero

Cited by

	All	Since 2018
Citations	963	545
h-index	16	13
i10-index	37	17

160

120

200720082009201020112012201320142015201620172018201920202021202220238 21 24 15 24 30 37 41 81 59 58 71 103 101 114 142 11

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
Luciano FloridiUniversity of Oxford - Alma Mater Studiorum University of BolognaVerified email at oii.ox.ac.uk
Ravinder BarnProfessor of Social PolicyVerified email at rhul.ac.uk
Mariarosaria TaddeoAssociate Professor and Senior Research Fellow, Oxford Internet Institute, University of OxfordVerified email at oii.ox.ac.uk
Taolue ChenDepartment of Computer Science, 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. Global Brain Institute / Evolution, Complexity and COgnition research groupVerified 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 RussoUniversiteit van AmsterdamVerified email at uva.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
Information and knowledge: a constructive type-theoretical approach G Primiero Springer Science & Business Media, 2007	67	2007
On malfunctioning software L Floridi, N Fresco, G Primiero Synthese 192, 1199-1220, 2015	55	2015
Miscomputation N Fresco, G Primiero Philosophy & Technology 26, 253-272, 2013	52	2013
A modal type theory for formalizing trusted communications G Primiero, M Taddeo Journal of Applied Logic 10 (1), 92-114, 2012	33	2012
On the foundations of computing G Primiero Oxford University Press, 2019	30	2019
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	30	2018
Trust and distrust in contradictory information transmission G Primiero, F Raimondi, M Bottone, J Tagliabue Applied Network Science 2 (1), 1-30, 2017	25	2017
10 Information in the philosophyof computer science G Primiero The Routledge handbook of philosophy of information, 2016	22	2016
A calculus for distrust and mistrust G Primiero Trust Management X: 10th IFIP WG 11.11 International Conference, IFIPTM 2016 …, 2016	22	2016
An epistemic logic for becoming informed G Primiero Synthese 167 (2), 363-389, 2009	22	2009
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 taxonomy of errors for information systems G Primiero Minds and Machines 24, 249-273, 2014	17	2014
A contextual type theory with judgemental modalities for reasoning from open assumptions G Primiero Logique & Analyse 220, 579-600, 2012	17*	2012
Majority merging by adaptive counting G Primiero, J Meheus Synthese 165, 203-223, 2008	17	2008
The Philosophy of Computer Science N Angius, G Primiero, R Turner The Stanford Encyclopedia of Philosophy, 2021	16	2021
An approach to early evaluation of informational privacy requirements BS Barn, G Primiero, R Barn Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1370-1375, 2015	15	2015
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	15	2014
An epistemic constructive definition of information G Primiero Logique et Analyse, 391-416, 2007	15	2007
Swarm attack: A self-organized model to recover from malicious communication manipulation in a swarm of simple simulated agents G Primiero, E Tuci, J Tagliabue, E Ferrante Swarm Intelligence: 11th International Conference, ANTS 2018, Rome, Italy …, 2018	14	2018

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