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

Article

Primiero, Giuseppe, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Barn, Ravinder (2020) Value-sensitive co-design for resilient information systems. Studies in Logic, Grammar and Rhetoric, 63 (1) . pp. 141-164. ISSN 0860-150X [Article] (doi:10.2478/slgr-2020-0032)

Primiero, Giuseppe and Boender, Jaap (2018) Negative trust for conflict resolution in software management. Web Intelligence, 16 (4) . pp. 251-271. ISSN 2405-6456 [Article] (doi:10.3233/web-180393)

Angius, Nicola and Primiero, Giuseppe (2018) The logic of identity and copy for computational artefacts. Journal of Logic and Computation, 28 (6) . pp. 1293-1322. ISSN 0955-792X [Article] (doi:10.1093/logcom/exy012)

Primiero, Giuseppe (2017) Algorithmic iteration for computational intelligence. Minds and Machines, 27 (3) . pp. 521-543. ISSN 0924-6495 [Article] (doi:10.1007/s11023-017-9423-8)

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Bottone, Michele ORCID: https://orcid.org/0009-0008-2515-4184 and Tagliabue, Jacopo (2017) Trust and distrust in contradictory information transmission. Applied Network Science, 2 (1) . ISSN 2364-8228 [Article] (doi:10.1007/s41109-017-0029-0)

Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4) . pp. 679-703. ISSN 0039-3215 [Article] (doi:10.1007/s11225-015-9621-4)

Primiero, Giuseppe and Laszlo, Kosolosky (2016) The semantics of untrustworthiness. Topoi, 35 (1) . ISSN 0167-7411 [Article] (doi:10.1007/s11245-013-9227-2)

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 [Article] (doi:10.1080/01445340.2015.1084183)

Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Software theory change for resilient near-complete specifications. Procedia Computer Science, 52 . pp. 988-995. ISSN 1877-0509 [Article] (doi:10.1016/j.procs.2015.05.091)

Floridi, Luciano, Fresco, Nir and Primiero, Giuseppe (2015) On malfunctioning software. Synthese, 192 (4) . pp. 1199-1220. ISSN 0039-7857 [Article] (doi:10.1007/s11229-014-0610-3)

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549, Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2014) Programming the MIRTO robot with neurons. Procedia Computer Science, 41 . pp. 75-82. ISSN 1877-0509 [Article] (doi:10.1016/j.procs.2014.11.087)

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 [Article] (doi:10.1007/s13347-014-0169-4)

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 [Article] (doi:10.1007/s13347-014-0174-7)

Primiero, Giuseppe (2014) A taxonomy of errors for information systems. Minds and Machines, 24 (3) . pp. 249-273. ISSN 0924-6495 [Article] (doi:10.1007/s11023-013-9307-5)

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 [Article] (doi:10.1016/j.entcs.2013.12.012)

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 [Article] (doi:10.1016/j.jal.2011.12.002)

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 [Article] (doi:10.1080/01445340902872630)

Primiero, Giuseppe (2009) An epistemic logic for becoming informed. Synthese, 167 (2) . pp. 363-389. ISSN 0039-7857 [Article] (doi:10.1007/s11229-008-9413-8)

Book Section

Allo, Patrick and Primiero, Giuseppe (2019) Annotated natural deduction for adaptive reasoning. In: Graham Priest on Dialetheism and Paraconsistency. Baskent, Can and Ferguson, Thomas, eds. Outstanding Contributions in Logic, 18 . Springer, pp. 409-437. ISBN 9783030253646, e-ISBN 9783030253653. [Book Section] (doi:10.1007/978-3-030-25365-3_19)

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. [Book Section]

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. [Book Section] (doi:10.1007/978-3-319-15368-1_26)

Primiero, Giuseppe (2014) Algorithmic check of standards for information quality dimensions. In: The philosophy of information quality. Floridi, Luciano and Illari, Phyllis, eds. Synthese Library (358) . Springer, pp. 107-134. ISBN 9783319071206. [Book Section] (doi:10.1007/978-3-319-07121-3_7)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder and Primiero, Giuseppe (2014) 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. . [Book Section] (Accepted/In press)

Conference or Workshop Item

Bottone, Michele ORCID: https://orcid.org/0009-0008-2515-4184, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Primiero, Giuseppe (2018) Multi-agent based simulations of block-free distributed ledgers. 2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA). In: The 32nd IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA), 16-18 May 2018, Krakow, Poland. ISBN 9781538653951. [Conference or Workshop Item] (doi:10.1109/WAINA.2018.00149)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele ORCID: https://orcid.org/0009-0008-2515-4184, Currie, Edward ORCID: https://orcid.org/0000-0003-1186-5547, El-Aroussi, Inas, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Gheri, Lorenzo, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Heeney, Michael, Micheletti, Matteo, Loomes, Martin J., Margolis, Michael, Petridis, Miltos, Piermarteri, Andrea, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. ECSEE'18: Proceedings of the 3rd European Conference of Software Engineering Education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany. ISBN 9781450363839. [Conference or Workshop Item] (doi:10.1145/3209087.3209106)

Martorana, Agostino, Primiero, Giuseppe and Tagliabue, Jacopo (2018) Simulation of a trust and reputation based mitigation protocol for a black hole style attack on VANETs. 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). In: 2018 IEEE European Symposium on Security and Privacy Workshops - S4CIP’18: 3rd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 27 Apr 2018, London, United Kingdom. ISBN 9781538654453. [Conference or Workshop Item] (doi:10.1109/EuroSPW.2018.00025)

