팔로우
Giuseppe Primiero
Giuseppe Primiero
Department of Philosophy, University of Milan
unimi.it의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
On malfunctioning software
L Floridi, N Fresco, G Primiero
Synthese 192, 1199-1220, 2015
712015
Miscomputation
N Fresco, G Primiero
Philosophy & Technology 26, 253-272, 2013
712013
Information and knowledge: a constructive type-theoretical approach
G Primiero
Springer Science & Business Media, 2007
672007
On the foundations of computing
G Primiero
Oxford University Press, 2019
502019
A modal type theory for formalizing trusted communications
G Primiero, M Taddeo
Journal of Applied Logic 10 (1), 92-114, 2012
372012
Information in the philosophy of computer science
G Primiero
The Routledge handbook of philosophy of information, 90-106, 2016
362016
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
332018
The Philosophy of Computer Science
N Angius, G Primiero, R Turner
The Stanford Encyclopedia of Philosophy, 2021
292021
Trust and distrust in contradictory information transmission
G Primiero, F Raimondi, M Bottone, J Tagliabue
Applied Network Science 2, 1-30, 2017
272017
An epistemic logic for becoming informed
G Primiero
Synthese 167 (2), 363-389, 2009
242009
A calculus for distrust and mistrust
G Primiero
Trust Management X: 10th IFIP WG 11.11 International Conference, IFIPTM 2016 …, 2016
232016
Effects of misinformation diffusion during a pandemic
L Prandi, G Primiero
Applied Network Science 5, 1-20, 2020
202020
On malfunction, mechanisms and malware classification
G Primiero, FJ Solheim, JM Spring
Philosophy & Technology 32, 339-362, 2019
192019
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
192017
A taxonomy of errors for information systems
G Primiero
Minds and Machines 24, 249-273, 2014
192014
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
172014
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
172014
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
172008
A logic of negative trust
G Primiero
Journal of Applied Non-Classical Logics 30 (3), 193-222, 2020
162020
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20