Kai Salomaa

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 93

Top Venues

DCFS

Theor. Comput. Sci.

Int. J. Found. Comput. Sci.

DLT

Publications

Peash Ranjan Saha, Salimur Choudhury, Kai Salomaa
Altruistic Bandit Learning For One-to-Many Matching Markets. GoodIT (2024)
Ingyu Baek, Joonghyuk Hahn, Yo-Sub Han, Kai Salomaa
Universal Rewriting Rules for the Parikh Matrix Injectivity Problem. DLT (2024)
Zoltán Fülöp, George Rahonis, Kai Salomaa
Special Issue: Articles Dedicated to the Memory of Magnus Steinby - Preface. Int. J. Found. Comput. Sci. 35 (1&2) (2024)
Arto Salomaa, Kai Salomaa, Taylor J. Smith
Descriptional Complexity of Finite Automata - Selected Highlights. Fundam. Informaticae 191 (3-4) (2024)
Mahzabeen Emu, Salimur Choudhury, Kai Salomaa
Robust Virtual Network Function Optimization Under Post-Failure Uncertainty: Classical & Quantum Computing. DRCN (2024)
Mahzabeen Emu, Salimur Choudhury, Kai Salomaa
Warm and Cold Start Quantum Annealing for Metaverse Resource Optimization. IEEE Open J. Commun. Soc. 5 (2024)
Mohammad Zakzok, Kai Salomaa
Converting finite width AFAs to nondeterministic and universal finite automata. Theor. Comput. Sci. 996 (2024)
Mahzabeen Emu, Salimur Choudhury, Kai Salomaa
Stochastic Resource Optimization for Metaverse Data Marketplace by Leveraging Quantum Neural Networks. IEEE Trans. Netw. Serv. Manag. 21 (3) (2024)
Casey Keeler, Kai Salomaa
Maximal Existential and Universal Width. Sci. Ann. Comput. Sci. 33 (1) (2023)
Mahzabeen Emu, Salimur Choudhury, Kai Salomaa
Quantum Computing Empowered Metaverse: An Approach for Resource Optimization. ICC (2023)
Mahzabeen Emu, Salimur Choudhury, Kai Salomaa
Quantum Neural Networks driven Stochastic Resource Optimization for Metaverse Data Marketplace. NetSoft (2023)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
Deciding path size of nondeterministic (and input-driven) pushdown automata. Theor. Comput. Sci. 939 (2023)
Taylor J. Smith, Kai Salomaa
Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata. J. Autom. Lang. Comb. 28 (1-3) (2023)
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
On the Simon's Congruence Neighborhood of Languages. DLT (2023)
Peash Ranjan Saha, Salimur Choudhury, Kai Salomaa
Balancing Matching of Two-Sided Agents with Adaptive and Fair Instability. SSCI (2023)
Arto Salomaa, Kai Salomaa, Taylor J. Smith
Descriptional Complexity of Finite Automata - Selected Highlights. CoRR (2023)
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
On Simon's congruence closure of a string. Theor. Comput. Sci. 972 (2023)
Oliver A. S. Lyon, Kai Salomaa
The nondeterministic state complexity of the site-directed deletion language operation. Theor. Comput. Sci. 968 (2023)
Yo-Sub Han, Sungmin Kim, Sang-Ki Ko, Kai Salomaa
Existential and Universal Width of Alternating Finite Automata. DCFS (2023)
Jia He Sun, Salimur Choudhury, Kai Salomaa
Multi-Objective Task Assignment Solution for Parked Vehicular Computing. ICORES (2023)
Jia He Sun, Salimur Choudhury, Kai Salomaa
An online fair resource allocation solution for fog computing. Int. J. Parallel Emergent Distributed Syst. 37 (4) (2022)
Chris Keeler, Kai Salomaa
Structural properties of NFAs and growth rates of nondeterminism measures. Inf. Comput. 284 (2022)
Mahzabeen Emu, Salimur Choudhury, Kai Salomaa
Resource Optimization of SFC Embedding for IoT Networks Using Quantum Computing. CAMAD (2022)
Oliver A. S. Lyon, Kai Salomaa
Nondeterministic State Complexity of Site-Directed Insertion. J. Autom. Lang. Comb. 27 (1-3) (2022)
Peash Ranjan Saha, Salimur Choudhury, Kai Salomaa
A Two-Stage Based Strategy to Optimize Homeless Placement in Shelters. IHTC (2022)
Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
On Simon's Congruence Closure of a String. DCFS (2022)
Oliver A. S. Lyon, Kai Salomaa
Nondeterministic State Complexity of Site-Directed Deletion. CIAA (2022)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
Closest substring problems for regular languages. Theor. Comput. Sci. 862 (2021)
Chris Keeler, Kai Salomaa
Width Measures of Alternating Finite Automata. DCFS (2021)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
Consensus string problem for multiple regular languages. Inf. Comput. 279 (2021)
Taylor J. Smith, Kai Salomaa
Degrees of Restriction for Two-Dimensional Automata. CoRR (2021)
Sang-Ki Ko, Yo-Sub Han, Kai Salomaa
Generalizations of Code Languages with Marginal Errors. Int. J. Found. Comput. Sci. 32 (5) (2021)
Taylor J. Smith, Kai Salomaa
Decision problems and projection languages for restricted variants of two-dimensional automata. Theor. Comput. Sci. 870 (2021)
Taylor J. Smith, Kai Salomaa
Degrees of Restriction for Two-Dimensional Automata. CIAA (2021)
Taylor J. Smith, Kai Salomaa
Concatenation Operations and Restricted Variants of Two-Dimensional Automata. SOFSEM (2021)
Taylor J. Smith, Kai Salomaa
Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata. CoRR (2020)
Taylor J. Smith, Kai Salomaa
Concatenation Operations and Restricted Variants of Two-Dimensional Automata. CoRR (2020)
Taylor J. Smith, Kai Salomaa
Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata. DCFS (2020)
Chris Keeler, Kai Salomaa
Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata. DCFS (2020)
Chris Keeler, Kai Salomaa
Alternating Finite Automata with Limited Universal Branching. LATA (2020)
Chris Keeler, Kai Salomaa
Nondeterminism Growth and State Complexity. DCFS (2019)
Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
The Relative Edit-Distance Between Two Input-Driven Languages. DLT (2019)
Alexander Okhotin, Kai Salomaa
Further closure properties of input-driven pushdown automata. Theor. Comput. Sci. 798 (2019)
Alexander Okhotin, Kai Salomaa
State Complexity of the Quotient Operation on Input-Driven Pushdown Automata. Int. J. Found. Comput. Sci. 30 (6-7) (2019)
Nafiul Rashid, Salimur Choudhury, Kai Salomaa
Localized algorithms for redundant readers elimination in RFID networks. Int. J. Parallel Emergent Distributed Syst. 34 (3) (2019)
Timothy Ng, David Rappaport, Kai Salomaa
State Complexity of Suffix Distance. Int. J. Found. Comput. Sci. 30 (6-7) (2019)
Taylor J. Smith, Kai Salomaa
Decision Problems for Restricted Variants of Two-Dimensional Automata. CoRR (2019)
Alexander Okhotin, Kai Salomaa
Edit distance neighbourhoods of input-driven pushdown automata. Theor. Comput. Sci. 777 (2019)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity. DCFS (2019)
Taylor J. Smith, Kai Salomaa
Decision Problems for Restricted Variants of Two-Dimensional Automata. CIAA (2019)
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
Site-directed insertion: Language equations and decision problems. Theor. Comput. Sci. 798 (2019)
Fabio Campioni, Salimur Choudhury, Kai Salomaa, Selim G. Akl
Improved Recruitment Algorithms for Vehicular Crowdsensing Networks. IEEE Trans. Veh. Technol. 68 (2) (2019)
Chris Keeler, Kai Salomaa
Branching Measures and Nearly Acyclic NFAs. Int. J. Found. Comput. Sci. 30 (6-7) (2019)
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
Site-Directed Insertion: Decision Problems, Maximality and Minimality. CoRR (2018)
Timothy Ng, David Rappaport, Kai Salomaa
State Complexity of Neighbourhoods and Approximate Pattern Matching. Int. J. Found. Comput. Sci. 29 (2) (2018)
Alexandros Palioudakis, Yo-Sub Han, Kai Salomaa
Growth Rate of Minimum Branching. J. Autom. Lang. Comb. 23 (1-3) (2018)
Chris Keeler, Kai Salomaa
Cycle Height of Finite Automata. DCFS (2018)
Bahram Kouhestani, David Rappaport, Kai Salomaa
Routing in a polygonal terrain with the shortest beacon watchtower. Comput. Geom. 68 (2018)
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith
Site-Directed Insertion: Decision Problems, Maximality and Minimality. DCFS (2018)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
Closest Substring Problems for Regular Languages. DLT (2018)
Alexander Okhotin, Kai Salomaa
Further Closure Properties of Input-Driven Pushdown Automata. DCFS (2018)
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa
Site-Directed Deletion. DLT (2018)
Alexander Okhotin, Kai Salomaa
The Quotient Operation on Input-Driven Pushdown Automata. DCFS (2017)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Outfix-guided insertion. Theor. Comput. Sci. 701 (2017)
Timothy Ng, David Rappaport, Kai Salomaa
State Complexity of Prefix Distance of Subregular Languages. J. Autom. Lang. Comb. 22 (1-3) (2017)
Alexander Okhotin, Kai Salomaa
State complexity of operations on input-driven pushdown automata. J. Comput. Syst. Sci. 86 (2017)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Pseudoknot-generating operation. Theor. Comput. Sci. 696 (2017)
Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Alexandros Palioudakis, Kai Salomaa
State complexity of permutation on finite languages over a binary alphabet. Theor. Comput. Sci. 682 (2017)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Outfix-guided insertion. CoRR (2017)
Yo-Sub Han, Arto Salomaa, Kai Salomaa
Ambiguity, Nondeterminism and State Complexity of Finite Automata. Acta Cybern. 23 (1) (2017)
Alexandros Palioudakis, Kai Salomaa, Selim G. Akl
Worst Case Branching and Other Measures of Nondeterminism. Int. J. Found. Comput. Sci. 28 (3) (2017)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
Consensus String Problem for Multiple Regular Languages. LATA (2017)
Timothy Ng, David Rappaport, Kai Salomaa
State Complexity of Suffix Distance. DCFS (2017)
Yo-Sub Han, Kai Salomaa
Preface. Int. J. Found. Comput. Sci. 28 (5) (2017)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State Complexity of k-Parallel Tree Concatenation. Fundam. Informaticae 154 (1-4) (2017)
Timothy Ng, David Rappaport, Kai Salomaa
State complexity of prefix distance. Theor. Comput. Sci. 679 (2017)
Timothy Ng, David Rappaport, Kai Salomaa
Relative Prefix Distance Between Languages. DLT (2017)
Chris Keeler, Kai Salomaa
Branching Measures and Nearly Acyclic NFAs. DCFS (2017)
Alexander Okhotin, Kai Salomaa
Edit Distance Neighbourhoods of Input-Driven Pushdown Automata. CSR (2017)
Timothy Ng, David Rappaport, Kai Salomaa
Quasi-Distances and Weighted Finite Automata. The Role of Theory in Computer Science (2017)
Kai Salomaa, Andrew L. Szilard
Report on the Magic in Science symposium. Bull. EATCS 123 (2017)
Nafiul Rashid, Salimur Choudhury, Kai Salomaa
CARRE: Cellular automaton based redundant readers elimination in RFID networks. ICC (2016)
Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa
Pseudo-inversion: closure properties and decidability. Nat. Comput. 15 (1) (2016)
Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State complexity of deletion and bipolar deletion. Acta Informatica 53 (1) (2016)
Bahram Kouhestani, David Rappaport, Kai Salomaa
The Length of the Beacon Attraction Trajectory. CCCG (2016)
Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
State complexity of inversion operations. Theor. Comput. Sci. 610 (2016)
Da-Jung Cho, Yo-Sub Han, Hwee Kim, Alexandros Palioudakis, Kai Salomaa
Duplications and Pseudo-Duplications. Int. J. Unconv. Comput. 12 (2-3) (2016)
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa
State Complexity of Insertion. Int. J. Found. Comput. Sci. 27 (7) (2016)
Timothy Ng, David Rappaport, Kai Salomaa
State Complexity of Prefix Distance of Subregular Languages. DCFS (2016)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Outfix-Guided Insertion - (Extended Abstract). DLT (2016)
Alexandros Palioudakis, Kai Salomaa, Selim G. Akl
Operational state complexity of unary NFAs with finite nondeterminism. Theor. Comput. Sci. 610 (2016)
Da-Jung Cho, Yo-Sub Han, Timothy Ng, Kai Salomaa
Pseudoknot-Generating Operation. SOFSEM (2016)
Sang-Ki Ko, Yo-Sub Han, Kai Salomaa
Approximate matching between a context-free grammar and a finite-state automaton. Inf. Comput. 247 (2016)
Yo-Sub Han, Sang-Ki Ko, Xiaoxue Piao, Kai Salomaa
State Complexity of Kleene-Star Operations on Regular Tree Languages. Acta Cybern. 22 (2) (2015)
Timothy Ng, David Rappaport, Kai Salomaa
Quasi-Distances and Weighted Finite Automata. DCFS (2015)
Alexandros Palioudakis, Da-Jung Cho, Daniel Goc, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa
The State Complexity of Permutations on Finite Languages over Binary Alphabets. DCFS (2015)
Salimur Choudhury, Kai Salomaa, Selim G. Akl
Cellular automata and object monitoring in mobile wireless sensor networks. WCNC (2015)
Alexandros Palioudakis, Kai Salomaa, Selim G. Akl
Unary NFAs, Limited Nondeterminism, and Chrobak Normal Form. Int. J. Unconv. Comput. 11 (5-6) (2015)
Timothy Ng, David Rappaport, Kai Salomaa
State Complexity of Prefix Distance. CIAA (2015)
Alexander Okhotin, Kai Salomaa
Descriptional complexity of unambiguous input-driven pushdown automata. Theor. Comput. Sci. 566 (2015)

Kai Salomaa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kai Salomaa