Joos Heintz Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Bart Kuijpers, Andres Rojas Paredes: Software Engineering and complexity in effective Algebraic Geometry. J. Complexity 29(1): 92-138 (2013)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Bank, Marc Giusti, Joos Heintz, Mohab Safey El Din: Intrinsic complexity estimates in polynomial optimization. CoRR abs/1304.5214 (2013)
2012
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rafael Grimson, Joos Heintz, Bart Kuijpers: Evaluating geometric queries using few arithmetic operations. Appl. Algebra Eng. Commun. Comput. 23(3-4): 179-193 (2012)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Bank, Marc Giusti, Joos Heintz, Lutz Lehmann, Luis Miguel Pardo: Algorithms of Intrinsic Complexity for Point Searching in Compact Real Singular Hypersurfaces. Foundations of Computational Mathematics 12(1): 75-122 (2012)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Bart Kuijpers, Andres Rojas Paredes: On the intrinsic complexity of elimination problems in effective Algebraic Geometry. CoRR abs/1201.4344 (2012)
2011
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rafael Grimson, Joos Heintz, Bart Kuijpers: Efficient evaluation of specific queries in constraint databases. Inf. Process. Lett. 111(19): 941-944 (2011)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nardo Giménez, Joos Heintz, Guillermo Matera, Pablo Solernó: Lower complexity bounds for interpolation algorithms. J. Complexity 27(2): 151-187 (2011)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Giusti, Joos Heintz, Bart Kuijpers: The evaluation of geometric queries: constraint databases and quantifier elimination. CoRR abs/1110.2196 (2011)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Bart Kuijpers, Andres Rojas Paredes: Software Engineering and Complexity in Effective Algebraic Geometry. CoRR abs/1110.3030 (2011)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rafael Grimson, Joos Heintz, Bart Kuijpers: Evaluating geometric queries using few arithmetic operations. CoRR abs/1111.0499 (2011)
2010
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Bank, Marc Giusti, Joos Heintz, Mohab Safey El Din, Éric Schost: On the geometry of polar varieties. Appl. Algebra Eng. Commun. Comput. 21(1): 33-83 (2010)
2009
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Bank, Marc Giusti, Joos Heintz, Luis Miguel Pardo: On the intrinsic complexity of point finding in real singular hypersurfaces. Inf. Process. Lett. 109(19): 1141-1144 (2009)
2007
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, Peter Z. Revesz: 07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. Constraint Databases, Geometric Elimination and Geographic Information Systems 2007
2005
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Bank, Marc Giusti, Joos Heintz, Luis Miguel Pardo: Generalized polar varieties: geometry and algorithms. J. Complexity 21(4): 377-412 (2005)
2004
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Bart Kuijpers: Constraint Databases, Data Structures and Efficient Query Evaluation. CDB 2004: 1-24
2003
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
D. Castro, Marc Giusti, Joos Heintz, Guillermo Matera, Luis Miguel Pardo: The Hardness of Polynomial Equation Solving. Foundations of Computational Mathematics 3(4): 347-420 (2003)
2002
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
N. Bruno, Joos Heintz, Guillermo Matera, Rosita Wachenchauzer: Functional programming concepts and straight-line programs in computer algebra. Mathematics and Computers in Simulation 60(6): 423-473 (2002)
2001
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Guillermo Matera, Ariel Waissbein: On the Time-Space Complexity of Geometric Elimination Procedures. Appl. Algebra Eng. Commun. Comput. 11(4): 239-296 (2001)
2000
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mikel Aldaz, Joos Heintz, Guillermo Matera, José Luis Montaña, Luis Miguel Pardo: Time-Space Tradeoffs in Algebraic Complexity Theory. J. Complexity 16(1): 2-49 (2000)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Teresa Krick, Susana Puddu, Juan Sabia, Ariel Waissbein: Deformation Techniques for Efficient Polynomial Equation Solving. J. Complexity 16(1): 70-109 (2000)
1999
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
1998
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mikel Aldaz, Joos Heintz, Guillermo Matera, José Luis Montaña, Luis Miguel Pardo: Combinatorial Hardness Proofs for Polynomial Evaluation. MFCS 1998: 167-175
1997
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Bank, Marc Giusti, Joos Heintz, Guy M. Mbakop: Polar Varieties, Real Equation Solving, and Data Structures: The Hypersurface Case. J. Complexity 13(1): 5-27 (1997)
1995
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Giusti, Joos Heintz, Jose Enrique Morais, Luis Miguel Pardo: When Polynomial Equation Systems Can Be "Solved" Fast?. AAECC 1995: 205-231
1994
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Marie-Françoise Roy, Pablo Solernó: Description of the Connected Components of a Semialgebraic in Single Exponential Time. Discrete & Computational Geometry 11: 121-140 (1994)
1993
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leandro Caniglia, Guillermo Cortiñas, Silvia Danón, Joos Heintz, Teresa Krick, Pablo Solernó: (Working Group Noaï Fitchas) Algorithmic Aspects of Suslin's Proof of Serre's Conjecture. Computational Complexity 3: 31-55 (1993)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Giusti, Joos Heintz, Juan Sabia: On the Efficiency of Effective Nullstellensätze. Computational Complexity 3: 56-95 (1993)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Marie-Françoise Roy, Pablo Solernó: On the Theoretical and Practical Complexity of the Existential Theory of Reals. Comput. J. 36(5): 427-431 (1993)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Jacques Morgenstern: On the Intrinsic Complexity of Elimination Theory. J. Complexity 9(4): 471-498 (1993)
1991
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leandro Caniglia, André Galligo, Joos Heintz: Equations for the projective closure and effective Nullstellensatz. Discrete Applied Mathematics 33(1-3): 11-23 (1991)
1990
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Teresa Krick, Marie-Françoise Roy, Pablo Solernó: Geometric Problems Solvable in Single Exponential Time. AAECC 1990: 11-23
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Marie-Françoise Roy, Pablo Solernó: Single Exponential Path Finding in Semialgebraic Sets. Part 1: The Case of a Regular Bounded Hypersurface. AAECC 1990: 180-196
1989
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Pablo Solernó, Marie-Françoise Roy: On the Complexity of Semialgebraic Sets. IFIP Congress 1989: 293-298
1988
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James H. Davenport, Joos Heintz: Real Quantifier Elimination is Doubly Exponential. J. Symb. Comput. 5(1/2): 29-35 (1988)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leandro Caniglia, André Galligo, Joos Heintz: Some New Effectivity Bounds in Computational Geometry. AAECC 1988: 131-151
1987
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz: On the Computational Complexity of Polynomials and Bilinear Mappings. A Survey. AAECC 1987: 269-300
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hans F. de Groote, Joos Heintz, Stefan Möhler, Heinz Schmidt: On the Complexity of Lie Algebras. FCT 1987: 172-179
1986
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz: On Polynomials with Symmetric Galois Group which Are Easy to Compute. Theor. Comput. Sci. 47(3): 99-105 (1986)
1985
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz: Corrigendum: Definability and Fast Quantifier Elimination in Algebraically Closed Fields. Theor. Comput. Sci. 39: 343 (1985)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hans F. de Groote, Joos Heintz: A Lower Bound for the Bilinear Complexity of Some Semisimple Lie Algebras. AAECC 1985: 211-222
1984
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Jacques Morgenstern: On associative algebras of minimal rank. AAECC 1984: 1-24
1983
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz: Definability and Fast Quantifier Elimination in Algebraically Closed Fields. Theor. Comput. Sci. 24: 239-277 (1983)
1981
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Malte Sieveking: Absolute Primality of Polynomials is Decidable in Random Polynomial Time in the Number of Variables. ICALP 1981: 16-28
1980
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Malte Sieveking: Lower Bounds for Polynomials with Algebraic Coefficients. Theor. Comput. Sci. 11: 321-330 (1980)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz, Claus-Peter Schnorr: Testing Polynomials which Are Easy to Compute (Extended Abstract). STOC 1980: 262-272
1979
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz: A New Method to Show Lower Bounds for Polynomials which are Hard to Compute. Theoretical Computer Science 1979: 153-157
1976
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joos Heintz: Untere Schranken für die Komplexität logischer Entscheidungsprobleme. Komplexität von Entscheidungsproblemen 1976 1976: 127-137

