Demo Data from EDBT 2026 / reviewers in the wild / expert
Christiane Frougny
dblp:27/7026
· DBLP profile ↗
42ranked-venue papers
29as first author
0since 2021 · last 2016
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 41 · 28 first-authorSystems, architecture and hardware · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
5 papers |
Automata and formal languages · 57% Algorithms and data structures · 15% Logic in computer science · 10% |
Topics — the 7 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages
finite automata |
0.1 | 3 | 2005 | Arithmetic Meyer sets and finite automata · Inf. Comput. 2005 On-the-Fly Algorithms and Sequential Machines · IEEE Trans. Computers 2000 Fibonacci representations and finite automata · IEEE Trans. Inf. Theory 1991 |
Automata and formal languages › finite automata
sequential machines |
0.0 | 1 | 2000 | On-the-Fly Algorithms and Sequential Machines · IEEE Trans. Computers 2000 |
Logic in computer science › term rewriting
sequentiality |
0.0 | 1 | 1997 | On the Sequentiality of the Successor Function · Inf. Comput. 1997 |
Computational geometry
discrete geometry |
0.0 | 1 | 2005 | Arithmetic Meyer sets and finite automata · Inf. Comput. 2005 |
Coding theory
fibonacci representation |
0.0 | 1 | 1991 | Fibonacci representations and finite automata · IEEE Trans. Inf. Theory 1991 |
Coding theory › source coding
universal coding |
0.0 | 1 | 1991 | Fibonacci representations and finite automata · IEEE Trans. Inf. Theory 1991 |
Automata and formal languages
number systems |
0.0 | 1 | 1988 | Linear Numeration Systems of Order Two · Inf. Comput. 1988 |
Methods — techniques the papers use, named apart from their topics
digit-serial computation · 0.0finite-state transducers · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | On-line Multiplication and Division in Real and Complex BasesabstractA positional numeration system is given by a base and by a set of digits. The base is a real or complex number β such that |β| > 1, and the digit set A is a finite set of real or complex digits (including 0). In this paper, we first formulate a generalized version of the on-line algorithms for multiplication and division of Trivedi and Ercegovac for the cases that β is any real or complex number, and digits are real or complex. We show that if (β, A) satisfies the so-called (OL) Property, then on-line multiplication and division are feasible by the Trivedi-Ercegovac algorithms. For a real base β and alphabet A of contiguous integers, the system (β, A) has the (OL) Property if #A > |β| . Provided that addition and subtraction are realizable in parallel in the system (β, A), our on-line algorithms for multiplication and division have linear time complexity. Three examples are presented in detail: base β = 3+√5/2 with alphabet A = {-1, 0, 1}; base β = 2i with alphabet A = {-2, -1, 0, 1, 2} (redundant Knuth numeration system); and base β = -3/2 + z√3/2 = -1 + ω, where ω = exp 2iπ/3 , with alphabet A = {0, ±1, ±ω, ±ω2} (redundant Eisenstein numeration system). Marta Pavelka, Christiane Frougny, Edita Pelantová, Milena Svobodová |
ARITH | 2 |
| 2014 | k-Block parallel addition versus 1-block parallel addition in non-standard numeration systems
Christiane Frougny, Pavel Heller, Edita Pelantová, Milena Svobodová |
Theor. Comput. Sci. | 1 |
| 2012 | Sturmian graphs and integer representations over numeration systems
Chiara Epifanio, Christiane Frougny, Alessandra Gabriele, Filippo Mignosi, Jeffrey Shallit |
Discret. Appl. Math. | 2 |
| 2011 | Parallel addition in non-standard numeration systems
Christiane Frougny, Edita Pelantová, Milena Svobodová |
Theor. Comput. Sci. | 1 |
| 2010 | On Lazy Representations and Sturmian Graphs
Chiara Epifanio, Christiane Frougny, Alessandra Gabriele, Filippo Mignosi, Jeffrey Shallit |
CIAA | 2 |
| 2009 | On Negative Bases
Christiane Frougny, Anna Chiara Lai |
Developments in Language Theory | 1 |
| 2007 | On alpha-adic expansions in Pisot bases
Petr Ambroz, Christiane Frougny |
Theor. Comput. Sci. | 2 |
| 2005 | Voronoi Cells of Beta-Integers
Avi Elkharrat, Christiane Frougny |
Developments in Language Theory | 2 |
| 2005 | Arithmetic Meyer sets and finite automata
Shigeki Akiyama, Frédérique Bassino, Christiane Frougny |
Inf. Comput. | 3 |
| 2004 | Automata for Arithmetic Meyer Sets
Shigeki Akiyama, Frédérique Bassino, Christiane Frougny |
LATIN | 3 |
| 2004 | Symmetry groups for beta-lattices
Avi Elkharrat, Christiane Frougny, Jean-Pierre Gazeau, Jean-Louis Verger-Gaugry |
Theor. Comput. Sci. | 2 |
| 2003 | On-Line Multiplication in Real and Complex BaseabstractMultiplication of two numbers represented in base /spl beta/ is shown to be computable by an online algorithm when /spl beta/ is a negative integer, a positive noninteger real number, or a complex number of the form i/spl radic/r, where r is a positive integer. Christiane Frougny, Athasit Surarerks |
IEEE Symposium on Computer Arithmetic | 1 |
| 2003 | On-line digit set conversion in real base
Christiane Frougny |
Theor. Comput. Sci. | 1 |
| 2003 | Additive and multiplicative properties of point sets based on beta-integers
Christiane Frougny, Jean-Pierre Gazeau, Rudolf Krejcar |
Theor. Comput. Sci. | 1 |
| 2003 | Preface
Peter Kornerup, Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller |
Theor. Comput. Sci. | 3 |
| 2002 | On-Line Odometers for Two-Sided Symbolic Dynamical Systems
Christiane Frougny |
Developments in Language Theory | 1 |
| 2002 | Conversion between Two Multiplicatively Dependent Linear Numeration Systems
Christiane Frougny |
LATIN | 1 |
| 2002 | Real Numbers - Foreword
Jean Marie Chesneaux, Christiane Frougny, Jean-Michel Muller |
Theor. Comput. Sci. | 2 |
| 2000 | On-the-Fly Algorithms and Sequential MachinesabstractIt is shown that a function is computable by an on-the-fly algorithm processing data in the most significant digit first fashion with a finite number of registers if and only if it is computable by a right subsequential finite state machine processing deterministically data in the least significant digit first fashion. Some applications to complex radix number systems are given. Christiane Frougny |
IEEE Trans. Computers | 1 |
| 1999 | On-Line Addition in Real Base
Christiane Frougny |
MFCS | 1 |
| 1999 | A Rewrite System Associated with Quadratic Pisot Units
Christiane Frougny, Jacques Sakarovitch |
RTA | 1 |
| 1999 | Foreword: Real Numbers and Computers
Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller |
Theor. Comput. Sci. | 2 |
| 1998 | Synchronisation déterministe des automates à délai borné
Christiane Frougny, Jacques Sakarovitch |
Theor. Comput. Sci. | 1 |
| 1997 | On-the-Fly Algorithms and Sequential MachinesabstractIt is shown that a function is computable by an on-the-fly algorithm processing data in the most significant digit first fashion with a finite number of registers if and only if it is computable by a right subsequential finite state machine processing data in the less significant digit first fashion. Applications to the conversion of redundant into conventional representations and to canonical Booth recoding are given. The author also indicates some applications to negative or complex radix number systems. Christiane Frougny |
IEEE Symposium on Computer Arithmetic | 1 |
| 1997 | On the Sequentiality of the Successor Function
Christiane Frougny |
Inf. Comput. | 1 |
| 1996 | On the Successor Function in Non-Classical Numeration Systems
Christiane Frougny |
STACS | 1 |
| 1996 | Forword to the Special Issue on Real Numbers and Computers
Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller, Gilles Villard |
Theor. Comput. Sci. | 2 |
| 1994 | Computability by Finite Automata and Pisot Bases
Daniel Berend, Christiane Frougny |
Math. Syst. Theory | 2 |
| 1993 | Synchronized Rational Relations of Finite and Infinite Words
Christiane Frougny, Jacques Sakarovitch |
Theor. Comput. Sci. | 1 |
| 1992 | How to Write Integers in Non-Integer Base
Christiane Frougny |
LATIN | 1 |
| 1992 | Representations of Numbers and Finite Automata
Christiane Frougny |
Math. Syst. Theory | 1 |
| 1992 | Systemes de numeration linearires et Theta-representations
Christiane Frougny |
Theor. Comput. Sci. | 1 |
| 1992 | Confluent Linear Numeration Systems
Christiane Frougny |
Theor. Comput. Sci. | 1 |
| 1991 | Representation of numbers in nonclassical numeration systemsabstractNumeration systems, the bases of which are defined by a linear recurrence with integer coefficients, are considered. Conditions on the recurrence are given under which the function of normalization which transforms any representation of an integer into the normal one-obtained by the usual algorithm-can be realized by a finite automaton. Addition is a particular case of normalization. The same questions are discussed for the representation of real numbers in basis theta , where theta is a real number >1. In particular it is shown that, if theta is a Pisot number, then the normalization and the addition in basis theta are computable by a finite automaton.> Christiane Frougny |
IEEE Symposium on Computer Arithmetic | 1 |
| 1991 | Rational Ralations with Bounded Delay
Christiane Frougny, Jacques Sakarovitch |
STACS | 1 |
| 1991 | Fibonacci representations and finite automataabstractFibonacci representations of integers provide some kinds of universal coding. It is proved that it is possible to add two integers written in the Fibonacci numeration system of order m by means of a finite-state automaton. The conversion from a Fibonacci representation to the standard binary representation cannot be realized by a finite-state automaton. Christiane Frougny |
IEEE Trans. Inf. Theory | 1 |
| 1989 | Linear Numeration Systems, Theta-Developments and Finite Automata
Christiane Frougny |
STACS | 1 |
| 1988 | Linear Numeration Systems of Order Two
Christiane Frougny |
Inf. Comput. | 1 |
| 1986 | Fibonacci Numeration Systems and Rational Functions
Christiane Frougny |
MFCS | 1 |
| 1985 | Context-Free Grammars with Cancellation Properties
Christiane Frougny |
Theor. Comput. Sci. | 1 |
| 1982 | On the Hotz Group of a Context-Free Grammar
Christiane Frougny, Jacques Sakarovitch, Erich Valkema |
Acta Informatica | 1 |
| 1981 | Simple Deterministic NTS Languages
Christiane Frougny |
Inf. Process. Lett. | 1 |