Items where Author / Artist / Editor is "Primiero, Giuseppe"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 35.

Article

Primiero, Giuseppe and Raimondi, Franco and Bottone, Michele and Tagliabue, Jacopo (2017) Trust and distrust in contradictory information transmission. Applied Network Science, 2 (1). ISSN 2364-8228

Primiero, Giuseppe (2017) Algorithmic iteration for computational intelligence. Minds and Machines . ISSN 0924-6495 (Published online first)

Chen, Taolue and Primiero, Giuseppe and Raimondi, Franco and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4). pp. 679-703. ISSN 0039-3215

De Mol, Liesbeth and Primiero, Giuseppe (2015) When logic meets engineering: introduction to logical issues in the history and philosophy of computer science. History and Philosophy of Logic, 36 (3). pp. 195-204. ISSN 0144-5340

Floridi, Luciano and Fresco, Nir and Primiero, Giuseppe (2015) On malfunctioning software. Synthese, 192 (4). pp. 1199-1220. ISSN 1573-0964

Primiero, Giuseppe and Raimondi, Franco (2015) Software theory change for resilient near-complete specifications. Procedia Computer Science, 52 . pp. 988-995. ISSN 1877-0509

Huyck, Christian R. and Primiero, Giuseppe and Raimondi, Franco (2014) Programming the MIRTO robot with neurons. Procedia Computer Science, 41 . pp. 75-82. ISSN 1877-0509

De Mol, Liesbeth and Primiero, Giuseppe (2014) Facing computing as technique: towards a history and philosophy of computing. Philosophy & Technology, 27 (3). pp. 321-326. ISSN 2210-5433

Primiero, Giuseppe (2014) On the ontology of the computing process and the epistemology of the computed. Philosophy & Technology, 27 (3). pp. 485-489. ISSN 2210-5433

Primiero, Giuseppe (2014) A taxonomy of errors for information systems. Minds and Machines, 24 (3). pp. 249-273. ISSN 0924-6495

Pouliasis, Konstantinos and Primiero, Giuseppe (2014) J-Calc: a typed lambda calculus for intuitionistic justification logic. Electronic Notes in Theoretical Computer Science, 300 . pp. 71-87. ISSN 1571-0661

Primiero, Giuseppe and Laszlo, Kosolosky (2013) The semantics of untrustworthiness. Topoi, 33 . ISSN 0167-7411

Primiero, Giuseppe and Taddeo, Mariarosaria (2012) A modal type theory for formalizing trusted communications. Journal of Applied Logic, 10 (1). pp. 92-114. ISSN 1570-8683

Primiero, Giuseppe (2009) Proceeding in abstraction. From concepts to types and the recent perspective on information. History and Philosophy of Logic, 30 (3). pp. 257-282. ISSN 0144-5340

Primiero, Giuseppe (2009) An epistemic logic for becoming informed. Synthese, 167 (2). pp. 363-389. ISSN 0039-7857

Book Section

Primiero, Giuseppe (2016) Information in the philosophy of computer science. In: The Routledge Handbook of Philosophy of Information. Floridi, Luciano, ed. Routledge, pp. 90-106. ISBN 9781138796935

Primiero, Giuseppe (2015) Realist consequence, epistemic inference, computational correctness. In: The road to universal logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II. Koslow, Arnold and Buchsbaum, Arthur, eds. Studies in Universal Logic . Springer International Publishing, pp. 573-588. ISBN 9783319153674

Primiero, Giuseppe (2014) Algorithmic check of standards for information quality dimensions. In: The philosophy of information quality. Floridi, Luciano and Illari, Phyllis, eds. Springer. (Accepted/In press)

Barn, Balbir and Barn, Ravinder and Primiero, Giuseppe The role of resilience and value for effective co-design of information systems. In: Proceedings of the Conference of the International Association for Computing and Philosophy (IACAP 14). Springer Synthese Library. (Accepted/In press)

Conference or Workshop Item

Primiero, Giuseppe and Boender, Jaap (2017) Managing software uninstall with negative trust. In: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, 12-16 Jun 2017, Gothenburg, Sweden.

Primiero, Giuseppe and Raimondi, Franco and Chen, Taolue and Nagarajan, Rajagopal (2017) A proof-theoretic trust and reputation model for VANET. In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France.

Primiero, Giuseppe and Bottone, Michele and Raimondi, Franco and Tagliabue, Jacopo (2016) Contradictory information flow in networks with trust and distrust. In: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016), 01-06 Dec 2016, Milan.

Bottone, Michele and Primiero, Giuseppe and Raimondi, Franco and De Florio, Vincenzo (2016) A model for trustworthy orchestration in the internet of things. In: 2016 12th International Conference on Intelligent Environments (IE), 14-16 Sept 2016, London, United Kingdom.

Bottone, Michele and Palumbo, Filippo and Primiero, Giuseppe and Raimondi, Franco and Stocker, Richard (2016) Implementing virtual pheromones in BDI robots using MQTT and Jason. In: 2016 5th IEEE International Conference on Cloud Networking (Cloudnet), 03-05 Oct 2016, Pisa, Italy.

Bottone, Michele and Primiero, Giuseppe and Raimondi, Franco and Rungta, Neha (2016) From raw data to agent perceptions for simulation, verification, and monitoring. In: 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16), 14-16 Sept 2016, London, United Kingdom.

Primiero, Giuseppe (2016) A calculus for distrust and mistrust. In: Tenth IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2016, 18-22 Jul 2016, Darmstadt, Germany.

Boender, Jaap and Primiero, Giuseppe and Raimondi, Franco (2015) Minimizing transitive trust threats in software management systems. In: 13th Annual Conference on Privacy, Security and Trust (PST 2015), 21-23 Jul 2015, Izmir, Turkey.

De Florio, Vincenzo and Primiero, Giuseppe (2015) A framework for trustworthiness assessment based on fidelity in cyber and physical domains. In: 2nd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE 2015), 2-5 Jun 2015, London, UK.

Bordoni, Mirco and Bottone, Michele and Fields, Bob and Gorogiannis, Nikos and Margolis, Michael and Primiero, Giuseppe and Raimondi, Franco (2015) Towards cyber-physical systems as services: the ASIP protocol. In: 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 17-17 May 2015, Florence, Italy.

Barn, Balbir and Primiero, Giuseppe and Barn, Ravinder (2015) An approach to early evaluation of informational privacy requirements. In: 30th ACM Symposium on Applied Computing 2015, 13-17 Apr 2015, Salamanca, Spain.

Boender, Jaap and Kammueller, Florian and Ivanova, Marieta Georgieva and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. In: 4th Workshop on Socio-Technical Aspects in Security and Trust, 18 July 2014, Vienna Technical University, Vienna, Austria.

Primiero, Giuseppe and Raimondi, Franco and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '14, 5-9 May 2014, Paris, France.

Boender, Jaap and Ivanova, Marieta Georgieva and Kammueller, Florian and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. In: 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014), 18 Jul 2014, Vienna, Austria.

Androutsopoulos, Kelly and Gorogiannis, Nikos and Loomes, Martin J. and Margolis, M. and Primiero, Giuseppe and Raimondi, Franco and Varsani, Puji and Weldin, N. and Zivanovic, Aleksandar (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France.

Primiero, Giuseppe and Raimondi, Franco (2014) A typed natural deduction calculus to reason about secure trust. In: 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST), 23-24 Jul 2014, Toronto, Canada.

This list was generated on Wed Nov 22 04:22:12 2017 GMT.