2008 | ||
---|---|---|
61 | EE | Felipe Cucker, Teresa Krick, Gregorio Malajovich, Mario Wschebor: A numerical algorithm for zero counting, I: Complexity and accuracy. J. Complexity 24(5-6): 582-605 (2008) |
2007 | ||
60 | EE | Peter Bürgisser, Felipe Cucker: Exotic Quantifiers, Complexity Classes, and Complete Problems. ICALP 2007: 207-218 |
59 | EE | Felipe Cucker, Teresa Krick, Gregorio Malajovich, Mario Wschebor: A Numerical Algorithm for Zero Counting. I: Complexity and Accuracy CoRR abs/0710.4508: (2007) |
58 | EE | Felipe Cucker, Irénée Briquel: A note on parallel and alternating time. J. Complexity 23(4-6): 594-602 (2007) |
2006 | ||
57 | EE | Peter Bürgisser, Felipe Cucker, Paulin Jacobé de Naurois: The complexity of semilinear problems in succinct representation. Computational Complexity 15(3): 197-235 (2006) |
56 | EE | Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Implicit complexity over an arbitrary structure: Quantifier alternations. Inf. Comput. 204(2): 210-230 (2006) |
55 | EE | Peter Bürgisser, Felipe Cucker: Counting complexity classes for numeric computations II: Algebraic and semialgebraic sets. J. Complexity 22(2): 147-191 (2006) |
54 | EE | Dennis Cheung, Felipe Cucker: Solving linear programs with finite precision: II. Algorithms. J. Complexity 22(3): 305-335 (2006) |
2005 | ||
53 | EE | Peter Bürgisser, Felipe Cucker, Paulin Jacobé de Naurois: The Complexity of Semilinear Problems in Succinct Representation. FCT 2005: 479-490 |
52 | EE | Felipe Cucker: On sparseness, reducibilities, and complexity. Ann. Pure Appl. Logic 134(1): 53-61 (2005) |
51 | EE | Peter Bürgisser, Felipe Cucker: Exotic quantifiers, complexity classes, and complete problems Electronic Colloquium on Computational Complexity (ECCC)(138): (2005) |
50 | EE | Lenore Blum, Felipe Cucker, Tomaso Poggio, James Renegar, Michael Shub: Foreword. Foundations of Computational Mathematics 5(4): 349 (2005) |
49 | EE | Peter Bürgisser, Felipe Cucker, Martin Lotz: Counting Complexity Classes for Numeric Computations. III: Complex Projective Sets. Foundations of Computational Mathematics 5(4): 351-387 (2005) |
48 | EE | Dennis Cheung, Felipe Cucker: A note on level-2 condition numbers. J. Complexity 21(3): 314-319 (2005) |
47 | EE | Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time. J. Log. Comput. 15(1): 41-58 (2005) |
2004 | ||
46 | Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures. IFIP TCS 2004: 409-422 | |
45 | EE | Peter Bürgisser, Felipe Cucker: Counting complexity classes for numeric computations II: algebraic and semialgebraic sets. STOC 2004: 475-485 |
44 | EE | Felipe Cucker, Steve Smale, Ding-Xuan Zhou: Modeling Language Evolution. Foundations of Computational Mathematics 4(3): 315-343 (2004) |
43 | EE | Dennis Cheung, Felipe Cucker: Solving linear programs with finite precision: I. Condition numbers and random programs. Math. Program. 99(1): 175-196 (2004) |
2003 | ||
42 | EE | Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time. FoSSaCS 2003: 185-199 |
41 | EE | Peter Bürgisser, Felipe Cucker: Counting Complexity Classes over the Reals I: The Additive Case. ISAAC 2003: 625-634 |
40 | EE | Peter Bürgisser, Felipe Cucker: Counting complexity classes for numeric computations II: algebraic and semialgebraic sets CoRR cs.CC/0312007: (2003) |
39 | EE | Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH. Electr. Notes Theor. Comput. Sci. 90(1): (2003) |
38 | EE | Dennis Cheung, Felipe Cucker: Learning from rounded-off data. Inf. Comput. 182(1): 1-13 (2003) |
37 | EE | Dennis Cheung, Felipe Cucker, Javier Peña: Unifying Condition Numbers for Linear Programming. Math. Oper. Res. 28(4): 609-624 (2003) |
2002 | ||
36 | EE | Felipe Cucker: On sparseness and Turing reducibility over the reals. Electr. Notes Theor. Comput. Sci. 67: (2002) |
35 | EE | Felipe Cucker, Steve Smale: Best Choices for Regularization Parameters in Learning Theory: On the Bias-Variance Problem. Foundations of Computational Mathematics 2(4): 413-428 (2002) |
34 | EE | Felipe Cucker: Real Computations with Fake Numbers. J. Complexity 18(1): 104-134 (2002) |
2001 | ||
33 | EE | Felipe Cucker, Dima Grigoriev: There Are No Sparse NPW-Hard Sets. MFCS 2001: 285-291 |
32 | EE | Felipe Cucker, Dima Grigoriev: There are No Sparse NPw-Hard Sets. SIAM J. Comput. 31(1): 193-198 (2001) |
31 | EE | Felipe Cucker: On weak and weighted computations over the real closure of Q. Theor. Comput. Sci. 255(1-2): 593-600 (2001) |
2000 | ||
30 | EE | Felipe Cucker: Solving polynomial systems: a complexity theory viewpoint. ISSAC 2000 |
29 | EE | Felipe Cucker, Thomas Lickteig: Preface. J. Complexity 16(1): 1 (2000) |
1999 | ||
28 | EE | Felipe Cucker: Real Computations with Fake Numbers. ICALP 1999: 55-73 |
27 | EE | Felipe Cucker, Steve Smale: Complexity Estimates Depending on Condition and Round-Off Error. J. ACM 46(1): 113-184 (1999) |
26 | EE | Felipe Cucker: Approximate Zeros and Condition Numbers. J. Complexity 15(2): 214-226 (1999) |
25 | EE | Felipe Cucker, Dima Grigoriev: Complexity Lower Bounds for Approximation Algebraic Computation Trees. J. Complexity 15(4): 499-512 (1999) |
24 | Felipe Cucker, Pascal Koiran, Steve Smale: A Polynomial Time Algorithm for Diophantine Equations in One Variable. J. Symb. Comput. 27(1): 21-29 (1999) | |
23 | Felipe Cucker, Klaus Meer: Logics Which Capture Complexity Classes Over The Reals. J. Symb. Log. 64(1): 363-390 (1999) | |
1998 | ||
22 | EE | Felipe Cucker, Steve Smale: Complexity Estimates Depending on Condition and Round-Off Error. ESA 1998: 115-126 |
1997 | ||
21 | Felipe Cucker, Klaus Meer: Logics Which Capture Complexity Classes over the Reals. FCT 1997: 157-167 | |
20 | EE | Felipe Cucker, Pascal Koiran, Martín Matamala: Complexity and Dimension. Inf. Process. Lett. 62(4): 209-212 (1997) |
19 | Felipe Cucker: Machines Over the Reals and Non Uniformity. Math. Log. Q. 43: 143-157 (1997) | |
18 | Felipe Cucker, Dima Grigoriev: On the Power of Real Turing Machines Over Binary Inputs. SIAM J. Comput. 26(1): 243-254 (1997) | |
1996 | ||
17 | EE | Felipe Cucker, Michael Shub: EDITOR'S FOREWORD. J. Complexity 12(4): 255-256 (1996) |
16 | Felipe Cucker, Martín Matamala: On Digital Nondeterminism. Mathematical Systems Theory 29(6): 635-647 (1996) | |
15 | EE | Felipe Cucker, Mike Shub: Generalized Knapsack Problems and Fixed Degree Separations. Theor. Comput. Sci. 161(1&2): 301-306 (1996) |
1995 | ||
14 | EE | Felipe Cucker, Marek Karpinski, Pascal Koiran, Thomas Lickteig, Kai Werther: On real Turing machines that toss coins. STOC 1995: 335-342 |
13 | EE | Felipe Cucker, Pascal Koiran: Computing over the Reals with Addition and Order: Higher Complexity Classes. J. Complexity 11(3): 358-376 (1995) |
1994 | ||
12 | Felipe Cucker, Mike Shub, Steve Smale: Separation of Complexity Classes in Koiran's Weak Model. Theor. Comput. Sci. 133(1): 3-14 (1994) | |
1993 | ||
11 | Felipe Cucker, Francesc Rosselló: Recursiveness over the Complex Numbers is Time-Bounded. FSTTCS 1993: 260-267 | |
10 | Felipe Cucker: On the Complexity of Quantifier Elimination: the Structural Approach. Comput. J. 36(5): 400-408 (1993) | |
1992 | ||
9 | Felipe Cucker, Francesc Rosselló: On the Complexity of Some Problems for the Blum, Shub & Smale Model. LATIN 1992: 117-129 | |
8 | Felipe Cucker, Hervé Lanneau, Bud Mishra, Paul Pedersen, Marie-Françoise Roy: NC Algorithms for Real Algebraic Numbers. Appl. Algebra Eng. Commun. Comput. 3: 79-98 (1992) | |
7 | EE | Felipe Cucker: PR != NCR. J. Complexity 8(3): 230-238 (1992) |
6 | EE | Felipe Cucker, A. Torrecillas: Two P-complete problems in the theory of the reals. J. Complexity 8(4): 454-466 (1992) |
5 | Felipe Cucker: The Arithmetical Hierarchy over the Reals. J. Log. Comput. 2(3): 375-395 (1992) | |
1991 | ||
4 | Felipe Cucker, A. Torrecillas: Two P-Complete Problems in the Theory of the Reals. ICALP 1991: 556-565 | |
1990 | ||
3 | Felipe Cucker, Marie-Françoise Roy: Kac's Theorem on the Number of Real Roots and its Consequences in Average Complexity. J. Symb. Comput. 10(5): 405-410 (1990) | |
1989 | ||
2 | Felipe Cucker, Joaquim Gabarró: Non Recursive Functions Have Transcendental Generating Series. ITA 23(4): 445-448 (1989) | |
1987 | ||
1 | Felipe Cucker, Luis Miguel Pardo, Mario Raimondo, Tomás Recio, Marie-Françoise Roy: On the Computation of the Local and Global Analytic Branches of a Real Algebraic Curve. AAECC 1987: 161-181 |