281 citations
- TU WienAT25 papers
- University of ViennaAT18 papers
- Innsbruck Medical UniversityAT8 papers
- Vorarlberg University of Applied SciencesAT8 papers
- Austrian Academy of SciencesAT5 papers
- Max Planck Institute for Solar System ResearchDE5 papers
- Wolfgang Pauli InstituteAT5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Universität InnsbruckAT4 papers
- Hochschule Campus WienAT3 papers
- Institute of Nuclear Physics, Polish Academy of SciencesPL3 papers
- Johannes Gutenberg University MainzDE3 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 1 cited
Confluence of Conditional Term Rewrite Systems via Transformations
Karl Gmeiner
Conditional term rewriting is an intuitive yet complex extension of term rewriting. In order to benefit from the simpler framework of unconditional rewriting, transformations have…
cs.LO2016
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
Houssam Abbas, Alena Rodionova, Ezio Bartocci +2
Motivated by the problem of verifying the correctness of arrhythmia-detection algorithms, we present a formalization of these algorithms in the language of Quantitative Regular Exp…