VLDB 2026 Research / reviewers in the wild / expert
Slavko Moconja
dblp:154/9401
· DBLP profile ↗
4ranked-venue papers
3as first author
1since 2021 · last 2025
0000-0003-4095-8830ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 3 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Weakly o-minimal types
Slavko Moconja, Predrag Tanovic |
Ann. Pure Appl. Log. | 1 |
| 2020 | Stationarily ordered types and the number of countable models
Slavko Moconja, Predrag Tanovic |
Ann. Pure Appl. Log. | 1 |
| 2020 | Around Rubin's "Theories of linear order"abstractAbstract Let $\mathcal M=(M,<,\ldots)$ be a linearly ordered first-order structure and T its complete theory. We investigate conditions for T that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders with added unary predicates). Motivated by Rubin’s work [5], we label three conditions expressing properties of types of T and/or automorphisms of models of T. We prove several results which indicate the “geometric” simplicity of definable sets in models of theories satisfying these conditions. For example, we prove that the strongest condition characterizes, up to definitional equivalence (inter-definability), theories of colored orders expanded by equivalence relations with convex classes. Predrag Tanovic, Slavko Moconja, Dejan Ilic |
J. Symb. Log. | 2 |
| 2015 | Asymmetric regular types
Slavko Moconja, Predrag Tanovic |
Ann. Pure Appl. Log. | 1 |