| 2017 | SOFSEM | Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict. | Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite |
| 2010 | TAMC | A Categorical View of Timed Weak Bisimulation. | Natalya Gribovskaya, Irina B. Virbitskaite |
| 2009 | PACT | Towards Parametric Verification of Prioritized Time Petri Nets. | Anna Dedova, Irina B. Virbitskaite |
| 2007 | PACT | A Categorical Observation of Timed Testing Equivalence. | Natalya Gribovskaya, Irina B. Virbitskaite |
| 2005 | PACT | Timed Equivalences for Timed Event Structures. | Maria V. Andreeva, Irina B. Virbitskaite |
| 2001 | FCT | On the Category of Event Structures with Dense Time. | Nataly S. Moskaljova, Irina B. Virbitskaite |
| 2001 | PACT | Characterizing Timed Net Processes Categorically. | Irina B. Virbitskaite |
| 1999 | FCT | A Partial Order Method for the Verification of Time Petri Nets. | Irina B. Virbitskaite, E. Pokozy |
| 1999 | PACT | Parametric Behaviour Analysis for Time Petri Nets. | Irina B. Virbitskaite, E. Pokozy |
| 1997 | FCT | Behavioural Characterizations of Partial Order Logics. | Irina B. Virbitskaite, Anzhelika Votintseva |