Coauthor Index

1Mikel Aldaz
[j14] [c14]
2Bernd Bank
[i5] [j23] [j20] [j19] [c17] [j18] [c15] [j12]
3N. Bruno
[j16]
4Leandro Caniglia
[j10] [j6] [c9]
5D. Castro
[j17]
6Guillermo Cortiñas
[j10]
7Silvia Danón
[j10]
8James H. Davenport (James Harold Davenport)
[j5]
9Mohab Safey El Din
[i5] [j20]
10Max J. Egenhofer
[c17]
11André Galligo
[j6] [c9]
12Nardo Giménez
[j21]
13Marc Giusti
[i5] [j23] [i3] [j20] [j19] [j18] [j17] [j12] [c13] [j9]
14Rafael Grimson
[j24] [j22] [i1]
15Hans F. de Groote
[c7] [c6]
16Teresa Krick
[j13] [j10] [c12]
17Bart Kuijpers
[j25] [j24] [i4] [j22] [i3] [i2] [i1] [c17] [c16]
18Lutz Lehmann
[j23] [c15]
19Guillermo Matera
[j21] [j17] [j16] [j15] [j14] [c15] [c14]
20Guy M. Mbakop
[c15] [j12]
21José Luis Montaña (José L. Montaña)
[j14] [c14]
22Jose Enrique Morais
[c13]
23Jacques Morgenstern
[j7] [c5]
24Stefan Möhler
[c7]
25Luis M. Pardo (Luis Miguel Pardo)
[j23] [j19] [j18] [j17] [j14] [c14] [c13]
26Andres Rojas Paredes
[j25] [i4] [i2]
27Susana Puddu
[j13]
28Peter Z. Revesz
[c17]
29Marie-Françoise Roy
[j11] [j8] [c12] [c11] [c10]
30Juan Sabia
[j13] [j9]
31Heinz Schmidt
[c7]
32Claus-Peter Schnorr
[c3]
33Éric Schost
[j20]
34Malte Sieveking
[c4] [j1]
35Pablo Solernó
[j21] [j11] [j10] [j8] [c12] [c11] [c10]
36Rosita Wachenchauzer
[j16] [c15]
37Ariel Waissbein
[j15] [j13] [c15]

Colors in the list of coauthors

Last update Wed May 22 01:55:26 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page