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

Joos Heintz Coauthor index pubzone.org

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

DBLP keys2012
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Bart Kuijpers, Andres Rojas Paredes: On the intrinsic complexity of elimination problems in effective Algebraic Geometry CoRR abs/1201.4344: (2012)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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)
2011
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Giusti, Joos Heintz, Bart Kuijpers: The evaluation of geometric queries: constraint databases and quantifier elimination CoRR abs/1110.2196: (2011)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Bart Kuijpers, Andres Rojas Paredes: Software Engineering and Complexity in Effective Algebraic Geometry CoRR abs/1110.3030: (2011)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Grimson, Joos Heintz, Bart Kuijpers: Evaluating geometric queries using few arithmetic operations CoRR abs/1111.0499: (2011)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael Grimson, Joos Heintz, Bart Kuijpers: Efficient evaluation of specific queries in constraint databases. Inf. Process. Lett. 111(19): 941-944 (2011)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNardo Giménez, Joos Heintz, Guillermo Matera, Pablo Solernó: Lower complexity bounds for interpolation algorithms. J. Complexity 27(2): 151-187 (2011)
2010
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Bank, Marc Giusti, Joos Heintz, Luis Miguel Pardo: Generalized polar varieties: geometry and algorithms. J. Complexity 21(4): 377-412 (2005)
2004
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Bart Kuijpers: Constraint Databases, Data Structures and Efficient Query Evaluation. CDB 2004: 1-24
2003
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLN. 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikel 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)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Teresa Krick, Susana Puddu, Juan Sabia, Ariel Waissbein: Deformation Techniques for Efficient Polynomial Equation Solving. J. Complexity 16(1): 70-109 (2000)
1999
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Bank, Joos Heintz, Lutz Lehmann, Guillermo Matera, Guy M. Mbakop, Rosita Wachenchauzer, Ariel Waissbein: OpTERA - Optimization and Real Equation Solving. German-Argentinian Workshop on Information Technology 1999: 69-72
1998
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikel Aldaz, Joos Heintz, Guillermo Matera, José Luis Montaña, Luis Miguel Pardo: Combinatorial Hardness Proofs for Polynomial Evaluation. MFCS 1998: 167-175
1997
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Giusti, Joos Heintz, Jose Enrique Morais, Luis Miguel Pardo: When Polynomial Equation Systems Can Be "Solved" Fast?. AAECC 1995: 205-231
1994
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos 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)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeandro 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)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Giusti, Joos Heintz, Juan Sabia: On the Efficiency of Effective Nullstellensätze. Computational Complexity 3: 56-95 (1993)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Jacques Morgenstern: On the Intrinsic Complexity of Elimination Theory. J. Complexity 9(4): 471-498 (1993)
1991
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeandro Caniglia, André Galligo, Joos Heintz: Equations for the projective closure and effective Nullstellensatz. Discrete Applied Mathematics 33(1-3): 11-23 (1991)
1990
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Teresa Krick, Marie-Françoise Roy, Pablo Solernó: Geometric Problems Solvable in Single Exponential Time. AAECC 1990: 11-23
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos 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
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Pablo Solernó, Marie-Françoise Roy: On the Complexity of Semialgebraic Sets. IFIP Congress 1989: 293-298
1988
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeandro Caniglia, André Galligo, Joos Heintz: Some New Effectivity Bounds in Computational Geometry. AAECC 1988: 131-151
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames H. Davenport, Joos Heintz: Real Quantifier Elimination is Doubly Exponential. J. Symb. Comput. 5(1/2): 29-35 (1988)
1987
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz: On the Computational Complexity of Polynomials and Bilinear Mappings. A Survey. AAECC 1987: 269-300
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans F. de Groote, Joos Heintz, Stefan Möhler, Heinz Schmidt: On the Complexity of Lie Algebras. FCT 1987: 172-179
1986
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz: On Polynomials with Symmetric Galois Group which Are Easy to Compute. Theor. Comput. Sci. 47(3): 99-105 (1986)
1985
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans F. de Groote, Joos Heintz: A Lower Bound for the Bilinear Complexity of Some Semisimple Lie Algebras. AAECC 1985: 211-222
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz: Corrigendum: Definability and Fast Quantifier Elimination in Algebraically Closed Fields. Theor. Comput. Sci. 39: 343 (1985)
1984
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Jacques Morgenstern: On associative algebras of minimal rank. AAECC 1984: 1-24
1983
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz: Definability and Fast Quantifier Elimination in Algebraically Closed Fields. Theor. Comput. Sci. 24: 239-277 (1983)
1981
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Malte Sieveking: Absolute Primality of Polynomials is Decidable in Random Polynomial Time in the Number of Variables. ICALP 1981: 16-28
1980
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Claus-Peter Schnorr: Testing Polynomials which Are Easy to Compute (Extended Abstract) STOC 1980: 262-272
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Malte Sieveking: Lower Bounds for Polynomials with Algebraic Coefficients. Theor. Comput. Sci. 11: 321-330 (1980)
1979
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz: A New Method to Show Lower Bounds for Polynomials which are Hard to Compute. Theoretical Computer Science 1979: 153-157
1976
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz: Untere Schranken für die Komplexität logischer Entscheidungsprobleme. Komplexität von Entscheidungsproblemen 1976 1976: 127-137

Coauthor Index

1Mikel Aldaz [26] [29]
2Bernd Bank [25] [27] [34] [35] [36] [37] [43]
3N. Bruno [31]
4Leandro Caniglia [14] [18] [21]
5D. Castro [32]
6Guillermo Cortiñas [21]
7Silvia Danón [21]
8James H. Davenport (James Harold Davenport) [13]
9Mohab Safey El Din [37]
10Max J. Egenhofer [35]
11André Galligo [14] [18]
12Nardo Giménez [38]
13Marc Giusti [20] [24] [25] [32] [34] [36] [37] [42] [43]
14Rafael Grimson [39] [40]
15Hans F. de Groote [9] [11]
16Teresa Krick [17] [21] [28]
17Bart Kuijpers [33] [35] [39] [40] [41] [42] [44]
18Lutz Lehmann [27] [43]
19Guillermo Matera [26] [27] [29] [30] [31] [32] [38]
20Guy M. Mbakop [25] [27]
21Stefan Möhler [11]
22José Luis Montaña (José L. Montaña) [26] [29]
23Jose Enrique Morais [24]
24Jacques Morgenstern [7] [19]
25Luis M. Pardo (Luis Miguel Pardo) [24] [26] [29] [32] [34] [36] [43]
26Andres Rojas Paredes [41] [44]
27Susana Puddu [28]
28Peter Z. Revesz [35]
29Marie-Françoise Roy [15] [16] [17] [22] [23]
30Juan Sabia [20] [28]
31Heinz Schmidt [11]
32Claus-Peter Schnorr [4]
33Éric Schost [37]
34Malte Sieveking [3] [5]
35Pablo Solernó [15] [16] [17] [21] [22] [23] [38]
36Rosita Wachenchauzer [27] [31]
37Ariel Waissbein [27] [28] [30]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page