Bitopology and Four-valued Logic. - Tomas Jakl; Achim Jung; Ales Pultr (MFPS, 2016)

Free Constructions and Coproducts of d-Frames. - Tomas Jakl; Achim Jung (CALCO, 2017)

d-Frames as algebraic duals of bitopological spaces. - Tomas Jakl (2018)

Quotients of d-Frames. - Tomas Jakl; Achim Jung; Ales Pultr (Appl. Categorical Struct., 2019)

Canonical extensions of locally compact frames. - Tomas Jakl (CoRR, 2019)

A Duality Theoretic View on Limits of Finite Structures. - Mai Gehrke; Tomas Jakl; Luca Reggio (FoSSaCS, 2020)

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures. - Mai Gehrke; Tomas Jakl; Luca Reggio (CoRR, 2020)

Lovász-Type Theorems and Game Comonads. - Anuj Dawar; Tomas Jakl; Luca Reggio (LICS, 2021)

Discrete Density Comonads and Graph Parameters. - Samson Abramsky; Tomas Jakl; Thomas Paine (CMCS, 2022)

A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems. - Tomas Jakl; Dan Marsden; Nihil Shah (CoRR, 2022)

A duality theoretic view on limits of finite structures: Extended version. - Mai Gehrke; Tomas Jakl; Luca Reggio (Log. Methods Comput. Sci., 2022)

A categorical account of composition methods in logic. - Tomas Jakl; Dan Marsden; Nihil Shah (LICS, 2023)

A categorical account of composition methods in logic (extended version). - Tomas Jakl; Dan Marsden; Nihil Shah (CoRR, 2024)

A categorical perspective on constraint satisfaction: The wonderland of adjunctions. - Maximilian Hadek; Tomas Jakl; Jakub Oprsal (CoRR, 2025)

Canonical extensions via fitted sublocales. - Tomas Jakl; Anna Laura Suarez (Appl. Categorical Struct., 2025)