| Publication | Date of Publication | Type |
|---|
On sufficient completeness of conditional specifications
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
Uniform generation of a Schröder tree
Information Processing Letters | 2016-06-09 | Paper |
On the Number of Balanced Words of Given Length and Height over a Two-Letter Alphabet
(available as arXiv preprint) | 2014-02-03 | Paper |
| On the Number of Balanced Words of Given Length and Height over a Two-Letter Alphabet | 2014-02-03 | Paper |
On the Cohen--Olivier algorithm for computing \(\zeta (s)\): error analysis in the real case for an arbitrary precision
Advances in Applied Mathematics | 2007-02-14 | Paper |
Linear segmentation of discrete curves into blurred segments
Discrete Applied Mathematics | 2005-11-07 | Paper |
Increasing self-described sequences
Annals of Combinatorics | 2005-01-03 | Paper |
| scientific article; zbMATH DE number 2079750 (Why is no real title available?) | 2004-07-30 | Paper |
Discrete derivatives of sequences
Advances in Applied Mathematics | 2003-03-13 | Paper |
Detection of the discrete convexity of polyominoes
Discrete Applied Mathematics | 2003-03-09 | Paper |
On a functional-differential equation related to Golomb's self-described sequence
Journal de Théorie des Nombres de Bordeaux | 2001-12-05 | Paper |
On a functional-differential equation related to Golomb's self-described sequence
Journal de Théorie des Nombres de Bordeaux | 2001-12-05 | Paper |
On a functional-differential equation related to Golomb's self-described sequence
Journal de Théorie des Nombres de Bordeaux | 2001-12-05 | Paper |
Golomb's self-described sequence and functional differential equations
Illinois Journal of Mathematics | 1998-08-20 | Paper |
On Golomb's self-describing sequence
Journal of Number Theory | 1997-09-21 | Paper |
A linear-time algorithm for the generation of trees
Algorithmica | 1997-03-06 | Paper |
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
Acta Informatica | 1994-05-10 | Paper |
| scientific article; zbMATH DE number 4050972 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4090780 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4092744 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3900794 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3921957 (Why is no real title available?) | 1985-01-01 | Paper |
Comparing data type specifications via their normal forms
International Journal of Computer & Information Sciences | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3677217 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3688680 (Why is no real title available?) | 1980-01-01 | Paper |
Methodical solution of the problem of ascending subsequences of maximum length within a given sequence
Information Processing Letters | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3635469 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3486469 (Why is no real title available?) | 1975-01-01 | Paper |
