Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Christiane Frougny

dblp:27/7026 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Automata and formal languages
finite automata
0.132005
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.012000
On-the-Fly Algorithms and Sequential Machines · IEEE Trans. Computers 2000
Logic in computer science › term rewriting
sequentiality
0.011997
On the Sequentiality of the Successor Function · Inf. Comput. 1997
Computational geometry
discrete geometry
0.012005
Arithmetic Meyer sets and finite automata · Inf. Comput. 2005
Coding theory
fibonacci representation
0.011991
Fibonacci representations and finite automata · IEEE Trans. Inf. Theory 1991
Coding theory › source coding
universal coding
0.011991
Fibonacci representations and finite automata · IEEE Trans. Inf. Theory 1991
Automata and formal languages
number systems
0.011988
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
YearPublicationVenuePosition
2016 On-line Multiplication and Division in Real and Complex Bases
abstract
A 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á
ARITH2
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
CIAA2
2009 On Negative Bases
Christiane Frougny, Anna Chiara Lai
Developments in Language Theory1
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 Theory2
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
LATIN3
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 Base
abstract
Multiplication 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 Arithmetic1
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 Theory1
2002 Conversion between Two Multiplicatively Dependent Linear Numeration Systems
Christiane Frougny
LATIN1
2002 Real Numbers - Foreword
Jean Marie Chesneaux, Christiane Frougny, Jean-Michel Muller
Theor. Comput. Sci.2
2000 On-the-Fly Algorithms and Sequential Machines
abstract
It 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. Computers1
1999 On-Line Addition in Real Base
Christiane Frougny
MFCS1
1999 A Rewrite System Associated with Quadratic Pisot Units
Christiane Frougny, Jacques Sakarovitch
RTA1
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 Machines
abstract
It 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 Arithmetic1
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
STACS1
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. Theory2
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
LATIN1
1992 Representations of Numbers and Finite Automata
Christiane Frougny
Math. Syst. Theory1
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 systems
abstract
Numeration 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 Arithmetic1
1991 Rational Ralations with Bounded Delay
Christiane Frougny, Jacques Sakarovitch
STACS1
1991 Fibonacci representations and finite automata
abstract
Fibonacci 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. Theory1
1989 Linear Numeration Systems, Theta-Developments and Finite Automata
Christiane Frougny
STACS1
1988 Linear Numeration Systems of Order Two
Christiane Frougny
Inf. Comput.1
1986 Fibonacci Numeration Systems and Rational Functions
Christiane Frougny
MFCS1
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 Informatica1
1981 Simple Deterministic NTS Languages
Christiane Frougny
Inf. Process. Lett.1