| 2016 | KR | An Analysis of the Equational Properties of the Well-Founded Fixed Point. | Arnaud Carayol, Zoltn sik |
| 2015 | DLT | *-Continuous Kleene ω-Algebras. | Zoltn sik, Uli Fahrenberg, Axel Legay |
| 2015 | MFCS | Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview. | Zoltn sik |
| 2015 | WoLLIC | Equational Properties of Stratified Least Fixed Points (Extended Abstract). | Zoltn sik |
| 2014 | WoLLIC | Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. | Zoltn sik, Panos Rondogiannis |
| 2013 | ATVA | Kleene Algebras and Semimodules for Energy Problems. | Zoltn sik, Uli Fahrenberg, Axel Legay, Karin Quaas |
| 2013 | DLT | Operational Characterization of Scattered MCFLs. | Zoltn sik, Szabolcs Ivn |
| 2012 | DLT | On Context-Free Languages of Scattered Words. | Zoltn sik, Satoshi Okawa |
| 2012 | ICALP | Algebraic Synchronization Trees and Processes. | Luca Aceto, Arnaud Carayol, Zoltn sik, Anna Inglfsdttir |
| 2012 | LATIN | Hausdorff Rank of Scattered Context-Free Linear Orders. | Zoltn sik, Szabolcs Ivn |
| 2011 | DLT | Scattered Context-Free Linear Orderings. | Zoltn sik |
| 2010 | DLT | On Mller Context-Free Grammars. | Zoltn sik, Szabolcs Ivn |
| 2009 | ICTAC | Context-Free Languages of Countable Words. | Zoltn sik, Szabolcs Ivn |
| 2008 | DLT | Iteration Semirings. | Zoltn sik |
| 2007 | CALCO | Regular and Algebraic Words and Ordinals. | Stephen L. Bloom, Zoltn sik |
| 2004 | MFCS | An Algebraic Generalization of omega-Regular Languages. | Zoltn sik, Werner Kuich |
| 2002 | CSL | Greibach Normal Form in Algebraically Complete Semirings. | Zoltn sik, Hans Lei |
| 2002 | DLT | Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators. | Zoltn sik |
| 2001 | DLT | The Equational Theory of Fixed Points with Applications to Generalized Language Theory. | Zoltn sik |
| 2001 | DLT | Automata on Series-Parallel Biposets. | Zoltn sik, Zoltn L. Nmeth |
| 2001 | FOSSACS | Axiomatizing Tropical Semirings. | Luca Aceto, Zoltn sik, Anna Inglfsdttir |
| 2000 | CSL | Axiomatizing the Least Fixed Point Operation and Binary Supremum. | Zoltn sik |
| 2000 | LATIN | Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract. | Stephen L. Bloom, Zoltn sik |
| 2000 | MFCS | Iteration Theories of Boolean Functions. | Zoltn sik |
| 2000 | STACS | On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. | Luca Aceto, Zoltn sik, Anna Inglfsdttir |
| 1998 | STACS | Axiomatizing the Equational Theory of Regular Tree Languages (Extended Anstract). | Zoltn sik |
| 1996 | MFCS | Equational Properties of Iteration in Algebraically Complete Categories. | Zoltn sik, Anna Labella |
| 1995 | ICALP | Nonfinite Axiomatizability of the Equational Theory of Shuffle. | Zoltn sik, Michael Bertol |
| 1995 | LATIN | Free Shuffle Algebras in Language Varieties (Extended Abstract). | Stephen L. Bloom, Zoltn sik |
| 1994 | MFCS | Solving Polynomial Fixed Point Equations. | Stephen L. Bloom, Zoltn sik |
| 1993 | MFPS | Some Quasi-Varieties of Iteration Theories. | Stephen L. Bloom, Zoltn sik |
| 1991 | MFPS | Program Correctness and Matricial Iteration Theories. | Stephen L. Bloom, Zoltn sik |
| 1989 | FCT | On Product Hierarchies of Automata. | Pl Dmsi, Zoltn sik, Balzs Imreh |
| 1986 | MFCS | Homomorphic Realizations of Automata with Compositions. | Zoltn sik, Pl Dmsi, Ferenc Gcseg, J. Virgh |
| 1981 | FCT | An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration. | Zoltn sik |
| 1979 | FCT | On functional tree transducers. | Zoltn sik |