E-LIB Suche - Ergebnisse für: Bruni, Roberto L.

1

Causal analysis of positive Reaction Systems:

Brodo, Linda ; Bruni, Roberto ; Falaschi, Moreno...
International Journal on Software Tools for Technology Transfer. , 2024

Link: https://doi.org/10.1007/..

2

The role of immersive technologies in cultural contexts: fu..:

Colamatteo, Annarita ; Sansone, Marcello ; Pagnanelli, Maria Anna.
Italian Journal of Marketing. 2024 (2024) 1 - p. 113-142 , 2024

Link: https://doi.org/10.1007/..

3

A framework for monitored dynamic slicing of reaction syste..:

Brodo, Linda ; Bruni, Roberto ; Falaschi, Moreno
Natural Computing. 23 (2024) 2 - p. 217-234 , 2024

Link: https://doi.org/10.1007/..

4

Melding Boolean networks and reaction systems under synchro..:

Bruni, Roberto ; Gori, Roberta ; Milazzo, Paolo.
Natural Computing. 23 (2024) 2 - p. 235-267 , 2024

Link: https://doi.org/10.1007/..

5

Limits and Difficulties in the Design of Under-Approximatio..:

Ascari, Flavio ; Bruni, Roberto ; Gori, Roberta
ACM Transactions on Programming Languages and Systems. , 2024

Link: https://doi.org/10.1145/..

6

Chronic inflammatory demyelinating polyneuropathy and HEV a..:

Moret, Federica ; Spada, Enea ; Ceccanti, Marco...
Journal of the Neurological Sciences. 459 (2024) - p. 122959 , 2024

Link: https://doi.org/10.1016/..

7

Local Completeness in Abstract Interpretation:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,

Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta. - p. 145-156 , 2023

Link: https://doi.org/10.1007/..

8

Characterization of SARS-CoV-2 Variants in Military and Civ..:

Equestre, Michele ; Marcantonio, Cinzia ; Marascio, Nadia...
Microorganisms. 11 (2023) 11 - p. 2711 , 2023

Link: https://doi.org/10.3390/..

9

Age and Gender Trends in the Prevalence of Markers for Hepa..:

Golkocheva-Markova, Elitsa ; Ismailova, Chiydem ; Kevorkyan, Ani...
Life. 13 (2023) 6 - p. 1345 , 2023

Link: https://doi.org/10.3390/..

10

Exploiting Adjoints in Property Directed Reachability Analy..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Kori, Mayuko ; Ascari, Flavio ; Bonchi, Filippo... - p. 41-63 , 2023

Link: https://doi.org/10.1007/..

11

Dynamic Slicing of Reaction Systems Based on Assertions and..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Brodo, Linda ; Bruni, Roberto ; Falaschi, Moreno - p. 107-124 , 2023

Link: https://doi.org/10.1007/..

12

Molecular Characterization and Cluster Analysis of SARS-CoV..:

Marascio, Nadia ; Cilburunoglu, Merve ; Torun, Elif Gulsum...
Viruses. 15 (2023) 3 - p. 802 , 2023

Link: https://doi.org/10.3390/..

13

Logics for Extensional, Locally Complete Analysis via Domai..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Ascari, Flavio ; Bruni, Roberto ; Gori, Roberta - p. 1-27 , 2023

Link: https://doi.org/10.1007/..

14

Three drivers for cities development: A focus on start-up c..:

Tregua, Marco ; Bruni, Roberto ; Carrubbo, L..
ITM Web of Conferences. 51 (2023) - p. 04004 , 2023

Link: https://doi.org/10.1051/..

15

How the metaverse influences marketing and competitive adva..:

Bruni, Roberto ; Colamatteo, Annarita ; Mladenović, Dušan
Electronic Commerce Research. 24 (2023) 2 - p. 965-982 , 2023

Link: https://doi.org/10.1007/..