Concepedia

Author

Sarah Winkler

University of BolognaORCID

Also Known As

SARAH WINKLER, Sarah WINKLER, Sarah Winkler, Winkler, Sarah

78

Publications

345

Citations

10

H-Index

27

Concepts

All Affiliations

University of BolognaUniversität InnsbruckFree University of Bozen-Bolzano
SW

About

Sarah Winkler is an author at University of Bologna specializing in software analysis, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

23

2

Computer Science

2

2

23

3

Business

1

1

12

4

Computer Engineering

1

1

12

5

Data Science

1

1

12

Sarah Winkler

×

5

Publications

126

Citations

5

H-Index

YearCitations

Modulation of metal-azolate frameworks for the tunable release of encapsulated glycosaminoglycans

Miriam De J. Velásquez-Hernández, Efwita Astria, Sarah Winkler,

Chemical Science

2020

78

Data-aware conformance checking with SMT

Paolo Felli, Alessandro Gianola, Marco Montali,

Information Systems

2023

15

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

Paolo Felli, Alessandro Gianola, Marco Montali,

Engineering Applications of Artificial Intelligence

2023

12

Multi-Completion with Termination Tools

Sarah Winkler, Haruhiko Sato, Aart Middeldorp,

Journal of Automated Reasoning

2012

11

Completion for Logically Constrained Rewriting

Sarah Winkler, Aart Middeldorp

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

2018

10

Page 1