Kai Salomaa

Prof. Dr. Kai Salomaa


Research Focus & Metrics

Academic Career Length

26Years (2001-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 November 2001 in RAIRO - Theoretical Informatics and Applications
Verified
Journal Article
Closed access
PDF file
AMAlexandru Mateescu
Alexandru Mateescu
ASArto Salomaa
Arto Salomaa
Kai SalomaaKai Salomaa
Kai Salomaa
SYSheng Yu
Sheng Yu
In this paper we introduce a sharpening of the Parikh mapping and investigate its basic properties. The new mapping is based on square matrices of a certain form. The classical Parikh vector appears in such a matrix as the second diagonal. However, the matrix product gives more information about a word than the Parikh vector. We characterize the matrix products and establish also an interesting interconnection between mirror images of words and inverses of .

6 December 2018 in IEEE Transactions on Vehicular Technology
Verified
Journal Article
Closed access
FCFabio Campioni
Fabio Campioni
Salimur ChoudhurySalimur Choudhury
Salimur Choudhury
Kai SalomaaKai Salomaa
Kai Salomaa
SASelim G. Akl
Selim G. Akl
Vehicular crowdsensing aims to utilize the plethora of onboard sensors and resources on smart vehicles to gather sensing data in a large coverage area. Recruitment algorithms aim to select participants within a crowdsensing network such that the most sensing data is obtained for the lowest possible cost. In this paper, we consider two such existing recruitment problems for vehicular crowdsensing and propose several heuristics. We also show that existing algorithms to solve these problems can be arbitrarily bad in the worst case. We also compare our algorithms with both optimal solutions (returned by mixed integer programs) as well as existing heuristics. Performance evaluations on our algorithms show that our algorithms outperform existing algorithms and obtain near optimal solutions.

1 June 2017 in Journal of Computer and System Sciences
Verified
Journal Article
Closed access
AOAlexander Okhotin
Alexander Okhotin
Kai SalomaaKai Salomaa
Kai Salomaa

1 January 2011 in Fundamenta Informaticae
Verified
Journal Article
Closed access
PDF file
YGYuan Gao
Yuan Gao
Kai SalomaaKai Salomaa
Kai Salomaa
SYSheng Yu
Sheng Yu
We consider the transition complexity of regular languages based on the incomplete deterministic finite automata. We establish tight bounds for the transition complexity of Boolean operations, in the case of union the upper and lower bounds differ by a multiplicative constant two. We show that the transition complexity results for union and complementation are very different from the state complexity results for the same operations. However, for intersection, the transition complexity bounds turn out to be similar to the corresponding bounds for state complexity.

1 November 2005 in Theoretical Computer Science
Verified
Journal Article
Closed access
MDMichael Domaratzki
Michael Domaratzki
Kai SalomaaKai Salomaa
Kai Salomaa

10 May 2007 in Theoretical Computer Science
Verified
Journal Article
Open access
PDF file
YHYo-Sub Han
Yo-Sub Han
ASArto Salomaa
Arto Salomaa
Kai SalomaaKai Salomaa
Kai Salomaa
DWDerick Wood
Derick Wood
SYSheng Yu
Sheng Yu
We investigate factorizations of regular languages in terms of prime languages. A language is said to be strongly prime decomposable if any way of factorizing it yields a prime decomposition in a finite number of steps. We give a characterization of the strongly prime decomposable regular languages and using the characterization we show that every regular language over a unary alphabet has a prime decomposition. We show that there exist non-regular unary languages that do not have prime decompositions. We also consider infinite factorizations of unary languages.