Works matching AU Salomaa, Kai

Results: 48

Pseudo-inversion: closure properties and decidability.

Published in:

Natural Computing, 2016, v. 15, n. 1, p. 31, doi. 10.1007/s11047-015-9502-9

By:

Cho, Da-Jung;
Han, Yo-Sub;
Kang, Shin-Dong;
Kim, Hwee;
Ko, Sang-Ki;
Salomaa, Kai

Publication type:

Article

Extended Watson-Crick L systems with regular trigger languages and restricted derivation modes.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 653, doi. 10.1007/s11047-012-9329-6

By:

Sears, David;
Salomaa, Kai

Publication type:

Article

Editorial: Computing with biomolecules.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 775, doi. 10.1007/s11047-011-9251-3

By:

Csuhaj-Varjú, Erzsébet;
Salomaa, Kai

Publication type:

Article

Comparison of Genetic Operators for the Multiobjective Pickup and Delivery Problem.

Published in:

Mathematics (2227-7390), 2022, v. 10, n. 22, p. 4308, doi. 10.3390/math10224308

By:

Little, Connor;
Choudhury, Salimur;
Hu, Ting;
Salomaa, Kai

Publication type:

Article

State complexity of deletion and bipolar deletion.

Published in:

Acta Informatica, 2016, v. 53, n. 1, p. 67, doi. 10.1007/s00236-015-0245-y

By:

Han, Yo-Sub;
Ko, Sang-Ki;
Salomaa, Kai

Publication type:

Article

Special Issue: Articles Dedicated to the Memory of Magnus Steinby — Preface.

Published in:

2024

By:

Fülöp, Zoltán;
Rahonis, George;
Salomaa, Kai

Publication type:

Editorial

Generalizations of Code Languages with Marginal Errors.

Published in:

International Journal of Foundations of Computer Science, 2021, v. 32, n. 5, p. 509, doi. 10.1142/S0129054121410057

By:

Ko, Sang-Ki;
Han, Yo-Sub;
Salomaa, Kai

Publication type:

Article

State Complexity of the Quotient Operation on Input-Driven Pushdown Automata.

Published in:

International Journal of Foundations of Computer Science, 2019, v. 30, n. 6/7, p. 1217, doi. 10.1142/S0129054119400367

By:

Okhotin, Alexander;
Salomaa, Kai

Publication type:

Article

State Complexity of Suffix Distance.

Published in:

International Journal of Foundations of Computer Science, 2019, v. 30, n. 6/7, p. 1197, doi. 10.1142/S0129054119400355

By:

Ng, Timothy;
Rappaport, David;
Salomaa, Kai

Publication type:

Article

Branching Measures and Nearly Acyclic NFAs.

Published in:

International Journal of Foundations of Computer Science, 2019, v. 30, n. 6/7, p. 1135, doi. 10.1142/S012905411940032X

By:

Keeler, Chris;
Salomaa, Kai

Publication type:

Article

State Complexity of Neighbourhoods and Approximate Pattern Matching.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 2, p. 315, doi. 10.1142/S0129054118400099

By:

Ng, Timothy;
Rappaport, David;
Salomaa, Kai

Publication type:

Article

Preface.

Published in:

International Journal of Foundations of Computer Science, 2017, v. 28, n. 5, p. 437, doi. 10.1142/S0129054117020014

By:

Han, Yo-Sub;
Salomaa, Kai

Publication type:

Article

Worst Case Branching and Other Measures of Nondeterminism.

Published in:

International Journal of Foundations of Computer Science, 2017, v. 28, n. 3, p. 195, doi. 10.1142/S0129054117500137

By:

Palioudakis, Alexandros;
Salomaa, Kai;
Akl, Selim G.

Publication type:

Article

State Complexity of Insertion.

Published in:

International Journal of Foundations of Computer Science, 2016, v. 27, n. 7, p. 863, doi. 10.1142/S0129054116500349

By:

Han, Yo-Sub;
Ko, Sang-Ki;
Ng, Timothy;
Salomaa, Kai

Publication type:

Article

State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages.

Published in:

International Journal of Foundations of Computer Science, 2015, v. 26, n. 2, p. 211, doi. 10.1142/s0129054115500124

By:

Eom, Hae-Sung;
Han, Yo-Sub;
Salomaa, Kai

Publication type:

Article

NONDETERMINISTIC STATE COMPLEXITY OF PROPORTIONAL REMOVALS.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 7, p. 823, doi. 10.1142/S0129054114400103

By:

