Giuseppe Primiero

From MaRDI portal
Person:310084

Available identifiers

zbMath Open primiero.giuseppeDBLP60/5305WikidataQ93165662 ScholiaQ93165662MaRDI QIDQ310084

List of research outcomes





PublicationDate of PublicationType
Hyperintensions for probabilistic computations2024-09-06Paper
A possible worlds semantics for trustworthy non-deterministic computations2024-09-02Paper
A theory of change for prioritised resilient and evolvable software systems2023-12-14Paper
Copying safety and liveness properties of computational artefacts2023-08-03Paper
https://portal.mardi4nfdi.de/entity/Q50391012022-10-12Paper
A logic for biassed information diffusion by paranoid agents in social networks2022-09-08Paper
Modelling accuracy and trustworthiness of explaining agents2022-06-24Paper
A multi-agent depth bounded Boolean logic2021-10-18Paper
Robust Model Checking with Imprecise Markov Reward Models2021-03-08Paper
Annotated Natural Deduction for Adaptive Reasoning2020-08-10Paper
On the Foundations of Computing2020-02-11Paper
A logic of efficient and optimal designs2020-01-29Paper
The logic of identity and copy for computational artefacts2019-01-31Paper
The semantics of untrustworthiness2018-03-23Paper
Realist Consequence, Epistemic Inference, Computational Correctness2017-08-28Paper
A computationally grounded, weighted doxastic logic2016-09-07Paper
https://portal.mardi4nfdi.de/entity/Q49258712013-06-12Paper
Alleged Assassins: Realist and Constructivist Semantics for Modal Modification2013-04-12Paper
Type-Theoretical Dynamics2012-08-29Paper
A modal type theory for formalizing trusted communications2012-05-23Paper
https://portal.mardi4nfdi.de/entity/Q31011062011-11-22Paper
https://portal.mardi4nfdi.de/entity/Q30867192011-03-30Paper
Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information2010-01-29Paper
An epistemic logic for becoming informed2009-08-11Paper
Majority merging by adaptive counting2009-06-16Paper
https://portal.mardi4nfdi.de/entity/Q54464402008-03-06Paper
Information and knowledge. A constructive type-theoretical approach2007-12-10Paper

Research outcomes over time

This page was built for person: Giuseppe Primiero