| 2024 | ICTAC | On Concurrent Program Algebra and Demonic Automata. | Emil Sekerinski |
| 2023 | ICPP | Parallel Order-Based Core Maintenance in Dynamic Graphs. | Bin Guo, Emil Sekerinski |
| 2022 | SIGCSE | Universal Design of Interactive Mathematical Notebooks on Programming. | Bin Guo, Jason Nagy, Emil Sekerinski |
| 2017 | EMSOFT | Modelling probabilistic timing analysis: work-in-progress. | Bojan Nokovic, Emil Sekerinski |
| 2016 | SAC | An object model for a dynamic mixin based language. | Eden Burton, Emil Sekerinski |
| 2015 | SAC | The safety of dynamic mixin composition. | Eden Burton, Emil Sekerinski |
| 2014 | EuroPLop | Using dynamic mixins to implement design patterns. | Eden Burton, Emil Sekerinski |
| 2013 | ICTAC | Finitary Fairness in Action Systems. | Emil Sekerinski, Tian Zhang |
| 2008 | ICECCS | Verifying Statecharts with State Invariants. | Emil Sekerinski |
| 2002 | IFM | Translating Statecharts to B. | Emil Sekerinski, Rafik Zurob |
| 2000 | MPC | On Guarded Commands with Fair Choice. | Emil Sekerinski |
| 1999 | FM | Developing Components in the Presence of Re-entrance. | Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis |
| 1998 | ECOOP | A Study of The Fragile Base Class Problem. | Leonid Mikhajlov, Emil Sekerinski |
| 1997 | FM | Class Refinement and Interface Refinement in Object-Oriented Programs. | Anna Mikhajlova, Emil Sekerinski |
| 1994 | FM | Stepwise Refinement of Control Software - A Case Study Using RAISE. | Franois Erasmy, Emil Sekerinski |
| 1992 | MPC | A Calculus for Predicative Programming. | Emil Sekerinski |