Graph explorer

Sarah Winkler

Sarah Winkler contributes to research discovery and scholarly infrastructure.

13 nodes26 linksoverview mapSarah Winkler
13 nodes26 links
Sarah Winkler13 visible / 13 total nodes / 26 links
Co-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalAuthorshipASarah WinklerResearcherWMonitoring Data-aware T...preprint / 2026AAlessandro GianolaResearcherAMarco MontaliResearcherWTools in Term Rewriting...preprint / 2020WSmarter Features, Simpl...preprint / 2020TArtificial Intelligence22915 worksWAC-KBO Revisitedpreprint / 2015WLinear-Time Verificatio...preprint / 2022WSoundness of Data-Aware...preprint / 2022WCTL* model checking for...preprint / 2022WCeTA - A Tool for Certi...preprint / 2012WConformance Checking wi...preprint / 2022
PersonSignal 1012 links

Sarah Winkler

Researcher

Open