Verónica Becher
    Journal Publications

  1. V. Becher and S. Yuhjtman. "On absolutely normal and continued fraction normal numbers", 2017, to appear in International Mathematics Research Notices. pdf arXiv

  2. C. Aistleitner, V. Becher, A.-M. Scheerer and T. Slaman. "On the construction of absolutely normal numbers", 2017, to appear in Acta Arithmetica. pdf arXiv

  3. N. Alvarez, V. Becher and O. Carton. "Finite-state independence and normal sequences", submitted 2017. pdf arXiv

  4. V. Becher, O. Carton and P.A. Heiber. "Finite-state independence", 2017, to appear in Theory of Computing Systems. pdf arXiv

  5. V. Becher, J. Reimann and T. Slaman. "Irrationality Exponent, Hausdorff Dimension and Effectivization", to appear in Monatshefte für Mathematik, 2017. pdf arXiv

  6. N. Alvarez and V. Becher. "M. Levin's construction of absolutely normal numbers with very low discrepancy", Mathematics of Computation 86(308): 2927–2946, 2017. doi pdf

  7. N. Alvarez, V. Becher, P. Ferrari and S. Yuhjtman. "Perfect necklaces", Advances of Applied Mathematics 80:48--61, 2016. doi pdf

  8. P. Turjanski, G.Parra, R. Espada, V. Becher and D. Ferreiro. "Protein repeats from first principles", Scientific Reports 6, Article number: 23959, 2016. link doi pdf

  9. V. Becher, Y. Bugeaud and T. Slaman. "On simply normal numbers to different bases", Mathematische Annalen, 364(1), 125-150, 2016. doi pdf

  10. V. Becher, Y. Bugeaud and T. Slaman. "The irrationality exponents of computable numbers", Proceedings of American Mathematical Society 144:1509--1521, 2016. doi pdf

  11. V. Becher, P. Heiber and T. Slaman. "A computable absolutely normal Liouville number", Mathematics of Computation 84(296): 2939--2952, 2015. doi pdf

  12. V. Becher, O. Carton and P. Heiber. "Normality and automata", Journal of Computer and System Sciences 81(8): 1592--1613, 2015. doi pdf

  13. V. Becher and T. Slaman. "On the normality of numbers to different bases", Journal of the London Mathematical Society 90 (2): 472--494, 2014. doi pdf

  14. V. Becher, P. Heiber and T. Slaman. "Normal numbers and the Borel hierarchy", Fundamenta Mathematicae 226: 63-77, 2014. doi pdf

  15. V. Becher, P. Heiber and T. Slaman. "A polynomial-time algorithm for computing absolutely normal numbers", Information and Computation 232: 1--9, 2013. doi pdf

  16. V.Becher and S.Grigorieff. "Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization", Mathematical Structures in Computer Science 25(7): 1490-1519 (2015), doi pdf

  17. V.Becher and S.Grigorieff. "Wadge hardness in Scott spaces and its effectivization", Mathematical Structures in Computer Science 25(7): 1520-1545 (2015) doi pdf

  18. V.Becher and P.A. Heiber. "Normal numbers and finite automata", Theoretical Computer Science 477: 109--116, 2013. doi pdf

  19. P. Barenbaum, V. Becher, A. Deymonnaz, M. Halsband, and P.A. Heiber. "Efficient repeat finding in sets of strings via suffix arrays", Discrete Mathematics and Theoretical Computer Science 15(2), 2013. DMTCS link pdf   software

  20. F. Serra, V. Becher and H. Dopazo. "Neutral theory predicts the relative abundance and diversity of genetic elements in a broad array of eukaryotic genomes", PLoS ONE 8(6): e63915, 2013. doi

  21. V. Becher and P.A. Heiber. "A linearly computable measure of string complexity", Theoretical Computer Science, 438: 62--73, 2012. doi pdf  software (run it as ./runk_onefile [alphabet size]) plotter

  22. V. Becher and P.A. Heiber. "On extending de Bruijn sequences", Information Processing Letters 111: 930--932, 2011. doi  pdf

  23. V. Becher, P.A. Heiber, and A. Deymonnaz. "Efficient computation of all perfect repeats in genomic sequences of up to half a Gigabyte, with a case study on the Human genome", Bioinformatics 25(14):1746--1753, 2009. doi  pdf  arxiv(with proofs of correctness) software

  24. V. Becher and S.Grigorieff. "From index sets to randomness in the n-th jump of the halting problem. Random reals and possibly infinite computations", Journal of Symbolic Logic, 74(1):124--156, 2009. doi   pdf

  25. V. Becher and S. Grigorieff. "Random reals à la Chaitin with or without prefix freeness", Theoretical Computer Science 385: 193--201, 2007. doi  pdf

  26. V. Becher, S.Figueira and R. Picchi. "Turing's unpublished algorithm for normal numbers", Theoretical Computer Science 377: 126-138, 2007. doi  pdf

  27. V. Becher, S.Figueira, S.Grigorieff and J.Miller. "Randomness and Halting Probabilities", Journal of Symbolic Logic 71:4, 1411--1430, 2006. doi  pdf

  28. V. Becher and S. Grigorieff. "Random Reals and Possibly Infinite Computations. Part I: randomness in the Halting Problem", Journal of Symbolic Logic 70(3): 891--913, 2005. doi   pdf

  29. V. Becher, S. Figueira, A. Nies and S. Picchi. "Program size complexity for possibly infinite computations", Notre Dame Journal of Formal Logic 46(1): 51--64, 2005. doi  pdf

  30. V. Becher and S. Grigorieff. "Recursion and topology on the space of finite and infinite words for possibly Infinite computations", Theoretical Computer Science, 322 (1): 85-136, 2004. doi   pdf

  31. V. Becher and S. Figueira, "Kolmogorov Complexity for Possibly Infinite Computations", Journal of Logic Language and Information, 14(2): 133 --148, 2005. doi   pdf

  32. V. Becher and G. Chaitin. "Another example of higher order randomness", Fundamenta Informaticae, 51(4):.325--338, 2002. pdf

  33. V. Becher and S. Figueira, "An example of a computable absolutely normal number", Theoretical Computer Science 270: 947--958, 2002. doi   pdf

  34. C. Boutilier and V. Becher, "Abduction as Belief Revision", Journal of Artificial Intelligence, 77(1): 43--94, 1995. doi  pdf

  35. Editorial

  36. Report from Dagstuhl Seminar Computability, Complexity and Randomness 2012, Verónica Becher, Laurent Bienvenu, Rodney Downey, and Elvira Mayordomo. Schloss Dagstuhl, Seminar 12021, January 8-13, 2012.

  37. Book Chapters and Conference Proceedings

  38. V. Becher and O. Carton, Chapter "Normal numbers and Computer Science" In "Sequences, Groups, and Number Theory", Valérie Berthé and Michel Rigó editors. Trends in Mathematics Series, Birkhauser/Springer. Draft July, 2017. pdf

  39. V. Becher. "Turing's note on normal numbers" pages 408-411 in Alan Turing - His Work and Impact, editors S Barry Cooper and Jan van Leeuwen, Elsevier, 2013 (Prose Award 2013) pdf

  40. V. Becher. "Turing's normal numbers: towards randomness", S.B. Cooper, A.Dawar, B. Löwe (eds.), CiE 2012, Lecture Notes in Computer Science 7318:35--45, Springer, Heidelberg, 2012. Springer link   pdf

  41. V. Becher, S.Daicz and G.Chaitin, "A highly random number", Combinatorics, Computability and Logic, editors C.Calude, M. J.Dineen and S.Sburlan, Springer Verlag, London, 55--68, 2001. pdf

  42. C. Areces and V. Becher. "Iterable AGM functions", Frontiers of Belief Revision, editors H.Rott and M.Williams, Kluwer, Dordrecht, 261--277, 2001.

  43. C.Areces, V.Becher and S.Ferro. "Characterization Results for d-Horn Formulas, or On formulas that are true on Dual Reduced Products". Logic, Language and Computation, 3, Cavedon, P.Blackburn, N.Braisby and A. Shimojima.(eds), CSLI Publications, 49--66, 2000. pdf

  44. C.Areces and V. Becher, "Update, the infinite case", Proceedings of the Argentinean Workshop on Theoretical Computer Science, in the 28 Jornadas Argentinas de Informáatica e Investigación Operativa (JAIIO), Buenos Aires, September 1999.

  45. V. Becher, Fermé, S. Lazzer, R. Rodriguez, C. Oller and G. Palau. "Some Observations on Carlos Alchourrón's Theory of Defeasible Conditionals". Norms Logics and Information Systems, P.Mc Namara and H. Prakken (eds), New Studies on Deontic Logic and Computer Science, IOS Press, 219--230, 1999.

  46. C.Areces and V. Becher. "On the Logic for Utopia", In Annals of the 1st CACiC, Bahía Blanca, Argentina, 1995. link pdf

  47. V. Becher. "Two Conditional Logics for Defeasible Inference: A Comparison. Preliminary Version", Lecture Notes in Computer Science; Notes in Artificial Intelligence, editors J. Wainer and A. Carvalho, Advances in Artificial Intelligence. Springer Verlag, Berlin, 49--58, 1995.

  48. V. Becher. "Unified Semantics for Revision and Update, or the Theory of Lazy Update", Proceedings of the 24 Jornadas Argentinas de Informática e Investigación Operativa (JAIIO), SADIO (eds). Buenos Aires, Argentina, 1995. pdf

  49. C. Boutilier and V. Becher, "A Model of Preferred Explanations", Eleventh National Conference on Artificial Intelligence (AAAI93), Washington DC, 642--648, 1993.

Facundo López Bristot, Traducción del alemán al español del artículo "Endliche Automaten und Zufallsfolgen", C. P. Schnorr y H. Stimm, Acta Informatica, 1:345--359. Springer-Verlag, 1972. Beca CIN, 2012.