ANGIUS, Nicola

ANGIUS, Nicola  

Dipartimento di Scienze cognitive, psicologiche, pedagogiche e degli studi culturali  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.076 secondi).
Titolo Data di pubblicazione Autore(i) File
Abstraction and idealization in the formal verification of software systems 1-gen-2013 Angius, Nicola
Building and Integrating Semantic Theories over Institutions. 1-gen-2017 Angius, Nicola; Dimarogkona, Maria; Stefaneas, Petros
Can Computer Programs be Formally Verified? 1-gen-2023 Angius, Nicola
Central Themes and Open Questions in the Philosophy of Computer Science 1-gen-2023 Angius, N; Symons, J
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper 1-gen-2014 Angius, Nicola
Computer simulations without simulative programs in executable cell biology: hypothesis discovery and justification 1-gen-2015 Angius, Nicola
Copying Safety and Liveness Properties of Computational Artefacts. 1-gen-2022 Angius, Nicola; Primiero, Giuseppe
Dai programmi simulativi come teorie alle teorie dei programmi simulativi 1-gen-2016 Angius, Nicola; Tamburrini, Guglielmo
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach 1-gen-2016 Angius, Nicola; Stefaneas, Petros
Epistemologia dell’artificiale e informatica teorica 1-gen-2010 Angius, Nicola; Tamburrini, Guglielmo
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization 1-gen-2017 Angius, Nicola; Tamburrini, Guglielmo
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning. 1-gen-2023 Angius, Nicola; Plebe, Alessio
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions 1-gen-2020 Angius, Nicola; Primiero, Giuseppe
Model-based abductive reasoning in automated software testing 1-gen-2013 Angius, Nicola
On the Experimental Foundation of Computing 1-gen-2022 Angius, Nicola
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification 1-gen-2020 Angius, Nicola
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation 1-gen-2019 Angius, Nicola
Scientific theories of computational systems in model checking 1-gen-2011 Angius, Nicola; Tamburrini, Guglielmo
Software Verification and Scientific Methodology: Models, Regularities, Idealizations 1-gen-2011 Angius, Nicola
The logic of identity and copy for computational artefacts 1-gen-2018 Angius, Nicola; Primiero, Giuseppe