-
Article
Open AccessCausal analysis of positive Reaction Systems
Cause/effect analysis of complex systems is instrumental in better understanding many natural phenomena. Moreover, formal analysis requires the availability of suitable abstract computational models that someh...
-
Article
Open AccessA framework for monitored dynamic slicing of reaction systems
Reaction systems (RSs) are a computational framework inspired by biochemical mechanisms. A RS defines a finite set of reactions over a finite set of entities. Typically each reaction has a local scope, because...
-
Article
The role of immersive technologies in cultural contexts: future challenges from the literature
Immersive technologies, including augmented reality, virtual reality, and mixed reality, are gaining popularity in the field of museums and cultural contexts. These technologies offer new opportunities to enha...
-
Article
How the metaverse influences marketing and competitive advantage of retailers: predictions and key marketing research priorities
Retail is one of the sectors that Metaverse will strongly implicate. Given the hypothetical convergence of physical and the Metaverse shop** experiences, retailers in grocery segment must identify and foreca...
-
Article
Open AccessQuantitative extensions of reaction systems based on SOS semantics
Reaction systems (RSs) are a successful natural computing framework inspired by chemical reaction networks. A RS consists of a set of entities and a set of reactions. Entities can enable or inhibit each reacti...
-
Chapter and Conference Paper
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
Reaction Systems (RSs) are a successful computational framework inspired by biological systems. RSs can involve a large number of reactions and entities, which makes it difficult the debugging of quite long co...
-
Chapter and Conference Paper
Exploiting Adjoints in Property Directed Reachability Analysis
We formulate, in lattice-theoretic terms, two novel algorithms inspired by Bradley’s property directed reachability algorithm. For finding safe invariants or counterexamples, the first algorithm exploits over-...
-
Chapter
Verification of Reaction Systems Processes
Reaction Systems (RSs) are a computational framework inspired by biological systems. A RS is formed by a set of entities together with a set of reactions over them. Entities can enable or inhibit each reaction...
-
Chapter
Local Completeness in Abstract Interpretation
Completeness of an abstract interpretation is an ideal situation where the abstract interpreter is guaranteed to be compositional and producing no false alarm when used for verifying program correctness. Compl...
-
Chapter and Conference Paper
Logics for Extensional, Locally Complete Analysis via Domain Refinements
Abstract interpretation is a framework to design sound static analyses by over-approximating the set of program behaviours. While over-approximations can prove correctness, they cannot witness incorrectness be...
-
Chapter and Conference Paper
Deciding Program Properties via Complete Abstractions on Bounded Domains
Abstract interpretation provides an over-approximation of program behaviours that is used to prove the absence of bugs. When the computed approximation in the chosen abstract domain is as precise as possible, ...
-
Chapter
Exploring Augmented Reality Applications for Sustainable Retailing
Many transformations have affected the retail scenario in the last few years. Digitalization and sustainability are the main challenges to consider for the further development of retailing. From the assumption...
-
Chapter and Conference Paper
Limits and difficulties in the design of under-approximation abstract domains
Static analyses are mostly designed to show the absence of bugs: if the analysis reports no alarms then the program won’t exhibit any unwanted behaviours. To this aim they manipulate over-approximations of progra...
-
Chapter and Conference Paper
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
Reaction Systems (RSs) are a successful natural computing framework inspired by chemical reaction networks. A RS consists of a set of entities and a set of reactions. Entities can enable or inhibit each reacti...
-
Chapter
Applying Augmented Reality in the Italian Food and Dining Industry: Cultural Heritage Perspectives
This chapter explores the intention to use Augmented Reality (AR) technology within dining experiences and activities in the Italian food and dining industry by focusing on cultural heritage perspectives. Six ...
-
Chapter and Conference Paper
SOS Rules for Equivalences of Reaction Systems
Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS combines a set of entities with a set of reactions over them. Entities can be provided by an external contex...
-
Article
Open AccessRetrospective analysis of acute HBV infections occurred in 1978–79 and 1994–95 in North-East Italy: increasing prevalence of BCP/pre-core mutants in sub-genotype D3
At the end of the 1970s, in Italy more than 2% of the general population was HBsAg carrier. In the late ‘70s and late ‘80s, two remarkable events might have impacted on HBV strains transmitted in North-East It...
-
Chapter and Conference Paper
Algebras for Tree Decomposable Graphs
Complex problems can be sometimes solved efficiently via recursive decomposition strategies. In this line, the tree decomposition approach equips problems modelled as graphs with tree-like parsing structures. Fo...
-
Chapter
Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems
The personal contacts of the first author with Carl Adam Petri and Petri nets are initially described and the role of Petri nets as a connector algebra is then examined.
-
Chapter
Enhancing Reaction Systems: A Process Algebraic Approach
In the area of Natural Computing, reaction systems are a qualitative abstraction inspired by the functioning of living cells, suitable to model the main mechanisms of biochemical reactions. This model has alre...
