E-LIB Suche - Ergebnisse für: Sala, Pietro

1

Resection to restoration: Assessing the synergy of polyprop..:

Palmesano, Marco ; Lisa, Andrea ; Storti, Gabriele...
Journal of Plastic, Reconstructive & Aesthetic Surgery. 93 (2024) - p. 157-162 , 2024

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

2

Enhancing Coronary Artery Disease Classification Using Opti..:

, In: Artificial Intelligence for Neuroscience and Emotional Systems; Lecture Notes in Computer Science,

Hashemi, Mohammad ; Komamardakhi, Seyedeh Somayeh Salehi ; Maftoun, Mohammad... - p. 108-117 , 2024

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

3

The Logic of Prefixes and Suffixes is Elementary under Homo..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Monica, Dario Della ; Montanari, Angelo ; Puppis, Gabriele. - p. 1-12 , 2023

Link: https://doi.org/10.1109/..

4

Postmastectomy dual-plane submuscular–subcutaneous implant-..:

De Lorenzi, Francesca ; Sala, Pietro ; Catapano, Simone...
Updates in Surgery. 76 (2023) 2 - p. 613-621 , 2023

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

5

Pspace-completeness of the temporal logic of sub-intervals ..:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano.
Information and Computation. 294 (2023) - p. 105083 , 2023

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

6

An interval temporal logic characterization of extended ω-r..:

Della Monica, Dario ; Montanari, Angelo ; Sala, Pietro
Theoretical Computer Science. 962 (2023) - p. 113929 , 2023

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

7

Reactive synthesis from interval temporal logic specificati..:

Montanari, Angelo ; Sala, Pietro
Theoretical Computer Science. 899 (2022) - p. 48-79 , 2022

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

8

Satisfiability and Model Checking for the Logic of Sub-Inte..:

Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo..
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

9

TEDAR: Temporal dynamic signal detection of adverse reactio..:

Aparo, Antonino ; Sala, Pietro ; Bonnici, Vincenzo.
Artificial Intelligence in Medicine. 122 (2021) - p. 102212 , 2021

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

10

Beyond ω-regular languages: ωT-regular expressions and thei..:

Barozzini, David ; de Frutos-Escrig, David ; Della Monica, Dario..
Theoretical Computer Science. 813 (2020) - p. 270-304 , 2020

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

11

Discovering Evolving Temporal Information: Theory and Appli..:

Sala, Pietro ; Combi, Carlo ; Mantovani, Matteo.
SN Computer Science. 1 (2020) 3 - p. , 2020

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

12

On coarser interval temporal logics:

Muñoz-Velasco, Emilio ; Pelegrín, Mercedes ; Sala, Pietro..
Artificial Intelligence. 266 (2019) - p. 1-26 , 2019

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

13

Which fragments of the interval temporal logic HS are tract..:

Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo..
Theoretical Computer Science. 764 (2019) - p. 125-144 , 2019

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

14

Lower Lip and Chin Reconstruction with Functional Myocutane..:

Spaggiari, Antonio ; Benanti, Elisa ; Starnoni, Marta...
Indian Journal of Plastic Surgery. 52 (2019) 2 - p. 242-245 , 2019

Link: https://doi.org/10.1055/..

15

Interval vs. Point Temporal Logic Model Checking : An Ex..:

Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo..
ACM Transactions on Computational Logic (TOCL). 20 (2018) 1 - p. 1-31 , 2018

Link: https://dl.acm.org/doi/1..