The Principles of Interpretability. - Mladen Vukovic (Notre Dame J. Formal Log., 1999)

Bisimulations between generalized Veltman models and Veltman models. - Mladen Vukovic (Math. Log. Q., 2008)

Bisimulations and bisimulation quotients of generalized Veltman models. - Domagoj Vrgoc; Mladen Vukovic (Log. J. IGPL, 2010)

Bisimulation quotients of Veltman models. - Domagoj Vrgoc; Mladen Vukovic (Reports Math. Log., 2011)

Some characterization and preservation theorems in modal logic. - Tin Perkov; Mladen Vukovic (Ann. Pure Appl. Log., 2012)

A bisimulation characterization for interpretability logic. - Tin Perkov; Mladen Vukovic (Log. J. IGPL, 2014)

Transaction Analysis- A mechanism to detect and prevent VAT-fraud in the European Emissions Trading System (EU ETS). - Thomas Schütz; Yves Andre; Mladen Vukovic (EnviroInfo/ICT4S (2), 2015)

Filtrations of generalized Veltman models. - Tin Perkov; Mladen Vukovic (Math. Log. Q., 2016)

Decidability of interpretability logics ILM0 and ILW. - Luka Mikec; Tin Perkov; Mladen Vukovic (Log. J. IGPL, 2017)

Complexity of the interpretability logic IL. - Luka Mikec; Fedor Pakhomov; Mladen Vukovic (Log. J. IGPL, 2019)

Interpretability Logics and generalised Veltman Semantics. - Luka Mikec; Mladen Vukovic (J. Symb. Log., 2020)

Bisimulations and bisimulation games between Verbrugge models. - Sebastijan Horvat; Tin Perkov; Mladen Vukovic (Math. Log. Q., 2023)

Correction to: Decidability of interpretability logics IL M0 and IL W. - Luka Mikec; Tin Perkov; Mladen Vukovic (Log. J. IGPL, 2024)