I agree that this site is using cookies. You can find further informations here.
X
Sala, Pietro
527  results:
OpenAccess-fulltext X
Search for persons X
?
1

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

Della Monica, Dario ; Montanari, Angelo ; Puppis, Gabriele.
http://arxiv.org/abs/2304.11483.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Multistage Latissimus Dorsi Flap with Implant for Complex P..:

De Lorenzi, Francesca ; Borelli, Francesco ; Sala, Pietro...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8436649/.  , 2021
Link: http://www.ncbi.nlm.nih...
 
?
3

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

Aparo Antonino ; Sala Pietro ; Bonnici Vincenzo.
info:eu-repo/semantics/altIdentifier/pmid/34823837.  , 2021
Link: http://hdl.handle.net/11..
 
?
4

Adding the Relation Meets to the Temporal Logic of Prefixes..:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano.
http://arxiv.org/abs/2109.08320.  , 2021
Link: http://arxiv.org/abs/210..
 
?
5

Pspace-Completeness of the Temporal Logic of Sub-Intervals ..:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano.
doi:10.4230/LIPIcs.TIME.2021.9.  , 2021
Link: https://doi.org/10.4230/..
 
?
6

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

Barozzini, David ; Frutos Escrig, David de ; Della Monica, Dario..
Marie Curie INdAM-COFUND-2012 Outgoing Fellowship.  , 2020
Link: https://hdl.handle.net/2..
 
?
7

Discovering Evolving Temporal Information: Theory and Appli..:

Sala, Pietro ; Combi, Carlo ; Mantovani, Matteo.
volume:1.  , 2020
Link: http://hdl.handle.net/11..
 
?
8

On a Temporal Logic of Prefixes and Infixes:

Bozzelli, Laura ; Montanari, Angelo ; Peron, Adriano.
doi:10.4230/LIPIcs.MFCS.2020.21.  , 2020
Link: https://doi.org/10.4230/..
 
?
9

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

Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo..
http://arxiv.org/abs/2006.04652.  , 2020
Link: http://arxiv.org/abs/200..
 
?
10

Interval vs. Point Temporal Logic Model Checking: an Expres..:

Bozzelli Laura ; Molinari Alberto ; Montanari Angelo..
info:eu-repo/semantics/altIdentifier/wos/WOS:000457990100004.  , 2019
Link: http://hdl.handle.net/11..
 
?
11

Customizing BPMN Diagrams Using Timelines:

Combi, Carlo ; Oliboni, Barbara ; Sala, Pietro
doi:10.4230/LIPIcs.TIME.2019.5.  , 2019
Link: https://doi.org/10.4230/..
 
?
12

Decidability and complexity of the fragments of the modal l..:

Bresolin, Davide ; Della Monica, Dario ; Montanari, Angelo..
info:eu-repo/semantics/altIdentifier/wos/WOS:000465493500006.  , 2019
Link: http://hdl.handle.net/11..
 
?
13

Model Checking for Fragments of the Interval Temporal Logic..:

bozzelli laura ; molinari alberto ; montanari angelo..
info:eu-repo/semantics/altIdentifier/wos/WOS:000445637300004.  , 2018
Link: http://hdl.handle.net/11..
 
?
14

Which Fragments of the Interval Temporal Logic HS are Tract..:

Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo..
info:eu-repo/semantics/altIdentifier/wos/WOS:000463124000009.  , 2018
Link: http://hdl.handle.net/11..
 
?
15

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

Bozzelli, Laura ; Molinari, Alberto ; Montanari, Angelo..
doi:10.4230/LIPIcs.ICALP.2017.120.  , 2017
Link: https://doi.org/10.4230/..
 
1-15