Beatriz Alarcón
Universitat Politècnica de València(ES)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Security and Verification in Computing, Health, Medicine and Society
Most-Cited Works
- → Proving Termination Properties with mu-term(2011)30 cited
- → Improving Context-Sensitive Dependency Pairs(2008)26 cited
- → Proving Termination of Context-Sensitive Rewriting with MU-TERM(2007)25 cited
- → Context-Sensitive Dependency Pairs(2006)21 cited
- → Improving the Context-sensitive Dependency Graph(2007)15 cited
- → A Dependency Pair Framework for A ∨ C-Termination(2010)12 cited
- → Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs(2007)10 cited
- → Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting(2009)4 cited