Verónica Becher

	2012
16		Verónica Becher, Laurent Bienvenu, Rodney G. Downey, Elvira Mayordomo: Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports 2(1): 19-38 (2012)
	2011
15		Verónica Becher, Pablo Ariel Heiber: On extending de Bruijn sequences. Inf. Process. Lett. 111(18): 930-932 (2011)
	2009
14		Verónica Becher, Alejandro Deymonnaz, Pablo Ariel Heiber: 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)
13		Verónica Becher, Serge Grigorieff: From index sets to randomness in EMPTY SET n: random reals and possibly infinite computations. Part II. J. Symb. Log. 74(1): 124-156 (2009)
	2007
12		Verónica Becher, Santiago Figueira, Rafael Picchi: Turing's unpublished algorithm for normal numbers. Theor. Comput. Sci. 377(1-3): 126-138 (2007)
11		Verónica Becher, Serge Grigorieff: Random reals à la Chaitin with or without prefix-freeness. Theor. Comput. Sci. 385(1-3): 193-201 (2007)
	2006
10		Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller: Randomness and halting probabilities. J. Symb. Log. 71(4): 1411-1430 (2006)
	2005
9		Verónica Becher, Serge Grigorieff: Random reals and possibly infinite computations Part I: Randomness in EMPTY SET '. J. Symb. Log. 70(3): 891-913 (2005)
8		Verónica Becher, Santiago Figueira: Kolmogorov Complexity for Possibly Infinite Computations. Journal of Logic, Language and Information 14(2): 133-148 (2005)
7		Verónica Becher, Santiago Figueira, André Nies, Silvana Picchi: Program Size Complexity for Possibly Infinite Computations. Notre Dame Journal of Formal Logic 46(1): 51-64 (2005)
	2004
6		Verónica Becher, Serge Grigorieff: Recursion and topology on 2<=omega for possibly infinite computations. Theor. Comput. Sci. 322(1): 85-136 (2004)
	2002
5		Verónica Becher, Gregory J. Chaitin: Another Example of Higher Order Randomness. Fundam. Inform. 51(4): 325-338 (2002)
4		Verónica Becher, Santiago Figueira: An example of a computable absolutely normal number. Theor. Comput. Sci. 270(1-2): 947-958 (2002)
	1995
3		Verónica Becher: Two Conditional Logics for Defeasible Inference: A Comparison Preliminary Version. SBIA 1995: 49-58
2		Craig Boutilier, Verónica Becher: Abduction as Belief Revision. Artif. Intell. 77(1): 43-94 (1995)
	1993
1		Craig Boutilier, Verónica Becher: Abduction As Belief Revision: A Model of Preferred Explanations. AAAI 1993: 642-648

Coauthor Index

1	Laurent Bienvenu	[16]
2	Craig Boutilier	[1] [2]
3	Gregory J. Chaitin	[5]
4	Alejandro Deymonnaz	[14]
5	Rodney G. Downey (Rod Downey)	[16]
6	Santiago Figueira	[4] [7] [8] [10] [12]
7	Serge Grigorieff	[6] [9] [10] [11] [13]
8	Pablo Ariel Heiber	[14] [15]
9	Elvira Mayordomo	[16]
10	Joseph S. Miller	[10]
11	André Nies	[7]
12	Rafael Picchi	[12]
13	Silvana Picchi	[7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page