| 2026 | ICAART | Generalized Welfare-Aware Matching with Multimodal Preferences and Criteria Strategizing of Autonomous Agents. | Peash Ranjan Saha, Salimur Choudhury, Kai Salomaa |
| 2025 | DLT | Improved Upper Bounds for Determinizing NIDPDAs with Limited Nondeterminism. | Mohammad Zakzok, Kai Salomaa |
| 2024 | DLT | Universal Rewriting Rules for the Parikh Matrix Injectivity Problem. | Ingyu Baek, Joonghyuk Hahn, Yo-Sub Han, Kai Salomaa |
| 2024 | QCE | Next-Generation Vehicle Platooning: Leveraging Quantum Long Short-Term Memory Networks. | Mahzabeen Emu, Taufiq Rahman, Salimur Choudhury, Kai Salomaa |
| 2023 | DLT | On the Simon's Congruence Neighborhood of Languages. | Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2023 | ICORES | Multi-Objective Task Assignment Solution for Parked Vehicular Computing. | Jia He Sun, Salimur Choudhury, Kai Salomaa |
| 2023 | NetSoft | Quantum Neural Networks driven Stochastic Resource Optimization for Metaverse Data Marketplace. | Mahzabeen Emu, Salimur Choudhury, Kai Salomaa |
| 2021 | SOFSEM | Concatenation Operations and Restricted Variants of Two-Dimensional Automata. | Taylor J. Smith, Kai Salomaa |
| 2020 | LATA | Alternating Finite Automata with Limited Universal Branching. | Chris Keeler, Kai Salomaa |
| 2019 | DLT | The Relative Edit-Distance Between Two Input-Driven Languages. | Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2018 | DLT | Site-Directed Deletion. | Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa |
| 2018 | DLT | Closest Substring Problems for Regular Languages. | Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa |
| 2017 | CSR | Edit Distance Neighbourhoods of Input-Driven Pushdown Automata. | Alexander Okhotin, Kai Salomaa |
| 2017 | DLT | Relative Prefix Distance Between Languages. | Timothy Ng, David Rappaport, Kai Salomaa |
| 2017 | LATA | Consensus String Problem for Multiple Regular Languages. | Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa |
| 2016 | DLT | Outfix-Guided Insertion - (Extended Abstract). | Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa |
| 2016 | SOFSEM | Pseudoknot-Generating Operation. | Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa |
| 2015 | DLT | Generalizations of Code Languages with Marginal Errors. | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2015 | DLT | State Complexity of Neighbourhoods and Approximate Pattern Matching. | Timothy Ng, David Rappaport, Kai Salomaa |
| 2015 | WCNC | Cellular automata and object monitoring in mobile wireless sensor networks. | Salimur Choudhury, Kai Salomaa, Selim G. Akl |
| 2015 | UC | Duplications and Pseudo-Duplications. | Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa |
| 2014 | DLT | State Complexity of Deletion. | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2014 | DLT | Input-Driven Pushdown Automata with Limited Nondeterminism - (Invited Paper). | Alexander Okhotin, Kai Salomaa |
| 2014 | LATA | Top-Down Tree Edit-Distance of Regular Tree Languages. | Sang-Ki Ko, Yo-Sub Han, Kai Salomaa |
| 2014 | SOFSEM | Unary NFAs with Limited Nondeterminism. | Alexandros Palioudakis, Kai Salomaa, Selim G. Akl |
| 2014 | UC | Pseudo-inversion on Formal Languages. | Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa |
| 2012 | DLT | Computing the Edit-Distance between a Regular Language and a Context-Free Language. | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
| 2012 | MASS | Cellular automaton based algorithms for depth adjustment in underwater mobile sensor networks. | Salimur Choudhury, Kai Salomaa, Selim G. Akl |
| 2012 | WCNC | Energy efficient cellular automaton based algorithms for mobile wireless sensor networks. | Salimur Choudhury, Selim G. Akl, Kai Salomaa |
| 2011 | LATA | Descriptional Complexity of Unambiguous Nested Word Automata. | Alexander Okhotin, Kai Salomaa |
| 2011 | LATA | Undecidability of the State Complexity of Composed Regular Operations. | Arto Salomaa, Kai Salomaa, Sheng Yu |
| 2011 | MFCS | State Complexity of Operations on Input-Driven Pushdown Automata. | Alexander Okhotin, Kai Salomaa |
| 2011 | UC | Extended Watson-Crick L Systems with Regular Trigger Languages. | David Sears, Kai Salomaa |
| 2009 | LATA | A Cryptosystem Based on the Composition of Reversible Cellular Automata. | Adam Clarridge, Kai Salomaa |
| 2009 | LATA | State Complexity of Combined Operations for Prefix-Free Regular Languages. | Yo-Sub Han, Kai Salomaa, Sheng Yu |
| 2009 | LATA | State Complexity of Nested Word Automata. | Kai Salomaa |
| 2008 | LATA | Length Codes, Products of Languages and Primality. | Arto Salomaa, Kai Salomaa, Sheng Yu |
| 2007 | DLT | State Complexity of Union and Intersection of Finite Languages. | Yo-Sub Han, Kai Salomaa |
| 2007 | DLT | Descriptional Complexity of Nondeterministic Finite Automata. | Kai Salomaa |
| 2007 | MFCS | State Complexity of Basic Operations on Suffix-Free Regular Languages. | Yo-Sub Han, Kai Salomaa |
| 2006 | COCOON | Iterated TGR Languages: Membership Problem and Effective Closure Properties. | Ian McQuillan, Kai Salomaa, Mark Daley |
| 2006 | DLT | Prime Decompositions of Regular Languages. | Yo-Sub Han, Kai Salomaa, Derick Wood |
| 2006 | MFCS | Lower Bounds for the Transition Complexity of NFAs. | Michael Domaratzki, Kai Salomaa |
| 2004 | MFCS | Decidability of Trajectory-Based Equations. | Michael Domaratzki, Kai Salomaa |
| 2001 | DLT | Shuffle Quotient and Decompositions. | Cezar Cmpeanu, Kai Salomaa, Sndor Vgvlgyi |
| 1997 | DLT | Decidability of fairness for context-free languages. | Alexandru Mateescu, Kai Salomaa, Sheng Yu |
| 1997 | DLT | Hierarchies of synchronized and algebraic forests. | George Rahonis, Kai Salomaa |
| 1995 | DLT | Nondeterminism Degrees for Context-Free Languages. | Kai Salomaa, Sheng Yu |
| 1994 | MFCS | Complexity of E0L Structural Equivalence. | Kai Salomaa, Derick Wood, Sheng Yu |
| 1993 | FCT | Structural Equivalences and ET0L Grammars (Extended Abstract). | Kai Salomaa, Derick Wood, Sheng Yu |
| 1993 | ICALP | Inclusion is Undecidable for Pattern Languages. | Tao Jiang, Arto Salomaa, Kai Salomaa, Sheng Yu |
| 1992 | ICCI | Obtaining Tight Upper Bounds for the State Complexities of DFA Operations. | Sheng Yu, Qingyu Zhuang, Kai Salomaa |
| 1991 | FCT | Degrees of Nondeterminism for Pushdown Automata. | Kai Salomaa, Sheng Yu |
| 1989 | FCT | Representation of Recursively Enumerable Languages Using Alternating Finite Tree Recognizers. | Kai Salomaa |