Giuseppe Primiero
Giuseppe Primiero
Department of Philosophy, University of Milan
Bestätigte E-Mail-Adresse bei unimi.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Information and knowledge: a constructive type-theoretical approach
G Primiero
Springer Science & Business Media, 2007
592007
On malfunctioning software
L Floridi, N Fresco, G Primiero
Synthese 192 (4), 1199-1220, 2015
392015
Miscomputation
N Fresco, G Primiero
Philosophy & Technology 26 (3), 253-272, 2013
372013
A modal type theory for formalizing trusted communications
G Primiero, M Taddeo
Journal of Applied Logic 10 (1), 92-114, 2012
282012
Trust and distrust in contradictory information transmission
G Primiero, F Raimondi, M Bottone, J Tagliabue
Applied Network Science 2 (1), 1-30, 2017
192017
Information in the philosophy of computer science
G Primiero
The Routledge handbook of philosophy of information, 90-106, 2016
192016
An epistemic logic for becoming informed
G Primiero
Synthese 167 (2), 363-389, 2009
182009
A calculus for distrust and mistrust
G Primiero
IFIP International Conference on Trust Management, 183-190, 2016
172016
A contextual type theory with judgemental modalities for reasoning from open assumptions
G Primiero
Logique & Analyse 220, 579-600, 2012
17*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
162018
Majority merging by adaptive counting
G Primiero, J Meheus
Synthese 165 (2), 203-223, 2008
162008
A taxonomy of errors for information systems
G Primiero
Minds and Machines 24 (3), 249-273, 2014
152014
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
152014
Two kinds of procedural semantics for privative modification
G Primiero, B Jespersen
JSAI International Symposium on Artificial Intelligence, 252-271, 2009
142009
Alleged assassins: realist and constructivist semantics for modal modification
B Jespersen, G Primiero
International Tbilisi Symposium on Logic, Language, and Computation, 94-114, 2011
132011
Constructive contextual modal judgments for reasoning from open assumptions
G Primiero
Computability in Europe, 336-345, 2010
132010
An epistemic constructive definition of information
G Primiero
Logique et Analyse, 391-416, 2007
132007
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
122015
Epistemic modalities
G Primiero
Acts of Knowledge: History, Philosophy and Logic 9, 207-232, 2009
122009
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
112017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20