GOČ, DANIEL;
PALIOUDAKIS, ALEXANDROS;
SALOMAA, KAI

Publication type:

Article

THE EDIT-DISTANCE BETWEEN A REGULAR LANGUAGE AND A CONTEXT-FREE LANGUAGE.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 7, p. 1067, doi. 10.1142/S0129054113400315

By:

HAN, YO-SUB;
KO, SANG-KI;
SALOMAA, KAI

Publication type:

Article

GOODBY TO THE KINDHEARTED DRAGON PROF. SHENG YU, 1950-2012.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 7, p. 945, doi. 10.1142/S0129054113400248

By:

SALOMAA, ARTO;
SALOMAA, KAI T.;
SZILARD, ANDREW L.

Publication type:

Article

STATE-SIZE HIERARCHY FOR FINITE-STATE COMPLEXITY.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 1, p. 37, doi. 10.1142/S0129054112400035

By:

CALUDE, CRISTIAN S.;
SALOMAA, KAI;
ROBLOT, TANIA K.;
McQuillan, Ian

Publication type:

Article

A FILTER-BASED ALGORITHM FOR EFFICIENT COMPOSITION OF FINITE-STATE TRANSDUCERS.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 8, p. 1781, doi. 10.1142/S0129054111009033

By:

ALLAUZEN, CYRIL;
RILEY, MICHAEL;
SCHALKWYK, JOHAN;
Salomaa, Kai

Publication type:

Article

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 8, p. 1759, doi. 10.1142/S012905411100901X

By:

DOMARATZKI, MICHAEL;
SALOMAA, KAI

Publication type:

Article

PARTIALLY ORDERED TWO-WAY BÜCHI AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 8, p. 1861, doi. 10.1142/S0129054111009082

By:

KUFLEITNER, MANFRED;
LAUSER, ALEXANDER;
Salomaa, Kai

Publication type:

Article

OPTIMAL HYPER-MINIMIZATION.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 8, p. 1877, doi. 10.1142/S0129054111009094

By:

MALETTI, ANDREAS;
QUERNHEIM, DANIEL;
Salomaa, Kai

Publication type:

Article

TREE-BASED 2D INDEXING.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 8, p. 1893

By:

ŽĎÁREK, JAN;
MELICHAR, BOŘIVOJ;
Salomaa, Kai

Publication type:

Article

RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 8, p. 1909, doi. 10.1142/S0129054111009112

By:

YU, FANG;
BULTAN, TEVFIK;
IBARRA, OSCAR H.;
Salomaa, Kai

Publication type:

Article

OVERLAP-FREE LANGUAGES AND SOLID CODES.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 5, p. 1197, doi. 10.1142/S0129054111008647

By:

HAN, YO-SUB;
SALOMAA, KAI;
Yu, Sheng

Publication type:

Article

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 5, p. 1085, doi. 10.1142/S0129054108006145

By:

DOMARATZKI, MICHAEL;
SALOMAA, KAI

Publication type:

Article

STATE COMPLEXITY OF UNION AND INTERSECTION OF FINITE LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 3, p. 581, doi. 10.1142/S0129054108005838

By:

HAN, YO-SUB;
SALOMAA, KAI

Publication type:

Article

STATE COMPLEXITY OF ADDITIVE WEIGHTED FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1407, doi. 10.1142/S0129054107005443

By:

SALOMAA, KAI;
SCHOFIELD, PAUL;
Truthe, B.

Publication type:

Article

ON THE STATE COMPLEXITY OF COMBINED OPERATIONS AND THEIR ESTIMATION.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 683, doi. 10.1142/S0129054107004917

By:

SALOMAA, KAI;
SHENG YU

Publication type:

Article

RESTRICTED SETS OF TRAJECTORIES AND DECIDABILITY OF SHUFFLE DECOMPOSITIONS.

Published in:

International Journal of Foundations of Computer Science, 2005, v. 16, n. 5, p. 897, doi. 10.1142/S0129054105003364

By:

Domaratzki, Michael;
Salomaa, Kai

Publication type:

Article

SPECIAL ISSUE 9TH INTERNATIONAL CONFERENCE ON IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2004).

Published in:

International Journal of Foundations of Computer Science, 2005, v. 16, n. 3, p. 399

By:

Salomaa, Kai;
Yu, Sheng

Publication type:

Article

A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 6, p. 1007, doi. 10.1142/S012905410300214X

By:

Câmpeanu, Cezar;
Salomaa, Kai;
Yu, Sheng

Publication type:

Article

NONDETERMINISTIC STATE COMPLEXITY OF SITE-DIRECTED INSERTION.

