Follow
Verónica Becher
Title
Cited by
Cited by
Year
Abduction as belief revision
C Boutilier, V Becher
Artificial Intelligence 77 (1), 43-94, 1995
1651995
An example of a computable absolutely normal number
V Becher, S Figueira
Theoretical Computer Science 270 (1-2), 947-958, 2002
882002
Multiple genome rearrangement by swaps and by element duplications
VY Popov
Theoretical Computer Science 385 (1-3), 115-126, 2007
822007
Turing’s unpublished algorithm for normal numbers
V Becher, S Figueira, R Picchi
Theoretical Computer Science 377 (1), 126-138, 2007
562007
A polynomial-time algorithm for computing absolutely normal numbers
V Becher, PA Heiber, TA Slaman
Information and Computation 232, 1--9, 2013
442013
Iterable AGM functions
C Areces, V Becher
Frontiers in belief revision, Frontiers in Belief Revision. Applied Logic …, 2001
442001
Efficient computation of all perfect repeats in genomic sequences of up to half a gigabyte, with a case study on the human genome
V Becher, A Deymonnaz, P Heiber
Bioinformatics 25 (14), 1746-1753, 2009
382009
Normal numbers and finite automata
V Becher, PA Heiber
Theoretical Computer Science 477, 109-116, 2013
332013
On extending de Bruijn sequences
V Becher, PA Heiber
Information Processing Letters 111 (18), 930-932, 2011
322011
A highly random number
V Becher, S Daicz, G Chaitin
Combinatorics, Computability and Logic, 55-68, 2001
292001
On the normality of numbers to different bases
V Becher, TA Slaman
Journal of the London Mathematical Society 90 (2), 472-494, 2014
252014
Normality and Automata
V Becher, PA Heiber, O Carton
Journal of Computer and Systems Sciences 81 (8), 1592--1613, 2015
242015
Random reals and possibly infinite computations Part I: Randomness in the first jump of the halting problem
V Becher, S Grigorieff
Journal of Symbolic Logic 70 (3), 891-913, 2005
232005
Randomness and halting probabilities
V Becher, S Figueira, S Grigorieff, JS Miller
Journal of Symbolic Logic 71 (4), 1411-1430, 2006
202006
Neutral theory predicts the relative abundance and diversity of genetic elements in a broad array of eukaryotic genomes
F Serra, V Becher, H Dopazo
PLoS One 8 (6), e63915, 2013
182013
Another example of higher order randomness
V Becher, GJ Chaitin
Fundamenta Informaticae 51 (4), 325-338, 2002
172002
Normal numbers and the Borel hierarchy
V Becher, PA Heiber, TA Slaman
Fundamenta Mathematicae 226, 63-77, 2014
162014
Some observations on Carlos Alchourrón’s theory of defeasible conditionals
V Becher, E Fermé, S Lazzer, C Oller, G Palau, R Rodríguez
Mc. Namara P. and Prakke, editors, Norms, Logics and Information Systems …, 1999
161999
A computable absolutely normal Liouville number
V Becher, PA Heiber, TA Slaman
Mathematics of Computation 84 (296), 2939–2952, 2015
152015
Normal Numbers and Computer Science
V Becher, O Carton
“Sequences, Groups, and Number Theory”, https://link.springer.com/chapter/10.100, 2018
142018
The system can't perform the operation now. Try again later.
Articles 1–20