| 2023 | CSL | Adding Transitivity and Counting to the Fluted Fragment. | Ian Pratt-Hartmann, Lidia Tendera |
| 2021 | STACS | On the Fluted Fragment (Invited Talk). | Lidia Tendera |
| 2019 | MFCS | The Fluted Fragment with Transitivity. | Ian Pratt-Hartmann, Lidia Tendera |
| 2016 | CSL | Quine's Fluted Fragment is Non-Elementary. | Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera |
| 2013 | CSL | Means and Limits of Decision (Invited Talk). | Lidia Tendera |
| 2013 | ICALP | Querying the Guarded Fragment with Transitivity. | Georg Gottlob, Andreas Pieris, Lidia Tendera |
| 2013 | STACS | FO^2 with one transitive relation is decidable. | Wieslaw Szwast, Lidia Tendera |
| 2012 | LICS | Two-Variable First-Order Logic with Equivalence Closure. | Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera |
| 2009 | LICS | On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. | Emanuel Kieronski, Lidia Tendera |
| 2007 | LPAR | On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. | Emanuel Kieronski, Lidia Tendera |
| 2005 | LPAR | On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. | Wieslaw Szwast, Lidia Tendera |
| 2005 | STACS | Counting in the Two Variable Guarded Logic with Transitivity. | Lidia Tendera |
| 2003 | CADE | The Complexity of Finite Model Reasoning in Description Logics. | Carsten Lutz, Ulrike Sattler, Lidia Tendera |
| 2001 | LICS | On the Decision Problem for the Guarded Fragment with Transitivity. | Wieslaw Szwast, Lidia Tendera |
| 1997 | LICS | Complexity of Two-Variable Logic with Counting. | Leszek Pacholski, Wieslaw Szwast, Lidia Tendera |