A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis. - Laurent Fuchs; Gaëlle Largeteau-Skapin; Guy Wallet; Eric Andres; Agathe Chollet (DGCI, 2008)

Integer calculus on the Harthong-Reeb Line. - Guy Wallet (ARIMA J., 2008)

Arithmetization of a Circular Arc. - Aurélie Richard; Guy Wallet; Laurent Fuchs; Eric Andres; Gaëlle Largeteau-Skapin (DGCI, 2009)

Omega-Arithmetization: A Discrete Multi-resolution Representation of Real Functions. - Agathe Chollet; Guy Wallet; Laurent Fuchs; Eric Andres; Gaëlle Largeteau-Skapin (IWCIA, 2009)

Insight in discrete geometry and computational content of a discrete model of the continuum. - Agathe Chollet; Guy Wallet; Laurent Fuchs; Gaëlle Largeteau-Skapin; Eric Andres (Pattern Recognit., 2009)

Omega-Arithmetization of Ellipses. - Agathe Chollet; Guy Wallet; Eric Andres; Laurent Fuchs; Gaëlle Largeteau-Skapin; Aurélie Richard (CompIMAGE, 2010)

Foundational aspects of multiscale digitization. - Agathe Chollet; Guy Wallet; Laurent Fuchs; Eric Andres; Gaëlle Largeteau-Skapin (Theor. Comput. Sci., 2012)

Avant propos. - Nadir Sari; Guy Wallet (ARIMA J., 2015)

Choice sequence and nonstandard extension of type theory. - Guy Wallet (ARIMA J., 2015)