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

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

Article

Primiero, Giuseppe and Boender, Jaap (2018) Negative trust for conflict resolution in software management. Web Intelligence, 16 (4). pp. 251-271. ISSN 2405-6456 (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 (doi:10.1093/logcom/exy012)

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

Primiero, Giuseppe, Raimondi, Franco, Bottone, Michele and Tagliabue, Jacopo (2017) Trust and distrust in contradictory information transmission. Applied Network Science, 2 (1). ISSN 2364-8228 (doi:10.1007/s41109-017-0029-0)

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

Primiero, Giuseppe and Laszlo, Kosolosky (2016) The semantics of untrustworthiness. Topoi, 35 (1). ISSN 0167-7411 (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 (doi:10.1080/01445340.2015.1084183)

Primiero, Giuseppe and Raimondi, Franco (2015) Software theory change for resilient near-complete specifications. Procedia Computer Science, 52 . pp. 988-995. ISSN 1877-0509 (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 1573-0964 (doi:10.1007/s11229-014-0610-3)

Huyck, Christian R., Primiero, Giuseppe and Raimondi, Franco (2014) Programming the MIRTO robot with neurons. Procedia Computer Science, 41 . pp. 75-82. ISSN 1877-0509 (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 (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 (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 (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 (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 (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 (doi:10.1080/01445340902872630)

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

Book Section

Allo, Patrick and Primiero, Giuseppe (2018) Annotated natural deduction for adaptive reasoning. In: Graham Priest on Dialetheism and Paraconsistency. Baskent, Can and Ferguson, Thomas, eds. Outstanding Contributions in Logic . Springer. . (Accepted/In press)

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. 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. 9783319153674. (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. 9783319071206. (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. . (Accepted/In press)

Conference or Workshop Item

Bottone, Michele, Raimondi, Franco and Primiero, Giuseppe (2018) Multi-agent based simulations of block-free distributed ledgers. In: The 32nd IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA), 16-18 May 2018, Krakow, Poland. (doi:10.1109/WAINA.2018.00149)

Androutsopoulos, Kelly, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward, El-Aroussi, Inas, Fields, Bob, Gheri, Lorenzo, Gorogiannis, Nikos, Heeney, Michael, Micheletti, Matteo, Loomes, Martin J., Margolis, Michael, Petridis, Miltos, Piermarteri, Andrea, Primiero, Giuseppe, Raimondi, Franco and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany. (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. 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. (doi:10.1109/EuroSPW.2018.00025)

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. (doi:10.1007/978-3-319-59171-1_7)

Primiero, Giuseppe, Raimondi, Franco, 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. (doi:10.1109/EuroSPW.2017.64)

Primiero, Giuseppe, Bottone, Michele, 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. (doi:10.1007/978-3-319-50901-3_29)

Boender, Jaap, Currie, Edward, Loomes, Martin J., Primiero, Giuseppe and Raimondi, Franco (2016) Teaching functional patterns through robotic applications. In: The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, 02 Jun 2015, Sophia-Antipolis, France. (doi:10.4204/EPTCS.230.2)

Bottone, Michele, Primiero, Giuseppe, 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. (doi:10.1109/IE.2016.37)

Bottone, Michele, Palumbo, Filippo, Primiero, Giuseppe, 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. (doi:10.1109/CloudNet.2016.22)

Bottone, Michele, Primiero, Giuseppe, 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. (doi:10.3233/978-1-61499-690-3-66)

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. (doi:10.1007/978-3-319-41354-9_15)

Boender, Jaap, 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. (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. In: 2nd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE 2015), 2-5 Jun 2015, London, UK. (doi:10.1016/j.procs.2015.05.092)

Bordoni, Mirco, Bottone, Michele, Fields, Bob, Gorogiannis, Nikos, Margolis, Michael, 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. (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. In: 30th ACM Symposium on Applied Computing 2015, 13-17 Apr 2015, Salamanca, Spain. (doi:10.1145/2695664.2695788)

Boender, Jaap, Ivanova, Marieta Georgieva, 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. (doi:10.1109/STAST.2014.13)

Boender, Jaap, Kammueller, Florian, 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, 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.

Androutsopoulos, Kelly, Gorogiannis, Nikos, Loomes, Martin J., Margolis, M., Primiero, Giuseppe, Raimondi, Franco, Varsani, Puja, 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. (doi:10.1109/PST.2014.6890963)

This list was generated on Thu Nov 14 05:18:35 2019 GMT.