CUFinder

Sarah Winkler

About Sarah Winkler

Sarah Winkler, With an exceptional h-index of 12 and a recent h-index of 8 (since 2020), a distinguished researcher at Libera Università di Bolzano, specializes in the field of automated reasoning, term rewriting, program analysis.

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

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata

Object-centric conformance alignments with synchronization (extended version)

Multi-perspective conformance checking of uncertain process traces: An SMT-based approach

Repairing soundness properties in data-aware processes

Equivalence of Data Petri Nets with Arithmetic

Approximating Multi-perspective Trace Alignment Using Trace Encodings

Ground Canonical Rewrite Systems Revisited

Decidable fragments of LTLf modulo theories (extended version)

Sarah Winkler Information

University

Position

postdoctoral researcher

Citations(all)

366

Citations(since 2020)

226

Cited By

193

hIndex(all)

12

hIndex(since 2020)

8

i10Index(all)

15

i10Index(since 2020)

5

Email

University Profile Page

Google Scholar

Sarah Winkler Skills & Research Interests

automated reasoning

term rewriting

program analysis

Top articles of Sarah Winkler

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata

arXiv preprint arXiv:2310.12180

2023/10/17

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Marco Montali
Marco Montali

H-Index: 27

Sarah Winkler
Sarah Winkler

H-Index: 5

Object-centric conformance alignments with synchronization (extended version)

arXiv preprint arXiv:2312.08537

2023/12/13

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Marco Montali
Marco Montali

H-Index: 27

Sarah Winkler
Sarah Winkler

H-Index: 5

Multi-perspective conformance checking of uncertain process traces: An SMT-based approach

Engineering Applications of Artificial Intelligence

2023/11/1

Paolo Felli
Paolo Felli

H-Index: 10

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Marco Montali
Marco Montali

H-Index: 27

Andrey Rivkin
Andrey Rivkin

H-Index: 8

Sarah Winkler
Sarah Winkler

H-Index: 5

Repairing soundness properties in data-aware processes

2023/10/23

Paolo Felli
Paolo Felli

H-Index: 10

Marco Montali
Marco Montali

H-Index: 27

Sarah Winkler
Sarah Winkler

H-Index: 5

Equivalence of Data Petri Nets with Arithmetic

2023/9/11

Marco Montali
Marco Montali

H-Index: 27

Sarah Winkler
Sarah Winkler

H-Index: 5

Approximating Multi-perspective Trace Alignment Using Trace Encodings

2023/9/1

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Jonghyeon Ko
Jonghyeon Ko

H-Index: 2

Marco Montali
Marco Montali

H-Index: 27

Sarah Winkler
Sarah Winkler

H-Index: 5

Ground Canonical Rewrite Systems Revisited

12th International Workshop on Confluence

2023/8/23

Aart Middeldorp
Aart Middeldorp

H-Index: 4

Masahiko Sakai
Masahiko Sakai

H-Index: 7

Sarah Winkler
Sarah Winkler

H-Index: 5

Decidable fragments of LTLf modulo theories (extended version)

arXiv preprint arXiv:2307.16840

2023/7/31

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Nicola Gigante
Nicola Gigante

H-Index: 5

Sarah Winkler
Sarah Winkler

H-Index: 5

Data-aware conformance checking with SMT

Information Systems

2023/7/1

Paolo Felli
Paolo Felli

H-Index: 10

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Marco Montali
Marco Montali

H-Index: 27

Andrey Rivkin
Andrey Rivkin

H-Index: 8

Sarah Winkler
Sarah Winkler

H-Index: 5

Monitoring arithmetic temporal properties on finite traces

Proceedings of the AAAI Conference on Artificial Intelligence

2023/6/26

Paolo Felli
Paolo Felli

H-Index: 10

Marco Montali
Marco Montali

H-Index: 27

Fabio Patrizi
Fabio Patrizi

H-Index: 16

Sarah Winkler
Sarah Winkler

H-Index: 5

Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover

Journal of Automated Reasoning

2023/3

Maria Paola Bonacina
Maria Paola Bonacina

H-Index: 10

Sarah Winkler
Sarah Winkler

H-Index: 5

Decidable Fragments of LTLf Modulo Theories

FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS

2023

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Nicola Gigante
Nicola Gigante

H-Index: 5

Sarah Winkler
Sarah Winkler

H-Index: 5

The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining

Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration and Resources Forum at BPM 2023

2023

Yago Fontenla-Seco
Yago Fontenla-Seco

H-Index: 0

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Marco Montali
Marco Montali

H-Index: 27

Manuel Lama
Manuel Lama

H-Index: 17

Conformance checking with uncertainty via SMT

2022/9/7

Paolo Felli
Paolo Felli

H-Index: 10

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Marco Montali
Marco Montali

H-Index: 27

Andrey Rivkin
Andrey Rivkin

H-Index: 8

Sarah Winkler
Sarah Winkler

H-Index: 5

CTL Model Checking for Data-Aware Dynamic Systems with Arithmetic

2022/8/1

Paolo Felli
Paolo Felli

H-Index: 10

Marco Montali
Marco Montali

H-Index: 27

Sarah Winkler
Sarah Winkler

H-Index: 5

Linear-time verification of data-aware dynamic systems with arithmetic

Proceedings of the AAAI Conference on Artificial Intelligence

2022/6/28

Paolo Felli
Paolo Felli

H-Index: 10

Marco Montali
Marco Montali

H-Index: 27

Sarah Winkler
Sarah Winkler

H-Index: 5

Conformance checking with uncertainty via SMT (extended version)

arXiv preprint arXiv:2206.07461

2022/6/15

Paolo Felli
Paolo Felli

H-Index: 10

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Marco Montali
Marco Montali

H-Index: 27

Andrey Rivkin
Andrey Rivkin

H-Index: 8

Sarah Winkler
Sarah Winkler

H-Index: 5

Soundness of data-aware processes with arithmetic conditions

2022/6/3

Paolo Felli
Paolo Felli

H-Index: 10

Marco Montali
Marco Montali

H-Index: 27

Sarah Winkler
Sarah Winkler

H-Index: 5

A Modular SMT-based Approach for Data-aware Conformance Checking.

2022

Paolo Felli
Paolo Felli

H-Index: 10

Alessandro Gianola
Alessandro Gianola

H-Index: 7

Marco Montali
Marco Montali

H-Index: 27

Andrey Rivkin
Andrey Rivkin

H-Index: 8

Sarah Winkler
Sarah Winkler

H-Index: 5

Reasoning and Verification with Data Petri Nets.

2022

Paolo Felli
Paolo Felli

H-Index: 10

Marco Montali
Marco Montali

H-Index: 27

Sarah Winkler
Sarah Winkler

H-Index: 5

See List of Professors in Sarah Winkler University(Libera Università di Bolzano)