 |
|
|
||
|---|---|---|
|
hal-00917323v2
Article dans une revue
Walid Belkhir, Alain Giorgetti, Michel Lenczner. A Symbolic Transformation Language and its Application to a Multiscale Method Journal of Symbolic Computation, Elsevier, 2014, 65, pp.49 - 78 |
||
|
hal-00756343v1
Communication dans un congrès
Walid Belkhir, Alain Giorgetti. Lazy AC-Pattern Matching for Rewriting Santiago Escobar. 10th International Workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. 82, pp.37-51, 2012, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming. <10.4204/EPTCS.82.3> |
||
|
inria-00527077v3
Rapport
Gérard Cécé, Alain Giorgetti. Simulations for a Class of Two-Dimensional Automata [Research Report] RR-7425, INRIA. 2010, pp.18 |
||
|
hal-01061900v1
Rapport
Ivan Enderlin, Fabrice Bouquet, Frédéric Dadeau, Alain Giorgetti. Praspel: Contract-Driven Testing for PHP using Realistic Domains [Research Report] RR-8592, INRIA. 2014, pp.39 |
||
|
hal-00909202v1
Communication dans un congrès
Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet. A Constraint Solver for PHP Arrays ICSTW - Sixth International IEEE Conference on Software Testing, Verification and Validation Workshops - 2013, Mar 2013, Luxembourg, Luxembourg. IEEE, pp.218-223, 2013, <10.1109/ICSTW.2013.80> |
||
|
hal-00920496v1
Communication dans un congrès
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko. Automatic Decidability for Theories with Counting Operators Automated Deduction: Decidability, Complexity, Tractability (workshop ADDCT), Jun 2013, Lake Placid, United States. 2013 |
||
|
hal-00753008v1
Communication dans un congrès
Alain Giorgetti, Valerio Senni. Specification and Validation of Algorithms Generating Planar Lehman Words GASCom 2012 - 8th International Conference on random generation of combinatorial structures, Jun 2012, Bordeaux, France. 2012 |
||
|
hal-00878657v1
Communication dans un congrès
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko. Automatic Decidability: A Schematic Calculus for Theories with Counting Operators RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 21, pp.303-318, 2013, LIPIcs. <10.4230/LIPIcs.RTA.2013.303> |
||
|
hal-00746814v1
Communication dans un congrès
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis SAC 2012, 27-th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. ACM, pp.1284-1291, 2012, Proceedings of the 27th Annual ACM Symposium on Applied Computing. <10.1145/2245276.2231980> |
||
|
hal-00749576v1
Communication dans un congrès
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. A Rule-Based Framework for Building Superposition-Based Decision Procedures Franciso Durán. Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. Springer Berlin / Heidelberg, 7571, pp.221-239, 2012, Lecture Notes in Computer Science; Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. <10.1007/978-3-642-34005-5_12> |
||
|
hal-00751321v1
Communication dans un congrès
Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet. Grammar-Based Testing using Realistic Domains in PHP IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. IEEE Computer Society, pp.509-518, 2012, IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012. <10.1109/ICST.2012.136> |
||
|
hal-00753896v1
Rapport
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko. Automatic Decidability for Theories Modulo Integer Offsets [Research Report] RR-8139, INRIA. 2012, pp.20 |
||
|
hal-00693789v1
Article dans une revue
Didier Arquès, Alain Giorgetti. Counting rooted maps on a surface Theoretical Computer Science, Elsevier, 2000, 234 (1-2), pp.255--272. <10.1016/S0304-3975(98)00230-8> |
||
|
hal-01102883v1
Article dans une revue
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. A rule-based system for automatic decidability and combinability Science of Computer Programming, Elsevier, 2015, Selected Papers from the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012), 99, pp.3-23. <10.1016/j.scico.2014.02.005> |
||
|
hal-01057269v1
Article dans une revue
Noam Zeilberger, Alain Giorgetti. A correspondence between rooted planar maps and normal planar lambda terms Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (3:22), pp.1-39. <http://www.lmcs-online.org/ojs/viewarticle.php?id=1695&layout=abstract>. <10.2168/LMCS-11(3:22)2015> |
||
|
|
||
