Concepedia

Sarah Winkler

SW

5

Publications

126

Citations

5

H-Index

2012

Active since

Affiliations

University of Bologna(Current)

Universität Innsbruck

Free University of Bozen-Bolzano

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

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationBusinessData ScienceVerification

Publications per year

2012–2023

5

Publications

5

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

Miriam De J. Velásquez-Hernández, Efwita Astria, Sarah Winkler et al. · Chemical Science · 2020 · 78 citations · Full text

Data-aware conformance checking with SMT

Paolo Felli, Alessandro Gianola, Marco Montali et al. · Information Systems · 2023 · 15 citations · Full text

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

Paolo Felli, Alessandro Gianola, Marco Montali et al. · Engineering Applications of Artificial Intelligence · 2023 · 12 citations · Full text

Engineering, Verification, Model Checking +28

Multi-Completion with Termination Tools

Sarah Winkler, Haruhiko Sato, Aart Middeldorp et al. · Journal of Automated Reasoning · 2012 · 11 citations · Full text

Mathematical Programming, Engineering, Automated Proof +19

Completion for Logically Constrained Rewriting

Sarah Winkler, Aart Middeldorp · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 10 citations · Full text

Rows per page

1–5 of 5