A rule-based system for automatic decidability and combinability E Tushkanova, A Giorgetti, C Ringeissen, O Kouchnarenko Science of Computer Programming, 2014 | 15 | 2014 |
Specifying and proving a sorting algorithm E Tushkanova, A Giorgetti, O Kouchnarenko | 12 | 2009 |
Specifying generic java programs: two case studies A Giorgetti, C Marché, E Tushkanova, O Kouchnarenko Proceedings of the Tenth Workshop on Language Descriptions, Tools and …, 2010 | 9 | 2010 |
Automatic decidability: A schematic calculus for theories with counting operators E Tushkanova, C Ringeissen, A Giorgetti, O Kouchnarenko LIPIcs-Leibniz International Proceedings in Informatics 21, 2013 | 8 | 2013 |
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators E Tushkanova, C Ringeissen, A Giorgetti, O Kouchnarenko 24th International Conference on Rewriting Techniques and Applications (RTA …, 2013 | 8 | 2013 |
A rule-based framework for building superposition-based decision procedures E Tushkanova, A Giorgetti, C Ringeissen, O Kouchnarenko Rewriting Logic and Its Applications, 221-239, 2012 | 5 | 2012 |
Modular Specification of Java Programs E Tushkanova, A Giorgetti, C Marché, O Kouchnarenko | 3 | 2009 |
Schematic calculi for the analysis of decision procedures E TUSHKANOVA Ph. D. thesis University of Franche-Comté, Besançon, France (July 2013), 2013 | 1 | 2013 |
Calculs schématiques pour l'analyse de procédures de décision Schematic calculi for the analysis of decision procedures E Tushkanova | 1* | 2013 |
Calculs schématiques pour l'analyse de procédures de décision E Tushkanova Université de Franche-Comté, 2013 | 1* | 2013 |
Automatic Decidability for Theories Modulo Integer Offsets E Tushkanova, C Ringeissen, A Giorgetti, O Kouchnarenko | 1 | 2012 |