Verónica Becher

Orcid: 0000-0002-5425-8563

According to our database1, Verónica Becher authored at least 50 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Nested Perfect Arrays.
IEEE Trans. Inf. Theory, October, 2024

On extremal factors of de Bruijn-like graphs.
Discret. Appl. Math., 2024

De Bruijn Sequences with Minimum Discrepancy.
CoRR, 2024

The discrepancy of the Champernowne constant.
CoRR, 2024

Rauzy dimension and finite-state dimension.
CoRR, 2024

Lyndon pairs and the lexicographically greatest perfect necklace.
CoRR, 2024

2023
Nested perfect toroidal arrays.
CoRR, 2023

2022
A construction of a 𝜆-Poisson generic sequence.
Math. Comput., November, 2022

Randomness and uniform distribution modulo one.
Inf. Comput., 2022

On the number of words with restrictions on the number of symbols.
Adv. Appl. Math., 2022

2021
Extending de Bruijn sequences to larger alphabets.
Inf. Process. Lett., 2021

Insertion in constructed normal numbers.
CoRR, 2021

2020
Completely uniformly distributed sequences based on de Bruijn sequences.
Math. Comput., 2020

2019
Finite-state independence and normal sequences.
J. Comput. Syst. Sci., 2019

Normal numbers and nested perfect necklaces.
J. Complex., 2019

Low discrepancy sequences failing Poissonian pair correlations.
CoRR, 2019

2018
Finite-State Independence.
Theory Comput. Syst., 2018

Normal numbers with digit dependencies.
CoRR, 2018

2017
M. Levin's construction of absolutely normal numbers with very low discrepancy.
Math. Comput., 2017

On absolutely normal numbers and their discrepancy estimate.
CoRR, 2017

2016
Perfect necklaces.
Adv. Appl. Math., 2016

2015
Wadge hardness in Scott spaces and its effectivization.
Math. Struct. Comput. Sci., 2015

Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization.
Math. Struct. Comput. Sci., 2015

A computable absolutely normal Liouville number.
Math. Comput., 2015

Normality and automata.
J. Comput. Syst. Sci., 2015

2014
On the normality of numbers to different bases.
J. Lond. Math. Soc., 2014

2013
Normal numbers and finite automata.
Theor. Comput. Sci., 2013

A polynomial-time algorithm for computing absolutely normal numbers.
Inf. Comput., 2013

Efficient repeat finding in sets of strings via suffix arrays.
Discret. Math. Theor. Comput. Sci., 2013

Efficient repeat finding via suffix arrays
CoRR, 2013

Normal Numbers and the Borel Hierarchy.
CoRR, 2013

2012
A linearly computable measure of string complexity.
Theor. Comput. Sci., 2012

Computability, Complexity and Randomness (Dagstuhl Seminar 12021).
Dagstuhl Reports, 2012

Turing's Normal Numbers: Towards Randomness.
Proceedings of the How the World Computes, 2012

2011
On extending de Bruijn sequences.
Inf. Process. Lett., 2011

2009
From index sets to randomness in EMPTY SET <sup>n</sup>: random reals and possibly infinite computations. Part II.
J. Symb. Log., 2009

Efficient computation of all perfect repeats in genomic sequences of up to half a gigabyte, with a case study on the human genome.
Bioinform., 2009

2007
Random reals à la Chaitin with or without prefix-freeness.
Theor. Comput. Sci., 2007

Turing's unpublished algorithm for normal numbers.
Theor. Comput. Sci., 2007

2006
Randomness and halting probabilities.
J. Symb. Log., 2006

2005
Program Size Complexity for Possibly Infinite Computations.
Notre Dame J. Formal Log., 2005

Random reals and possibly infinite computations Part I: Randomness in ∅'.
J. Symb. Log., 2005

Kolmogorov Complexity for Possibly Infinite Computations.
J. Log. Lang. Inf., 2005

2004
Recursion and topology on 2<=omega for possibly infinite computations.
Theor. Comput. Sci., 2004

2002
An example of a computable absolutely normal number.
Theor. Comput. Sci., 2002

Another Example of Higher Order Randomness.
Fundam. Informaticae, 2002

2001
A Highly Random Number.
Proceedings of the Combinatorics, 2001

1995
Abduction as Belief Revision.
Artif. Intell., 1995

Two Conditional Logics for Defeasible Inference: A Comparison Preliminary Version.
Proceedings of the Advances in Artificial Intelligence, 1995

1993
Abduction As Belief Revision: A Model of Preferred Explanations.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993


  Loading...