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

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

Primiero, Giuseppe (2017) Algorithmic iteration for computational intelligence. Minds and Machines, 27 (3). pp. 521-543. ISSN 0924-6495

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

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

Primiero, Giuseppe and Laszlo, Kosolosky (2016) The semantics of untrustworthiness. Topoi, 35 (1). ISSN 0167-7411

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

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

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

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

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 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

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. 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. Synthese Library (358). Springer, pp. 107-134. ISBN 9783319071206

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.

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.

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.

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, 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.

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.

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.

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.

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.

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.

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, 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, 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.

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.

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.

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.

This list was generated on Mon Sep 16 04:53:46 2019 BST.