| Publication | Date of Publication | Type |
|---|
Orthogonal decomposition of definable groups
Journal of Symbolic Logic | 2024-11-25 | Paper |
Vector spaces with a union of independent subspaces
Archive for Mathematical Logic | 2024-04-16 | Paper |
Provability logic: models within models in Peano arithmetic
Bollettino dell'Unione Matematica Italiana | 2023-04-27 | Paper |
Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS
Journal of Symbolic Logic | 2022-06-15 | Paper |
Submodular functions and valued constraint satisfaction problems over infinite domains
(available as arXiv preprint) | 2022-05-28 | Paper |
One Lie group to define them all
Notre Dame Journal of Formal Logic | 2022-05-06 | Paper |
Piecewise linear valued constraint satisfaction problems with fixed number of variables
(available as arXiv preprint) | 2021-12-08 | Paper |
Provability Logic: models within models in Peano Arithmetic
(available as arXiv preprint) | 2021-09-12 | Paper |
scientific article; zbMATH DE number 7378350 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-04 | Paper |
| Constraint satisfaction problems over numeric domains | 2021-06-15 | Paper |
Fundamental group in o-minimal structures with definable Skolem functions
Annals of Pure and Applied Logic | 2021-06-14 | Paper |
| Orthogonal decomposition of definable groups | 2021-01-03 | Paper |
One Lie group to define them all
(available as arXiv preprint) | 2020-10-20 | Paper |
Asymptotic analysis of Skolem's exponential functions
(available as arXiv preprint) | 2019-11-18 | Paper |
Fundamental group in o-minimal structures with definable Skolem functions
(available as arXiv preprint) | 2018-07-25 | Paper |
The complexity of disjunctive linear Diophantine constraints
(available as arXiv preprint) | 2018-07-03 | Paper |
Tropically convex constraint satisfaction
Theory of Computing Systems | 2018-06-01 | Paper |
On the computing power of \(+\), \(-\), and \(\times\)
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains
(available as arXiv preprint) | 2018-04-05 | Paper |
Strategy recovery for stochastic mean payoff games
Theoretical Computer Science | 2017-05-12 | Paper |
On Pillay's conjecture in the general case
Advances in Mathematics | 2017-04-03 | Paper |
MAX-closed semilinear constraint satisfaction
Computer Science – Theory and Applications | 2016-07-25 | Paper |
On definably proper maps
Fundamenta Mathematicae | 2016-02-24 | Paper |
On definably proper maps
Fundamenta Mathematicae | 2016-02-24 | Paper |
Groups definable in two orthogonal sorts
Israel Journal of Mathematics | 2015-11-16 | Paper |
| On the o-minimal Hilbert's fifth problem | 2015-07-13 | Paper |
Discrete subgroups of locally definable groups
Selecta Mathematica. New Series | 2013-08-19 | Paper |
On the computational complexity of a game of cops and robbers
Theoretical Computer Science | 2013-04-17 | Paper |
Splitting definably compact groups in o-minimal structures
Journal of Symbolic Logic | 2011-10-10 | Paper |
On the homotopy type of definable groups in an o-minimal structure
Journal of the London Mathematical Society | 2011-06-06 | Paper |
Higher homotopy of groups definable in o-minimal structures
Israel Journal of Mathematics | 2011-01-10 | Paper |
Arithmetic of Dedekind cuts of ordered abelian groups
Annals of Pure and Applied Logic | 2009-01-28 | Paper |
