dblp.uni-trier.dewww.uni-trier.de

Verónica Becher Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
10EEVerónica Becher, Alejandro Deymonnaz, Pablo 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)
2007
9EEVerónica Becher, Santiago Figueira, Rafael Picchi: Turing's unpublished algorithm for normal numbers. Theor. Comput. Sci. 377(1-3): 126-138 (2007)
8EEVerónica Becher, Serge Grigorieff: Random reals à la Chaitin with or without prefix-freeness. Theor. Comput. Sci. 385(1-3): 193-201 (2007)
2005
7EEVerónica Becher, Santiago Figueira: Kolmogorov Complexity for Possibly Infinite Computations. Journal of Logic, Language and Information 14(2): 133-148 (2005)
2004
6EEVerónica Becher, Serge Grigorieff: Recursion and topology on 2<=omega for possibly infinite computations. Theor. Comput. Sci. 322(1): 85-136 (2004)
2002
5EEVerónica Becher, Gregory J. Chaitin: Another Example of Higher Order Randomness. Fundam. Inform. 51(4): 325-338 (2002)
4EEVeró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
2EECraig 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

1Craig Boutilier [1] [2]
2Gregory J. Chaitin [5]
3Alejandro Deymonnaz [10]
4Santiago Figueira [4] [7] [9]
5Serge Grigorieff [6] [8]
6Pablo Heiber [10]
7Rafael Picchi [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)