EDBT 2026 Demo / reviewers in the wild / expert
Adam Prenosil
dblp:151/3469
· DBLP profile ↗
5ranked-venue papers
2as first author
4since 2021 · last 2026
0000-0003-0377-0783ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 2 first-author · 4 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Equivalence of multiset-based consequence relations
Ali Madanshekaf, Adam Prenosil, Zeinab Khanjanzadeh Seresti, Constantine Tsinakis |
Ann. Pure Appl. Log. | 2 |
| 2026 | Compatibility between modal operators in distributive modal logic
Adam Prenosil |
Ann. Pure Appl. Log. | 1 |
| 2025 | Equational definitions of logical filters
Michele Pra Baldi, Adam Prenosil |
Ann. Pure Appl. Log. | 2 |
| 2024 | On the Structure of Balanced Residuated Partially Ordered Monoids
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto |
RAMiCS | 4 |
| 2014 | A Duality for Distributive Unimodal Logic
Adam Prenosil |
Advances in Modal Logic | 1 |