Travelled to:1 × Australia
1 × Germany
1 × Japan
1 × Poland
1 × The Netherlands
2 × United Kingdom
Collaborated with:A.Middeldorp H.Sato M.Kurihara G.Moser C.Sternagel H.Zankl A.Yamada N.Hirokawa
Talks about:complet (7) termin (4) tool (4) order (3) revisit (2) maxim (2) goodstein (1) techniqu (1) strategi (1) arithmet (1)
Person: Sarah Winkler
DBLP: Winkler:Sarah
Contributed to:
2015
2014
20132011
20102010200820182019Wrote 10 papers:
- CADE-2015-SatoW #dependence #encoding
- Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (HS, SW), pp. 152–162.
- FLOPS-2014-YamadaWHM #revisited
- AC-KBO Revisited (AY, SW, NH, AM), pp. 319–335.
- RTA-2013-WinklerM #normalisation #revisited
- Normalized Completion Revisited (SW, AM), pp. 319–334.
- RTA-2013-WinklerZM #automation #proving #sequence #termination
- Beyond Peano Arithmetic — Automatically Proving Termination of the Goodstein Sequence (SW, HZ, AM), pp. 335–351.
- CADE-2011-WinklerM #termination #tool support
- AC Completion with Termination Tools (SW, AM), pp. 492–498.
- IJCAR-2010-WinklerM #order #termination #tool support
- Termination Tools in Ordered Completion (SW, AM), pp. 518–532.
- RTA-2010-WinklerSMK #optimisation
- Optimizing mkbTT (SW, HS, AM, MK), pp. 373–384.
- IJCAR-2008-SatoWKM #multi #termination #tool support
- Multi-completion with Termination Tools (HS, SW, MK, AM), pp. 306–312.
- IJCAR-2018-WinklerM #named #order
- MædMax: A Maximal Ordered Completion Tool (SW, GM), pp. 472–480.
- CADE-2019-SternagelW #equation #order #reasoning
- Certified Equational Reasoning via Ordered Completion (CS, SW), pp. 508–525.