| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5222074 | 2020-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445159 | 2008-03-03 | Paper |
| Maximal deformation of an impacting drop | 2005-04-15 | Paper |
| Pyramidal and toroidal water drops after impact on a solid surface | 2003-12-18 | Paper |
| On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity. | 2003-08-17 | Paper |
| What are weak arithmetic? | 2001-08-23 | Paper |
| Decidability of the theory of the natural integers with the Cantor pairing function and the successor | 2001-08-20 | Paper |
| La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable | 2001-01-28 | Paper |
| On arithmetical first-order theories allowing encoding and decoding of lists | 2000-01-12 | Paper |
| Undecidable extensions of Skolem arithmetic | 1998-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4717487 | 1997-02-24 | Paper |
| Back and forth between continuous and discrete for the working computer scientist | 1997-01-29 | Paper |
| Definability and decidability issues in extensions of the integers with the divisibility predicate | 1996-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4697160 | 1993-06-29 | Paper |
| Contribution à l'étude d'une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding) | 1989-01-01 | Paper |
| Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735188 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3834042 | 1987-01-01 | Paper |
| All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate | 1985-01-01 | Paper |
| The Minisum and Minimax Location Problems Revisited | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714077 | 1985-01-01 | Paper |
| Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218118 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3701419 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768866 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3946159 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962975 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3866083 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927186 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927187 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4195117 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4165386 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190637 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137393 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4080425 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4050759 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5182411 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041843 | 1972-01-01 | Paper |
