Pietro Sala

About Pietro Sala

Pietro Sala, With an exceptional h-index of 20 and a recent h-index of 11 (since 2020), a distinguished researcher at Università degli Studi di Verona, specializes in the field of Temporal Logics, Temporal Databases, Computational Complexity, Program Synthesis, Model Checking.

His recent articles reflect a diverse array of research interests and contributions to the field:

FROM RESECTION TO RESTORATION: ASSESING THE SYNERGY OF POLYPROPYLENE MESH (MARLEX®) COMBINED TO METHYL-METHACRYLATE AND LATISSIMUS DORSI FLAP FOR PRIMARY CHEST WALL SARCOMAS

Postmastectomy dual-plane submuscular–subcutaneous implant-based reconstruction: a series of 100 consecutive patients

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete

The Logic of Prefixes and Suffixes is Elementary under Homogeneity*

An interval temporal logic characterization of extended ω-regular languages

Postmastectomy breast reconstruction for women with hereditary gastric and breast cancer syndrome

Discovering Predictive Dependencies on Multi-Temporal Relations

Reactive synthesis from interval temporal logic specifications

Pietro Sala Information

University

Position

Temporary Assistant Professor in Computer Science

Citations(all)

1349

Citations(since 2020)

430

Cited By

908

hIndex(all)

20

hIndex(since 2020)

11

i10Index(all)

46

i10Index(since 2020)

13

Email

University Profile Page

Google Scholar

Pietro Sala Skills & Research Interests

Temporal Logics

Temporal Databases

Computational Complexity

Program Synthesis

Model Checking

Top articles of Pietro Sala

FROM RESECTION TO RESTORATION: ASSESING THE SYNERGY OF POLYPROPYLENE MESH (MARLEX®) COMBINED TO METHYL-METHACRYLATE AND LATISSIMUS DORSI FLAP FOR PRIMARY CHEST WALL SARCOMAS

Journal of Plastic, Reconstructive & Aesthetic Surgery

2024/4/15

Pietro Sala
Pietro Sala

H-Index: 11

Postmastectomy dual-plane submuscular–subcutaneous implant-based reconstruction: a series of 100 consecutive patients

Updates in Surgery

2024/4

Pietro Sala
Pietro Sala

H-Index: 11

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete

Logical Methods in Computer Science

2024/3/22

Angelo Montanari
Angelo Montanari

H-Index: 18

Pietro Sala
Pietro Sala

H-Index: 11

The Logic of Prefixes and Suffixes is Elementary under Homogeneity*

2023/6/26

An interval temporal logic characterization of extended ω-regular languages

Theoretical Computer Science

2023/6/22

Postmastectomy breast reconstruction for women with hereditary gastric and breast cancer syndrome

European Journal of Cancer Prevention

2023/3/1

Pietro Sala
Pietro Sala

H-Index: 11

Discovering Predictive Dependencies on Multi-Temporal Relations

2023

Reactive synthesis from interval temporal logic specifications

Theoretical Computer Science

2022/1/6

Angelo Montanari
Angelo Montanari

H-Index: 18

Pietro Sala
Pietro Sala

H-Index: 11

TEDAR: Temporal dynamic signal detection of adverse reactions

Artificial Intelligence in Medicine

2021/12/1

Pietro Sala
Pietro Sala

H-Index: 11

Adding the relation meets to the temporal logic of prefixes and infixes makes it EXPSPACE-complete

arXiv preprint arXiv:2109.08320

2021/9/17

Angelo Montanari
Angelo Montanari

H-Index: 18

Pietro Sala
Pietro Sala

H-Index: 11

Multistage latissimus dorsi flap with implant for complex post-mastectomy reconstruction: an old but still current technique

Breast Care

2021/8/24

Pietro Sala
Pietro Sala

H-Index: 11

On the early detection of Sepsis in MIMIC-III

2021/8/9

Pietro Sala
Pietro Sala

H-Index: 11

Pspace-completeness of the temporal logic of sub-intervals and suffixes

2021

Angelo Montanari
Angelo Montanari

H-Index: 18

Pietro Sala
Pietro Sala

H-Index: 11

Extended ω-Regular Languages and Interval Temporal Logic

CEUR WORKSHOP PROCEEDINGS

2021

Checking sets of pure evolving association rules

Fundamenta Informaticae

2021/1/1

Immediate breast reconstruction with latissimus dorsi flap for patients with local recurrence of breast cancer

European Journal of Surgical Oncology

2020/6/1

Discovering evolving temporal information: Theory and application to clinical databases

SN Computer Science

2020/5

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

Theoretical Computer Science

2020/4/12

On a temporal logic of prefixes and infixes

2020

Angelo Montanari
Angelo Montanari

H-Index: 18

Pietro Sala
Pietro Sala

H-Index: 11

See List of Professors in Pietro Sala University(Università degli Studi di Verona)