Giuseppe Primiero

Citeras av

	Alla	Sedan 2016
Citat	678	383
h-index	13	10
i10-index	25	10

120

2007200820092010201120122013201420152016201720182019202020217 20 25 11 31 27 31 34 86 56 53 69 107 89 8

Medförfattare

Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerifierad e-postadress på mdx.ac.uk
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerifierad e-postadress på kerguelen.org
Luciano FloridiProfessor of Philosophy and Ethics of Information, Director of Digital Ethics Lab, Oxford UniversityVerifierad e-postadress på oii.ox.ac.uk
Mariarosaria TaddeoAssociate Professor and Senior Research Fellow, Oxford Internet Institute, University of OxfordVerifierad e-postadress på oii.ox.ac.uk
Ravinder BarnProfessor of Social PolicyVerifierad e-postadress på rhul.ac.uk
Nir FrescoPostdoctoral Fellow, Sidney M. Edelstein Centre for History & Philosophy of Science, TechnologyVerifierad e-postadress på mail.huji.ac.il
Vincenzo De FlorioVrije Univ Brussel. Global Brain Institute / Evolution, Complexity and COgnition research groupVerifierad e-postadress på sckcen.be
Taolue ChenDepartment of Computer Science, University of SurreyVerifierad e-postadress på surrey.ac.uk
Neha RungtaAmazon Web ServicesVerifierad e-postadress på amazon.com
Kelly AndroutsopoulosSenior Lecturer in Software Engineering, Middlesex UniversityVerifierad e-postadress på mdx.ac.uk
Marieta G. Ivanova(former) PhD student, Technical University of DenmarkVerifierad e-postadress på dtu.dk
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinVerifierad e-postadress på mdx.ac.uk
Konstantinos PouliasisCUNY Graduate CenterVerifierad e-postadress på gradcenter.cuny.edu
Phyllis IllariScience and Technology Studies, UCLVerifierad e-postadress på ucl.ac.uk
Federica RussoUniversiteit van AmsterdamVerifierad e-postadress på uva.nl

Giuseppe Primiero

Department of Philosophy, University of Milan

Verifierad e-postadress på unimi.it - Startsida

Logic Philosophy of Computer Science


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Information and knowledge: a constructive type-theoretical approach G Primiero Springer Science & Business Media, 2007	58	2007
On malfunctioning software L Floridi, N Fresco, G Primiero Synthese 192 (4), 1199-1220, 2015	38	2015
Miscomputation N Fresco, G Primiero Philosophy & Technology 26 (3), 253-272, 2013	37	2013
A modal type theory for formalizing trusted communications G Primiero, M Taddeo Journal of Applied Logic 10 (1), 92-114, 2012	28	2012
Trust and distrust in contradictory information transmission G Primiero, F Raimondi, M Bottone, J Tagliabue Applied Network Science 2 (1), 1-30, 2017	19	2017
Information in the philosophy of computer science G Primiero The Routledge handbook of philosophy of information, 90-106, 2016	18	2016
An epistemic logic for becoming informed G Primiero Synthese 167 (2), 363-389, 2009	18	2009
A calculus for distrust and mistrust G Primiero IFIP International Conference on Trust Management, 183-190, 2016	17	2016
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	16	2008
A taxonomy of errors for information systems G Primiero Minds and Machines 24 (3), 249-273, 2014	15	2014
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	15	2014
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	13	2018
Alleged assassins: realist and constructivist semantics for modal modification B Jespersen, G Primiero International Tbilisi Symposium on Logic, Language, and Computation, 94-114, 2011	13	2011
Constructive contextual modal judgments for reasoning from open assumptions G Primiero Computability in Europe, 336-345, 2010	13	2010
Two kinds of procedural semantics for privative modification G Primiero, B Jespersen JSAI International Symposium on Artificial Intelligence, 252-271, 2009	13	2009
An epistemic constructive definition of information G Primiero Logique et Analyse, 391-416, 2007	13	2007
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	12	2015
Epistemic modalities G Primiero Acts of Knowledge: History, Philosophy and Logic 9, 207-232, 2009	12	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	11	2017

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare