Elena Tushkanova

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Multiresolution

Top Venues

Sci. Comput. Program.

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
A rule-based system for automatic decidability and combinability. Sci. Comput. Program. 99 (2015)
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. RTA (2013)
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA (2012)
Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko
Specifying generic Java programs: two case studies. LDTA (2010)