IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 86
Titolo Data di pubblicazione Autori Tipo File Abstract
Facing Computing as Technique: Towards a History and Philosophy of Computing 2014 Primiero G. + Article (author) -
Algorithmic Check of Standards for Information Quality Dimensions 2014 Primiero, Giuseppe Book Part (author) -
A taxonomy of errors for information systems 2014 Primiero, G. Article (author) -
J-Calc : a Typed Lambda Calculus for Intuitionistic Justification Logic 2014 G. Primiero + Article (author) -
Modeling human behaviour with higher order logic: Insider threats 2014 G. Primiero + Book Part (author) -
A framework for trustworthiness assessment based on fidelity in cyber and physical domains 2015 G. Primiero + Article (author) -
Software theory change for resilient near-complete specifications 2015 Primiero, G. + Article (author) -
Realist Consequence, Epistemic Inference, Computational Correctness 2015 Primiero, Giuseppe Book Part (author) -
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science 2015 G. Primiero + Article (author) -
Minimizing transitive trust threats in software management systems 2015 G. Primiero + Book Part (author) -
An approach to early evaluation of informational privacy requirements 2015 G. Primiero + Book Part (author) -
Towards Cyber-physical Systems as Services: The ASIP Protocol 2015 G. Primiero + Book Part (author) -
On malfunctioning software 2015 G. Primiero + Article (author) -
Information in the Philosophy of Computer Science 2016 Primiero Book Part (author) -
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason 2016 G. Primiero + Book Part (author) -
A model for trustworthy orchestration in the internet of things 2016 G. Primiero + Book Part (author) -
Teaching functional patterns through robotic applications 2016 G. Primiero + Article (author) -
A Computationally Grounded, Weighted Doxastic Logic 2016 G. Primiero + Article (author) -
From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring 2016 Primiero Giuseppe + Book Part (author) -
The Semantics of Untrustworthiness 2016 Primiero, G. + Article (author) -
Mostrati risultati da 21 a 40 di 86
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile