Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bruni, Roberto
662  Ergebnisse:
Personensuche X
?
1

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/..
 
?
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

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/..
 
?
4

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/..
 
?
5

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

Brodo, Linda ; Bruni, Roberto ; Falaschi, Moreno
Natural Computing.  , 2024
Link: https://doi.org/10.1007/..
 
?
6

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/..
 
?
7

Verification of Reaction Systems Processes:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,
Brodo, Linda ; Bruni, Roberto ; Falaschi, Moreno - p. 243-264 , 2023
Link: https://doi.org/10.1007/..
 
?
8

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/..
 
?
9

A Correctness and Incorrectness Program Logic:

Bruni, Roberto ; Giacobazzi, Roberto ; Gori, Roberta.
Journal of the ACM.  70 (2023)  2 - p. 1-45 , 2023
Link: https://doi.org/10.1145/..
 
?
10

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/..
 
?
11

Quantitative extensions of reaction systems based on SOS se..:

Brodo, Linda ; Bruni, Roberto ; Falaschi, Moreno...
Neural Computing and Applications.  35 (2023)  9 - p. 6335-6359 , 2023
Link: https://doi.org/10.1007/..
 
?
12

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/..
 
?
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

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/..
 
?
15

Defining the Metaverse with challenges and opportunities in..:

Bruni, Roberto ; Piccarozzi, Michela ; Caboni, Federica
Journal of Marketing Theory and Practice.  , 2023
Link: https://doi.org/10.1080/..
 
1-15