Primiero, Giuseppe and Boender, Jaap (2017) Managing software uninstall with negative trust. Trust Management XI: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, Gothenburg, Sweden, June 12-16, 2017, Proceedings. In: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, 12-16 Jun 2017, Gothenburg, Sweden. ISBN 9783319591704. ISSN 1868-4238 [Conference or Workshop Item] (doi:10.1007/978-3-319-59171-1_7)

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Chen, Taolue and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2017) A proof-theoretic trust and reputation model for VANET. 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France. ISBN 9781538622445. [Conference or Workshop Item] (doi:10.1109/EuroSPW.2017.64)

Primiero, Giuseppe, Bottone, Michele ORCID: https://orcid.org/0009-0008-2515-4184, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Tagliabue, Jacopo (2016) Contradictory information flow in networks with trust and distrust. Complex Networks & Their Applications V: Proceedings of the 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016). In: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016), 01-06 Dec 2016, Milan. ISBN 9783319509006. ISSN 1860-949X [Conference or Workshop Item] (doi:10.1007/978-3-319-50901-3_29)

Boender, Jaap, Currie, Edward ORCID: https://orcid.org/0000-0003-1186-5547, Loomes, Martin J., Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2016) Teaching functional patterns through robotic applications. Proceedings 4th and 5th International Workshop on Trends in Functional Programming in Education (TFPIE 2015/6) (Electronic Proceedings in Theoretical Computer Science, Vol 230). In: The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, 02 Jun 2015, Sophia-Antipolis, France. . ISSN 2075-2180 [Conference or Workshop Item] (doi:10.4204/EPTCS.230.2)

Bottone, Michele ORCID: https://orcid.org/0009-0008-2515-4184, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and De Florio, Vincenzo (2016) A model for trustworthy orchestration in the internet of things. 2016 12th International Conference on Intelligent Environments (IE). In: 2016 12th International Conference on Intelligent Environments (IE), 14-16 Sept 2016, London, United Kingdom. ISBN 9781509040568. ISSN 2472-7571 [Conference or Workshop Item] (doi:10.1109/IE.2016.37)

Bottone, Michele ORCID: https://orcid.org/0009-0008-2515-4184, Palumbo, Filippo, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Stocker, Richard (2016) Implementing virtual pheromones in BDI robots using MQTT and Jason. 2016 5th IEEE International Conference on Cloud Networking (Cloudnet). In: 2016 5th IEEE International Conference on Cloud Networking (Cloudnet), 03-05 Oct 2016, Pisa, Italy. ISBN 9781509050932. [Conference or Workshop Item] (doi:10.1109/CloudNet.2016.22)

Bottone, Michele ORCID: https://orcid.org/0009-0008-2515-4184, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) From raw data to agent perceptions for simulation, verification, and monitoring. Intelligent Environments 2016 - Workshop Proceedings of the 12th International Conference on Intelligent Environments. 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. ISBN 9781614996897. [Conference or Workshop Item] (doi:10.3233/978-1-61499-690-3-66)

Primiero, Giuseppe (2016) A calculus for distrust and mistrust. Trust Management X: 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings. In: Tenth IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2016, 18-22 Jul 2016, Darmstadt, Germany. ISBN 9783319413532. ISSN 1868-4238 [Conference or Workshop Item] (doi:10.1007/978-3-319-41354-9_15)

Boender, Jaap, Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Minimizing transitive trust threats in software management systems. 2015 13th Annual Conference on Privacy, Security and Trust (PST). In: 13th Annual Conference on Privacy, Security and Trust (PST 2015), 21-23 Jul 2015, Izmir, Turkey. ISBN 9781467378284. [Conference or Workshop Item] (doi:10.1109/PST.2015.7232973)

De Florio, Vincenzo and Primiero, Giuseppe (2015) A framework for trustworthiness assessment based on fidelity in cyber and physical domains. Procedia Computer Science, Volume 52. In: 2nd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE 2015), 2-5 Jun 2015, London, UK. . ISSN 1877-0509 [Conference or Workshop Item] (doi:10.1016/j.procs.2015.05.092)

Bordoni, Mirco, Bottone, Michele ORCID: https://orcid.org/0009-0008-2515-4184, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Margolis, Michael, Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Towards cyber-physical systems as services: the ASIP protocol. 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems. In: 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 17-17 May 2015, Florence, Italy. ISBN 9781467370882. [Conference or Workshop Item] (doi:10.1109/SEsCPS.2015.18)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Primiero, Giuseppe and Barn, Ravinder (2015) An approach to early evaluation of informational privacy requirements. SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing. In: 30th ACM Symposium on Applied Computing 2015, 13-17 Apr 2015, Salamanca, Spain. ISBN 9781450331968. [Conference or Workshop Item] (doi:10.1145/2695664.2695788)

Boender, Jaap, Ivanova, Marieta Georgieva, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). In: 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014), 18 Jul 2014, Vienna, Austria. ISBN 9781479979011. [Conference or Workshop Item] (doi:10.1109/STAST.2014.13)

Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Ivanova, Marieta Georgieva and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). In: 4th Workshop on Socio-Technical Aspects in Security and Trust, 18 July 2014, Vienna Technical University, Vienna, Austria. . [Conference or Workshop Item]

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. AAMAS '14: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems. In: AAMAS 2014: 13th International Conference on Autonomous Agents and Multiagent Systems, 05-09 May 2014, Paris, France. ISBN 9781450327381. [Conference or Workshop Item]

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Loomes, Martin J., Margolis, M., Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Varsani, Puja, Weldin, N. and Zivanovic, Aleksandar ORCID: https://orcid.org/0000-0003-3354-754X (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France. . [Conference or Workshop Item]

Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2014) A typed natural deduction calculus to reason about secure trust. 2014 Twelfth Annual International Conference on Privacy, Security and Trust (PST). In: 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST), 23-24 Jul 2014, Toronto, Canada. ISBN 9781479935024. [Conference or Workshop Item] (doi:10.1109/PST.2014.6890963)