| 2008 |
| 90 | EE | Dima Grigoriev,
Fritz Schwarz:
Loewy decomposition of third-order linear aPDE's in the plane.
ISSAC 2008: 277-286 |
| 89 | EE | Dima Grigoriev,
Vladimir Shpilrain:
Zero-knowledge authentication schemes from actions on graphs, groups, or rings
CoRR abs/0802.1661: (2008) |
| 88 | EE | Sergei N. Artëmov,
Volker Diekert,
Dima Grigoriev:
Foreword.
Theory Comput. Syst. 43(2): 99 (2008) |
| 2007 |
| 87 | EE | Dima Grigoriev:
Probabilistic communication complexity over the reals
CoRR abs/0710.2732: (2007) |
| 2006 |
| 86 | | Dima Grigoriev,
John Harrison,
Edward A. Hirsch:
Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
Springer 2006 |
| 85 | EE | Dima Grigoriev,
S. Vakulenko:
Algorithms and complexity in biological pattern formation problems.
Ann. Pure Appl. Logic 141(3): 412-428 (2006) |
| 84 | EE | Dima Grigoriev,
Ilia V. Ponomarenko:
Homomorphic Public-Key Cryptosystems and Encrypting Boolean Circuits.
Appl. Algebra Eng. Commun. Comput. 17(3-4): 239-255 (2006) |
| 83 | EE | Dima Grigoriev,
Edward A. Hirsch,
Konstantin Pervyshev:
A Complete Public-Key Cryptosystem.
Electronic Colloquium on Computational Complexity (ECCC) 13: (2006) |
| 2005 |
| 82 | EE | Dima Grigoriev,
Fritz Schwarz:
Generalized Loewy-decomposition of d-modules.
ISSAC 2005: 163-170 |
| 81 | EE | Dima Grigoriev,
Dmitrii V. Pasechnik:
Polynomial-time computing over quadratic maps i: sampling in real algebraic sets.
Computational Complexity 14(1): 20-52 (2005) |
| 80 | EE | Dima Grigoriev,
Edward A. Hirsch,
Konstantin Pervyshev:
Time hierarchies for cryptographic function inversion with advice
Electronic Colloquium on Computational Complexity (ECCC)(076): (2005) |
| 79 | EE | Dima Grigoriev:
Weak Bézout inequality for D-modules.
J. Complexity 21(4): 532-542 (2005) |
| 2004 |
| 78 | EE | Dima Grigoriev,
Dmitrii V. Pasechnik:
Polynomial-time computing over quadratic maps I. Sampling in real algebraic sets
CoRR cs.SC/0403008: (2004) |
| 77 | EE | Dima Grigoriev,
Fritz Schwarz:
Factoring and Solving Linear Partial Differential Equations.
Computing 73(2): 179-197 (2004) |
| 76 | EE | Dima Burago,
Dima Grigoriev,
Anatol Slissenko:
Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon.
Theor. Comput. Sci. 315(2-3): 371-404 (2004) |
| 2003 |
| 75 | EE | Dima Grigoriev,
Ilia V. Ponomarenko:
Homomorphic public-key cryptosystems and encrypting boolean circuits
CoRR cs.CR/0301022: (2003) |
| 74 | EE | Dima Grigoriev,
Ilia V. Ponomarenko:
Homomorphic public-key cryptosystems over groups and rings
CoRR cs.CR/0309010: (2003) |
| 73 | EE | Dima Grigoriev:
Weak Bezout inequality for D-modules
CoRR cs.SC/0311053: (2003) |
| 72 | EE | Dima Grigoriev,
Edward A. Hirsch:
Algebraic proof systems over formulas.
Theor. Comput. Sci. 1(303): 83-102 (2003) |
| 2002 |
| 71 | EE | Dima Grigoriev,
Edward A. Hirsch,
Dmitrii V. Pasechnik:
Exponential Lower Bound for Static Semi-algebraic Proofs.
ICALP 2002: 257-268 |
| 70 | EE | Dima Grigoriev,
Edward A. Hirsch,
Dmitrii V. Pasechnik:
Complexity of Semi-algebraic Proofs.
STACS 2002: 419-430 |
| 69 | EE | Dima Grigoriev,
Ilia V. Ponomarenko:
On non-abelian homomorphic public-key cryptosystems
CoRR cs.CR/0207079: (2002) |
| 68 | EE | Dima Grigoriev:
Public-key cryptography and invariant theory
CoRR cs.CR/0207080: (2002) |
| 67 | EE | Dima Grigoriev:
Public-key cryptography and invariant theory
Electronic Colloquium on Computational Complexity (ECCC)(042): (2002) |
| 66 | EE | Dima Grigoriev:
Approximation and Complexity II: Iterated Integration.
Foundations of Computational Mathematics 2(3): 295-304 (2002) |
| 2001 |
| 65 | EE | Felipe Cucker,
Dima Grigoriev:
There Are No Sparse NPW-Hard Sets.
MFCS 2001: 285-291 |
| 64 | | Dima Grigoriev,
Nicolai Vorobjov:
Complexity of Null-and Positivstellensatz proofs.
Ann. Pure Appl. Logic 113(1-3): 153-160 (2001) |
| 63 | EE | Dima Grigoriev:
Complexity of Positivstellensatz proofs for the knapsack.
Computational Complexity 10(2): 139-154 (2001) |
| 62 | EE | Dima Grigoriev,
Edward A. Hirsch,
Dmitrii V. Pasechnik:
Complexity of semi-algebraic proofs
Electronic Colloquium on Computational Complexity (ECCC)(103): (2001) |
| 61 | EE | Dima Grigoriev,
Edward A. Hirsch:
Algebraic proof systems over formulas
Electronic Colloquium on Computational Complexity (ECCC) 8(11): (2001) |
| 60 | EE | Dima Grigoriev:
Approximation and Complexity: Liouvillean-Type Theorems for Linear Differential Equations on an Interval.
Foundations of Computational Mathematics 1(3): 289-295 (2001) |
| 59 | | Samuel R. Buss,
Dima Grigoriev,
Russell Impagliazzo,
Toniann Pitassi:
Linear Gaps between Degrees for the Polynomial Calculus Modulo Distinct Primes.
J. Comput. Syst. Sci. 62(2): 267-289 (2001) |
| 58 | EE | Felipe Cucker,
Dima Grigoriev:
There are No Sparse NPw-Hard Sets.
SIAM J. Comput. 31(1): 193-198 (2001) |
| 57 | EE | Dima Grigoriev:
Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity.
Theor. Comput. Sci. 259(1-2): 613-622 (2001) |
| 2000 |
| 56 | EE | Dima Grigoriev,
Nicolai Vorobjov:
Bounds on numers of vectors of multiplicities for polynomials which are easy to compute.
ISSAC 2000: 137-146 |
| 55 | EE | Dima Grigoriev,
Alexander A. Razborov:
Exponential Lower Bounds for Depth 3 Arithmetic Circuits in Algebras of Functions over Finite Fields.
Appl. Algebra Eng. Commun. Comput. 10(6): 465-487 (2000) |
| 54 | EE | Dima Grigoriev,
Yagati N. Lakshman:
Algorithms for Computing Sparse Shifts for Multivariate Polynomials.
Appl. Algebra Eng. Commun. Comput. 11(1): 43-67 (2000) |
| 53 | EE | Dima Grigoriev:
Topological Complexity of the Range Searching.
J. Complexity 16(1): 50-53 (2000) |
| 1999 |
| 52 | EE | Samuel R. Buss,
Dima Grigoriev,
Russell Impagliazzo,
Toniann Pitassi:
Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (Abstract).
IEEE Conference on Computational Complexity 1999: 5 |
| 51 | EE | Samuel R. Buss,
Dima Grigoriev,
Russell Impagliazzo,
Toniann Pitassi:
Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes.
STOC 1999: 547-556 |
| 50 | EE | Dima Grigoriev:
Complexity lower bounds for randomized computation trees over zero characteristic fields.
Computational Complexity 8(4): 316-329 (1999) |
| 49 | EE | Dima Grigoriev:
Randomized Complexity Lower Bound for Arrangements and Polyhedra.
Discrete & Computational Geometry 21(3): 329-344 (1999) |
| 48 | EE | Felipe Cucker,
Dima Grigoriev:
Complexity Lower Bounds for Approximation Algebraic Computation Trees.
J. Complexity 15(4): 499-512 (1999) |
| 1998 |
| 47 | EE | Dima Grigoriev,
Alexander A. Razborov:
Exponential Complexity Lower Bounds for Depth 3 Arithmetic Circuits in Algebras of Functions Over Finite Fields.
FOCS 1998: 269-278 |
| 46 | EE | Dima Grigoriev:
Tseitin's Tautologies and Lower Bounds for Nullstellensatz Proofs.
FOCS 1998: 648-652 |
| 45 | EE | Dima Grigoriev,
Anatol Slissenko:
Polytime Algorithm for the Shortest Path in a Homotopy Class Amidst Semi-Algebraic Obstacles in the Plane.
ISSAC 1998: 17-24 |
| 44 | EE | Dima Grigoriev:
Randomized Complexity Lower Bounds.
STOC 1998: 219-223 |
| 43 | EE | Dima Grigoriev,
Marek Karpinski:
An Exponential Lower Bound for Depth 3 Arithmetic Circuits.
STOC 1998: 577-582 |
| 42 | EE | Dima Grigoriev,
Marek Karpinski,
Andrew Chi-Chih Yao:
An exponential lower bound on the size of algebraic decision trees for Max.
Computational Complexity 7(3): 193-203 (1998) |
| 41 | | Dima Grigoriev,
Marek Karpinski:
Computing the Additive Complexity of Algebraic Circuits with Root Extracting.
SIAM J. Comput. 27(3): 694-701 (1998) |
| 1997 |
| 40 | | Dima Grigoriev,
Anatol Slissenko:
Computing Minimum-Link Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane.
AAECC 1997: 114-129 |
| 39 | EE | Dima Grigoriev,
Marek Karpinski:
Randomized Omega(n2) Lower Bound for Knapsack.
STOC 1997: 76-85 |
| 38 | | Dima Grigoriev,
Marek Karpinski,
Friedhelm Meyer auf der Heide,
Roman Smolensky:
A Lower Bound for Randomized Algebraic Decision Trees.
Computational Complexity 6(4): 357-375 (1997) |
| 37 | | Dima Grigoriev,
Marek Karpinski,
Roman Smolensky:
Randomization and the Computational Power of Analytic and Algebraic Decision Trees.
Computational Complexity 6(4): 376-388 (1997) |
| 36 | EE | Dima Grigoriev,
Marek Karpinski,
Nicolai Vorobjov:
Lower Bound on Testing Membership to a Polyhedron by Algebraic Decision and Computation Trees.
Discrete & Computational Geometry 17(2): 191-215 (1997) |
| 35 | EE | Dima Grigoriev:
Nearly Sharp Complexity Bounds for Multiprocessor Algebraic Computations.
J. Complexity 13(1): 50-64 (1997) |
| 34 | | Felipe Cucker,
Dima Grigoriev:
On the Power of Real Turing Machines Over Binary Inputs.
SIAM J. Comput. 26(1): 243-254 (1997) |
| 33 | EE | Dima Grigoriev:
Testing Shift-Equivalence of Polynomials by Deterministic, Probabilistic and Quantum Machines.
Theor. Comput. Sci. 180(1-2): 217-228 (1997) |
| 1996 |
| 32 | EE | Dima Grigoriev:
Testing Shift-Equivalence of Polynomials Using Quantum Machines.
ISSAC 1996: 49-54 |
| 31 | EE | Dima Grigoriev,
Marek Karpinski,
Friedhelm Meyer auf der Heide,
Roman Smolensky:
A Lower Bound for Randomized Algebraic Decision Trees.
STOC 1996: 612-619 |
| 30 | EE | Dima Grigoriev,
Marek Karpinski:
Randomized Omega(n2) Lower Bound for Knapsack
Electronic Colloquium on Computational Complexity (ECCC) 3(58): (1996) |
| 29 | | Dima Grigoriev,
Marek Karpinski,
Andrew M. Odlyzko:
Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann.
Fundam. Inform. 28(3-4): 297-301 (1996) |
| 28 | EE | Dima Grigoriev:
NC Solving of a System of Linear Ordinary Differential Equations in Several Unknowns.
Theor. Comput. Sci. 157(1): 79-90 (1996) |
| 27 | EE | Dima Grigoriev,
Marek Karpinski:
Computability of the Additive Complexity of Algebraic Circuits with Root Extracting.
Theor. Comput. Sci. 157(1): 91-99 (1996) |
| 26 | EE | Dima Grigoriev,
Nicolai Vorobjov:
Complexity Lower Bounds for Computation Trees with Elementary Transcendental Function Gates.
Theor. Comput. Sci. 157(2): 185-214 (1996) |
| 1995 |
| 25 | | Dima Grigoriev,
Marek Karpinski,
Nicolai Vorobjov:
Improved Lower Bound on Testing Membership to a Polyhedron by Algebraic Decision Trees.
FOCS 1995: 258-265 |
| 24 | EE | Dima Grigoriev,
Yagati N. Lakshman:
Algorithms for Computing Sparse Shifts for Multivariate Polynomials.
ISSAC 1995: 96-103 |
| 23 | EE | Dima Grigoriev,
Marek Karpinski,
Andrew Chi-Chih Yao:
An Exponential Lower Bound on the Size of Algebraic Decision Trees for MAX
Electronic Colloquium on Computational Complexity (ECCC) 2(57): (1995) |
| 22 | EE | Dima Grigoriev,
Marek Karpinski,
Friedhelm Meyer auf der Heide,
Roman Smolensky:
A Lower Bound for Randomized Algebraic Decision Trees
Electronic Colloquium on Computational Complexity (ECCC) 2(63): (1995) |
| 21 | | Dima Grigoriev,
Michael F. Singer,
Andrew Chi-Chih Yao:
On Computing Algebraic Functions Using Logarithms and Exponentials.
SIAM J. Comput. 24(2): 242-246 (1995) |
| 1994 |
| 20 | | Dima Grigoriev,
Nicolai Vorobjov:
Complexity Lower Bounds for Computation Trees with Elementary Transcendental Function Gates
FOCS 1994: 548-552 |
| 19 | EE | Dima Grigoriev,
Marek Karpinski,
Nicolai Vorobjov:
Lower bounds on testing membership to a polyhedron by algebraic decision trees.
STOC 1994: 635-644 |
| 18 | | Dima Grigoriev,
Marek Karpinski,
Michael F. Singer:
Computational Complexity of Sparse Rational Interpolation.
SIAM J. Comput. 23(1): 1-11 (1994) |
| 17 | | Dima Grigoriev:
Deviation Theorems for Solutions of Differential Equations and Applications to Lower Bounds on Parallel Complexity of Sigmoids.
Theor. Comput. Sci. 133(1): 23-33 (1994) |
| 1993 |
| 16 | | Dima Grigoriev,
Marek Karpinski:
A Zero-Test and an Interpolation Algorithm for the Shifted Sparse Polynominals.
AAECC 1993: 162-169 |
| 1992 |
| 15 | EE | Dima Grigoriev,
Marek Karpinski,
Andrew M. Odlyzko:
Existence of Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis.
ISSAC 1992: 117-122 |
| 1991 |
| 14 | | Dima Grigoriev,
Marek Karpinski:
An Approximation Algorithm for the Number of Zeros of Arbitrary Polynomials over GF[q]
FOCS 1991: 662-669 |
| 13 | EE | Dima Grigoriev,
Marek Karpinski:
Algorithms for Sparse Rational Interpolation.
ISSAC 1991: 7-13 |
| 1990 |
| 12 | | Dima Grigoriev,
Marek Karpinski,
Michael F. Singer:
Interpolation of Sparse Rational Functions Without Knowing Bounds on Exponents
FOCS 1990: 840-846 |
| 11 | EE | Dima Grigoriev:
How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set.
ISSAC 1990: 104-105 |
| 10 | EE | Dima Grigoriev:
Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations.
ISSAC 1990: 225-230 |
| 9 | | Dima Grigoriev:
Complexity of Factoring and Calculating the GCD of Linear Ordinary Differential Operators.
J. Symb. Comput. 10(1): 7-38 (1990) |
| 8 | | Dima Grigoriev,
Marek Karpinski,
Michael F. Singer:
Fast Parallel Algorithms for Sparse Multivariate Polynomial Interpolation over Finite Fields.
SIAM J. Comput. 19(6): 1059-1063 (1990) |
| 1988 |
| 7 | | Dima Grigoriev,
Nicolai Vorobjov:
Solving Systems of Polynomial Inequalities in Subexponential Time.
J. Symb. Comput. 5(1/2): 37-64 (1988) |
| 6 | | Dima Grigoriev:
Complexity of Deciding Tarski Algebra.
J. Symb. Comput. 5(1/2): 65-108 (1988) |
| 1987 |
| 5 | | Dima Grigoriev,
Marek Karpinski:
The Matching Problem for Bipartite Graphs with Polynomially Bounded Permanents Is in NC (Extended Abstract)
FOCS 1987: 166-172 |
| 1984 |
| 4 | | Alexander L. Chistov,
Dima Grigoriev:
Complexity of Quantifier Elimination in the Theory of Algebraically Closed Fields.
MFCS 1984: 17-31 |
| 1982 |
| 3 | | Dima Grigoriev:
Additive Complexity in Directed Computations.
Theor. Comput. Sci. 19: 39-67 (1982) |
| 1981 |
| 2 | | Dima Grigoriev:
Multiplicative Complexity of a Bilinear Form over a Commutative Ring.
MFCS 1981: 281-286 |
| 1978 |
| 1 | | Dima Grigoriev:
Multiplicative Complexity of a Pair of Bilinear Forms and of the Polynomial Multiplication.
MFCS 1978: 250-256 |