ANGIUS, Nicola
ANGIUS, Nicola
Dipartimento di Scienze cognitive, psicologiche, pedagogiche e degli studi culturali
Abstraction and idealization in the formal verification of software systems
2013-01-01 Angius, Nicola
Building and Integrating Semantic Theories over Institutions.
2017-01-01 Angius, Nicola; Dimarogkona, Maria; Stefaneas, Petros
Can Computer Programs be Formally Verified?
2023-01-01 Angius, Nicola
Central Themes and Open Questions in the Philosophy of Computer Science
2023-01-01 Angius, N; Symons, J
Co-Simulations of Brain Language Processing using Neural Language Models.
2024-01-01 Angius, Nicola; Perconti, Pietro; Plebe, Alessio; Acciai, Alessandro
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper
2014-01-01 Angius, Nicola
Computer simulations without simulative programs in executable cell biology: hypothesis discovery and justification
2015-01-01 Angius, Nicola
Copying Safety and Liveness Properties of Computational Artefacts.
2023-01-01 Angius, Nicola; Primiero, Giuseppe
Dai programmi simulativi come teorie alle teorie dei programmi simulativi
2016-01-01 Angius, Nicola; Tamburrini, Guglielmo
Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach
2016-01-01 Angius, Nicola; Stefaneas, Petros
Epistemologia dell’artificiale e informatica teorica
2010-01-01 Angius, Nicola; Tamburrini, Guglielmo
Explaining engineered computing systems’ behaviour: the role of abstraction and idealization
2017-01-01 Angius, Nicola; Tamburrini, Guglielmo
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning.
2023-01-01 Angius, Nicola; Plebe, Alessio
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions
2020-01-01 Angius, Nicola; Primiero, Giuseppe
Model-based abductive reasoning in automated software testing
2013-01-01 Angius, Nicola
On the Experimental Foundation of Computing
2022-01-01 Angius, Nicola
On the Mutual Dependence Between Formal Methods and Empirical Testing in Program Verification
2020-01-01 Angius, Nicola
Qualitative models in computational simulative sciences: Representation, confirmation, experimentation
2019-01-01 Angius, Nicola
Scientific theories of computational systems in model checking
2011-01-01 Angius, Nicola; Tamburrini, Guglielmo
Software Verification and Scientific Methodology: Models, Regularities, Idealizations
2011-01-01 Angius, Nicola