Published in:

Journal of Automata, Languages & Combinatorics, 2022, v. 27, n. 1-3, p. 187

By:

LYON, OLIVER A. S.;
SALOMAA, KAI

Publication type:

Article

Undecidability of state complexity.

Published in:

International Journal of Computer Mathematics, 2013, v. 90, n. 6, p. 1310, doi. 10.1080/00207160.2012.704994

By:

Salomaa, Arto;
Salomaa, Kai;
Yu, Sheng

Publication type:

Article

RECOGNITION AND COMPLEXITY RESULTS FOR PROJECTION LANGUAGES OF TWO-DIMENSIONAL AUTOMATA.

Published in:

Journal of Automata, Languages & Combinatorics, 2023, v. 28, n. 1-3, p. 201

By:

SMITH, TAYLOR J.;
SALOMAA, KAI

Publication type:

Article

Pattern languages with and without erasing.

Published in:

International Journal of Computer Mathematics, 1994, v. 50, n. 3/4, p. 147, doi. 10.1080/00207169408804252

By:

Jiang, Tao;
Kinber, Efim;
Salomaa, Arto;
Salomaa, Kai;
Yu, Sheng

Publication type:

Article

Hierarchy of k -context-free languages.

Published in:

International Journal of Computer Mathematics, 1989, v. 26, n. 3/4, p. 193, doi. 10.1080/00207168908803694

By:

Salomaa, Kai

Publication type:

Article

Hierarchy of k-context-free languages part 1.

Published in:

International Journal of Computer Mathematics, 1989, v. 26, n. 2, p. 69, doi. 10.1080/00207168908803686

By:

Salomaa, Kai

Publication type:

Article

Maximal Existential and Universal Width.

Published in:

Scientific Annals of Computer Science, 2023, v. 33, n. 1, p. 53, doi. 10.7561/SACS.2023.1.53

By:

KEELER, Casey;
SALOMAA, Kai

Publication type:

Article

A Cellular Automaton Model for Wireless Sensor Networks.

Published in:

Journal of Cellular Automata, 2012, v. 7, n. 3, p. 223

By:

Choudhury, Salimur;
Salomaa, Kai;
Akl, Selim G.

Publication type:

Article

An Improved Cellular Automata Based Algorithm for the 45-Convex Hull Problem.

Published in:

Journal of Cellular Automata, 2010, v. 5, n. 1/2, p. 107

By:

CLARRIDGE, ADAM G.;
SALOMAA, KAI

Publication type:

Article

An online fair resource allocation solution for fog computing.

Published in:

International Journal of Parallel, Emergent & Distributed Systems, 2022, v. 37, n. 4, p. 456, doi. 10.1080/17445760.2022.2061484

By:

Sun, Jia He;
Choudhury, Salimur;
Salomaa, Kai

Publication type:

Article

Localized algorithms for redundant readers elimination in RFID networks.

Published in:

International Journal of Parallel, Emergent & Distributed Systems, 2019, v. 34, n. 3, p. 260, doi. 10.1080/17445760.2017.1419242

By:

Rashid, Nafiul;
Choudhury, Salimur;
Salomaa, Kai

Publication type:

Article

Cellular automaton-based algorithms for the dispersion of mobile wireless sensor networks.

Published in:

International Journal of Parallel, Emergent & Distributed Systems, 2014, v. 29, n. 2, p. 147, doi. 10.1080/17445760.2013.809082

By:

Choudhury, Salimur;
Salomaa, Kai;
Akl, Selim G.

Publication type:

Article

Duplications and Pseudo-Duplications.

Published in:

International Journal of Unconventional Computing, 2016, v. 12, n. 2/3, p. 145

By:

DA-JUNG CHO;
YO-SUB HAN;
HWEE KIM;
PALIOUDAKIS, ALEXANDROS;
SALOMAA, KAI

Publication type:

Article

Cellular Automaton Based Localized Algorithms for Mobile Sensor Networks.

Published in:

International Journal of Unconventional Computing, 2015, v. 11, n. 5/6, p. 417

By:

CHOUDHURY, SALIMUR;
SALOMAA, KAI;
AKL, SELIM G.

Publication type:

Article

Unary NFAs, Limited Nondeterminism, and Chrobak Normal Form.

Published in:

International Journal of Unconventional Computing, 2015, v. 11, n. 5/6, p. 395

By:

PALIOUDAKIS, ALEXANDROS;
SALOMAA, KAI;
AKL, SELIM G.

Publication type:

Article