| Publication | Date of Publication | Type |
|---|
Tropical cryptography III: digital signatures
(available as arXiv preprint) | N/A | Paper |
A criterion of containment for tropical hypersurfaces
(available as arXiv preprint) | N/A | Paper |
A tropical version of Hilbert function
(available as arXiv preprint) | N/A | Paper |
Valuations, bijections, and bases
(available as arXiv preprint) | N/A | Paper |
Universal dynamical system for brain modeling
Journal of Physics A: Mathematical and Theoretical | 2026-09-29 | Paper |
| Tropical proof systems: between R(CP) and resolution | 2026-06-24 | Paper |
Minimal solutions of tropical linear differential systems
Applicable Algebra in Engineering, Communication and Computing | 2026-04-20 | Paper |
Effective resolution of singularities
Pure and Applied Mathematics Quarterly | 2026-03-30 | Paper |
Testing containment of tropical hypersurfaces within polynomial complexity
Journal of Symbolic Computation | 2025-12-02 | Paper |
| Exponential complexity lower bounds for depth 3 arithmetic circuits in algebras of functions over finite fields | 2025-10-29 | Paper |
A tropical version of Hilbert polynomial (in dimension one)
Beiträge zur Algebra und Geometrie | 2025-10-14 | Paper |
Non-equilibrium dynamics in complex networks via asymmetric Glauber models
Journal of Physics A: Mathematical and Theoretical | 2025-07-24 | Paper |
Identifying Markov chain models from time-to-event data: an algebraic approach
Bulletin of Mathematical Biology | 2025-01-13 | Paper |
Tropical cryptography. III: Digital signatures
Journal of Mathematical Cryptology | 2024-11-12 | Paper |
Semialgebraic proofs, IPS lower bounds, and the -conjecture: can a natural number be negative?
SIAM Journal on Computing | 2024-06-27 | Paper |
Response to stress via underlying deep gene regulation networks
Mathematical Methods in the Applied Sciences | 2024-06-07 | Paper |
The entropy of the radical ideal of a tropical curve
Advances in Applied Mathematics | 2024-01-29 | Paper |
| Identifying Markov chain models from time-to-event data: an algebraic approach | 2023-11-06 | Paper |
| BASS: Boolean Automorphisms Signature Scheme | 2023-06-20 | Paper |
| Digital signature schemes using non-square matrices or scrap automorphisms | 2023-06-15 | Paper |
Excitable media store and transfer complicated information via topological defect motion
Communications in Nonlinear Science and Numerical Simulation | 2022-10-28 | Paper |
Tropical Newton-Puiseux polynomials. II
Journal of Symbolic Computation | 2022-09-22 | Paper |
Analyzing and forecasting financial series with singular spectral analysis
Dependence Modeling | 2022-09-16 | Paper |
| A tropical version of Hilbert polynomial (in dimension one) | 2021-11-29 | Paper |
On a tropical version of the Jacobian conjecture
Journal of Symbolic Computation | 2021-09-29 | Paper |
On a tropical version of the Jacobian conjecture
Journal of Symbolic Computation | 2021-09-29 | Paper |
Entropy of tropical holonomic sequences
Journal of Symbolic Computation | 2021-08-05 | Paper |
Efficiently and effectively recognizing toricity of steady state varieties
Mathematics in Computer Science | 2021-06-25 | Paper |
Complexity of deciding whether a tropical linear prevariety is a tropical variety
Applicable Algebra in Engineering, Communication and Computing | 2021-06-11 | Paper |
Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative?
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing | 2021-01-19 | Paper |
Probabilistic solution of Yao's millionaires' problem
(available as arXiv preprint) | 2020-12-15 | Paper |
A case study on the parametric occurrence of multiple steady states
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Tropical combinatorial Nullstellensatz and sparse polynomials
Foundations of Computational Mathematics | 2020-09-07 | Paper |
Decomposing tropical rational functions
Journal of Symbolic Computation | 2020-06-15 | Paper |
Key agreement based on automaton groups
Groups - Complexity - Cryptology | 2020-05-11 | Paper |
Tropical recurrent sequences
Advances in Applied Mathematics | 2020-02-27 | Paper |
| Secure multiparty computation without one-way functions | 2020-02-13 | Paper |
Identifying the parametric occurrence of multiple steady states for some biological networks
Journal of Symbolic Computation | 2020-01-15 | Paper |
Tropical cryptography II: Extensions by homomorphisms
Communications in Algebra | 2019-08-07 | Paper |
On semiring complexity of Schur polynomials
Computational Complexity | 2018-12-10 | Paper |
On semiring complexity of Schur polynomials
Computational Complexity | 2018-12-10 | Paper |
Upper bounds on Betti numbers of tropical prevarieties
Arnold Mathematical Journal | 2018-11-08 | Paper |
Tropical Newton-Puiseux polynomials
(available as arXiv preprint) | 2018-10-23 | Paper |
| Orthogonal tropical linear prevarieties | 2018-10-23 | Paper |
| A framework for unconditionally secure public-key encryption (with possible decryption errors) | 2018-08-17 | Paper |
Tropical effective primary and dual Nullstellensätze
Discrete & Computational Geometry | 2018-04-20 | Paper |
Tropical effective primary and dual Nullstellensätze
Discrete & Computational Geometry | 2018-04-20 | Paper |
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
(available as arXiv preprint) | 2018-02-23 | Paper |
Probabilistic solution of Yao's millionaires' problem
(available as arXiv preprint) | 2017-11-27 | Paper |
| Tropical combinatorial Nullstellensatz and fewnomials testing | 2017-11-22 | Paper |
Yao's millionaires' problem and public-key encryption without computational assumptions
International Journal of Foundations of Computer Science | 2017-09-08 | Paper |
Bounds on the number of connected components for tropical prevarieties
Discrete & Computational Geometry | 2017-03-23 | Paper |
| Tropical effective primary and dual Nullstellensätze | 2017-01-24 | Paper |
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
Journal of Computational Physics | 2016-12-05 | Paper |
Tropical differential equations
Advances in Applied Mathematics | 2016-11-02 | Paper |
Linear gaps between degrees for the polynomial calculus modulo distinct primes
1345.03105 | 2016-09-29 | Paper |
Lower bounds on testing membership to a polyhedron by algebraic decision trees
Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94 | 2016-09-01 | Paper |
Reduction methods and chaos for quadratic systems of differential equations
Studies in Applied Mathematics | 2016-05-25 | Paper |
Subtraction-free complexity, cluster transformations, and spanning trees
Foundations of Computational Mathematics | 2016-03-04 | Paper |
A geometric method for model reduction of biochemical networks with polynomial rate functions
Bulletin of Mathematical Biology | 2016-02-23 | Paper |
Complexity of tropical Schur polynomials
Journal of Symbolic Computation | 2015-12-08 | Paper |
Bounds on numers of vectors of multiplicities for polynomials which are easy to compute
Proceedings of the 2000 international symposium on Symbolic and algebraic computation | 2015-11-26 | Paper |
Polynomial Complexity Recognizing a Tropical Linear Variety
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Computing highest-order divisors for a class of quasi-linear partial differential equations
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Analysis of reaction network systems using tropical geometry
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Absolute factoring of non-holonomic ideals in the plane
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Tropicalization and tropical equilibration of chemical reactions
Contemporary Mathematics | 2015-09-11 | Paper |
Generalized Loewy-decomposition of d-modules
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
Complexity of tropical and MIN-plus linear prevarieties
Computational Complexity | 2015-07-08 | Paper |
Yao's millionaires' problem and decoy-based public key encryption by classical physics
International Journal of Foundations of Computer Science | 2014-11-14 | Paper |
Tensor rank: matching polynomials and Schur rings
Foundations of Computational Mathematics | 2014-09-04 | Paper |
Efficient methods to compute Hopf bifurcations in chemical reaction networks using reaction coordinates
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
Polynomial complexity of solving systems of few algebraic equations with small degrees
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
Complexity in Tropical Algebra (Invited Talk)
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
Tropical Cryptography
Communications in Algebra | 2014-04-25 | Paper |
Tropical Cryptography
Communications in Algebra | 2014-04-25 | Paper |
Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Secrecy without one-way functions
Groups, Complexity, Cryptology | 2014-01-23 | Paper |
Obituary: Nikolai Aleksandrovich Shanin (1919--2011)
Russian Mathematical Surveys | 2013-12-17 | Paper |
Secure information transmission based on physical principles
Unconventional Computation and Natural Computation | 2013-06-28 | Paper |
Complexity of solving tropical linear systems
Computational Complexity | 2013-04-11 | Paper |
Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2
Advances in Mathematics | 2012-11-20 | Paper |
Universal stratifications and a Bertini-type theorem
Advances in Mathematics | 2012-11-02 | Paper |
Complexity of solving systems with few independent monomials and applications to mass-action kinetics
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
Continuous hard-to-invert functions and biometric authentication
Groups, Complexity, Cryptology | 2012-08-28 | Paper |
No-leak authentication by the Sherlock Holmes method
Groups, Complexity, Cryptology | 2012-08-28 | Paper |
| Effective Hironaka resolution and its Complexity (with appendix on applications in positive characteristic) | 2012-06-14 | Paper |
Effective Hironaka resolution and its complexity
The Asian Journal of Mathematics | 2012-04-05 | Paper |
On a tropical dual Nullstellensatz
Advances in Applied Mathematics | 2012-03-29 | Paper |
Authentication schemes from actions on graphs, groups, or rings
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
Complexity of quantifier elimination in the theory of ordinary differential equations
Lecture Notes in Computer Science | 2011-04-16 | Paper |
Complexity of a standard basis of a D-module.
St. Petersburg Mathematical Journal | 2011-03-02 | Paper |
A low complexity probabilistic test for integer multiplication
Journal of Complexity | 2010-08-03 | Paper |
Analogue of Newton-Puiseux series for non-holonomic D-modules and factoring
(available as arXiv preprint) | 2010-04-13 | Paper |
| Analogue of Newton-Puiseux series for non-holonomic D-modules and factoring | 2010-04-13 | Paper |
Probabilistic communication complexity over the reals
Computational Complexity | 2010-03-15 | Paper |
Authentication from matrix conjugation
Groups - Complexity - Cryptology | 2010-03-11 | Paper |
Time hierarchies for cryptographic function inversion with advice
Journal of Mathematical Sciences (New York) | 2010-01-15 | Paper |
A Complete Public-Key Cryptosystem
Groups - Complexity - Cryptology | 2009-03-23 | Paper |
Loewy decomposition of third-order linear aPDE's in the plane
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
Constructions in public-key cryptography over matrix groups
(available as arXiv preprint) | 2008-12-10 | Paper |
Loewy and primary decompositions of D-modules
Advances in Applied Mathematics | 2007-09-19 | Paper |
| Complexity of Janet basis of a D-module | 2007-04-10 | Paper |
Homomorphic public-key cryptosystems and encrypting Boolean circuits
Applicable Algebra in Engineering, Communication and Computing | 2006-10-25 | Paper |
