Alain Gilberg < Alain Giorgetti < Alain Goupil

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 39.
[0-20] [0 - 20][0 - 39][20-38][20-40]

Ident.	Authors (with country if any)	Title
000035 (2010-06-28)	Alain Giorgetti ; Ahmed Hammad ; Bruno Tatibouët	Using SysML for Smart Surface Modeling
000134 (2013-03-22)	Ivan Enderlin ; Alain Giorgetti ; Fabrice Bouquet	A Constraint Solver for PHP Arrays
000446 (2012-03-24)	Elena Tushkanova ; Alain Giorgetti ; Christophe Ringeissen ; Olga Kouchnarenko	A Rule-Based Framework for Building Superposition-Based Decision Procedures
000518 (2014-11-03)	Walid Belkhir ; Alain Giorgetti ; Michel Lenczner	A Symbolic Transformation Language and its Application to a Multiscale Method
000645 (2015-09-25)	Noam Zeilberger ; Alain Giorgetti	A correspondence between rooted planar maps and normal planar lambda terms
000943 (2015-03)	Elena Tushkanova ; Alain Giorgetti ; Christophe Ringeissen ; Olga Kouchnarenko	A rule-based system for automatic decidability and combinability
001103 (2012-11)	Elena Tushkanova ; Christophe Ringeissen ; Alain Giorgetti ; Olga Kouchnarenko	Automatic Decidability for Theories Modulo Integer Offsets
001104 (2013-06-10)	Elena Tushkanova ; Christophe Ringeissen ; Alain Giorgetti ; Olga Kouchnarenko	Automatic Decidability for Theories with Counting Operators
001105 (2013-06-23)	Elena Tushkanova ; Christophe Ringeissen ; Alain Giorgetti ; Olga Kouchnarenko	Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
001592 (2010)	Omar Chebaro ; Nikolaï Kosmatov ; Alain Giorgetti ; Jacques Julliand	Combining Static Analysis and Test Generation for {C} Program Debugging
001977 (2000)	Didier Arquès ; Alain Giorgetti	Counting rooted maps on a surface
002646 (2012-04-17)	Ivan Enderlin ; Frédéric Dadeau ; Alain Giorgetti ; Fabrice Bouquet	Grammar-Based Testing using Realistic Domains in PHP
002648 (2009-06-27)	Jean-François Couchot ; Alain Giorgetti ; Nicolas Stouls	Graph Based Reduction of Program Verification Conditions
002657 (2008)	Jean-François Couchot ; Alain Giorgetti ; Nicolas Stouls	Graph-based Reduction of Program Verification Conditions
002688 (2010-07-29)	Alain Giorgetti	Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System
002828 (2014-07-24)	Guillaume Petiot ; Nikolai Kosmatov ; Alain Giorgetti ; Jacques Julliand	How Test Generation Helps Software Specification and Deductive Verification in Frama-C
002B37 (2007-01-17)	Fabrice Bouquet ; Jean-François Couchot ; Frédéric Dadeau ; Alain Giorgetti	Instantiation of Parameterized Data Structures for Model-Based Testing
002D14 (2006-03-27)	Alain Giorgetti ; Julien Groslambert	JAG: JML Annotation Generation for Verifying Temporal Properties
002E45 (2011-05-29)	Walid Belkhir ; Alain Giorgetti	Lazy AC-Pattern Matching for Rewriting
002E47 (2011-05-29)	Walid Belkhir ; Alain Giorgetti	Lazy Rewriting Modulo Associativity and Commutativity
003086 (1998)	Alain Giorgetti	Maple V release 5 pour Windows 95

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Alain Giorgetti" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Alain Giorgetti" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Alain Giorgetti
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022