| 2023 | FSCD | Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. | Serenella Cerrito, Valentin Goranko, Sophie Paillocher |
| 2020 | AiML | The Modal Logic of Almost Sure Frame Validities in the Finite. | Valentin Goranko |
| 2020 | ECAI | Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. | Valentin Goranko, Antti Kuusisto, Raine Rnnholm |
| 2019 | PRIMA | Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. | Rodica Condurache, Riccardo De Masellis, Valentin Goranko |
| 2019 | TIME | Minimisation of Models Satisfying CTL Formulas. | Serenella Cerrito, Amlie David, Valentin Goranko |
| 2018 | AiML | A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. | Fengkui Ju, Gianluca Grilletti, Valentin Goranko |
| 2018 | EUMAS | Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. | Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm |
| 2017 | EUMAS | Rational Coordination in Games with Enriched Representations. | Valentin Goranko, Antti Kuusisto, Raine Rnnholm |
| 2017 | TIME | CTL with Finitely Bounded Semantics. | Valentin Goranko, Antti Kuusisto, Raine Rnnholm |
| 2016 | TIME | On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. | Valentin Goranko, Louwe B. Kuijer |
| 2014 | AiML | Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. | Valentin Goranko, Steen Vester |
| 2014 | CADE | Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+. | Serenella Cerrito, Amlie David, Valentin Goranko |
| 2012 | AAMAS | State and path coalition effectivity models for logics of multi-player games. | Valentin Goranko, Wojciech Jamroga |
| 2012 | TIME | Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. | Valentin Goranko |
| 2011 | IJCAI | Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | TIME | The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2010 | ECAI | Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2009 | LFCS | Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. | Valentin Goranko, Dmitry Shkatov |
| 2009 | SEFM | Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2009 | TIME | Undecidability of Interval Temporal Logics with the Overlap Modality. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2008 | LPAR | Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2008 | SEFM | Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. | Valentin Goranko, Dmitry Shkatov |
| 2007 | LFCS | On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2007 | TABLEAUX | Tableau Systems for Logics of Subinterval Structures over Dense Orderings. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |
| 2007 | TARK | Alternating-time temporal logics with irrevocable strategies. | Thomas gotnes, Valentin Goranko, Wojciech Jamroga |
| 2006 | ATVA | Towards a Model-Checker for Counter Systems. | Stphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen |
| 2004 | AiML | Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
| 2003 | TABLEAUX | A General Tableau Method for Propositional Interval Temporal Logics. | Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2001 | TIME | Hybrid Ockhamist Temporal Logic. | Patrick Blackburn, Valentin Goranko |
| 2000 | AiML | Sahlqvist Formulas Unleashed in Polyadic Modal Languages. | Valentin Goranko, Dimiter Vakarelov |
| 1998 | AiML | Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. | Valentin Goranko, Dimiter Vakarelov |