Giuseppe Primiero

Cited by

	All	Since 2017
Citations	893	525
h-index	15	11
i10-index	34	16

120

20072008200920102011201220132014201520162017201820192020202120227 24 26 11 28 30 32 38 89 60 57 71 102 106 113 73

Public access

View all

20 articles

1 article

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
Mariarosaria TaddeoAssociate Professor and Senior Research Fellow, Oxford Internet Institute, University of OxfordVerified email at oii.ox.ac.uk
Ravinder BarnProfessor of Social PolicyVerified email at rhul.ac.uk
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerified email at bbk.ac.uk
Vincenzo De FlorioVrije Univ Brussel. Global Brain Institute / Evolution, Complexity and COgnition research groupVerified email at sckcen.be
Neha RungtaAmazon Web ServicesVerified email at amazon.com
Kelly AndroutsopoulosSenior Lecturer in Software Engineering, Middlesex UniversityVerified email at mdx.ac.uk
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 (4), 1199-1220, 2015	53	2015
Miscomputation N Fresco, G Primiero Philosophy & Technology 26 (3), 253-272, 2013	47	2013
A modal type theory for formalizing trusted communications G Primiero, M Taddeo Journal of Applied Logic 10 (1), 92-114, 2012	34	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	27	2018
On the foundations of computing G Primiero Oxford University Press, 2019	23	2019
Trust and distrust in contradictory information transmission G Primiero, F Raimondi, M Bottone, J Tagliabue Applied Network Science 2 (1), 1-30, 2017	22	2017
A calculus for distrust and mistrust G Primiero IFIP International Conference on Trust Management, 183-190, 2016	21	2016
Information in the philosophy of computer science G Primiero The Routledge handbook of philosophy of information, 106-122, 2016	20	2016
An epistemic logic for becoming informed G Primiero Synthese 167 (2), 363-389, 2009	20	2009
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 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	17	2017
A taxonomy of errors for information systems G Primiero Minds and Machines 24 (3), 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 (2), 203-223, 2008	17	2008
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 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	14	2015
Alleged assassins: realist and constructivist semantics for modal modification B Jespersen, G Primiero International Tbilisi Symposium on Logic, Language, and Computation, 94-114, 2011	14	2011
An epistemic constructive definition of information G Primiero Logique et Analyse, 391-416, 2007	14	2007
Minimizing transitive trust threats in software management systems J Boender, G Primiero, F Raimondi 2015 13th Annual Conference on Privacy, Security and Trust (PST), 191-198, 2015	13	2015

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