Nikola Ruskuc

dblp:13/738 · also Nik Ruskuc · DBLP profile ↗
← Back
10ranked-venue papers
0as first author
1since 2021 · last 2021
0000-0003-2415-9334ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 10 · 1 since 2021
YearPublicationVenuePosition
2021 Atomicity and Well Quasi-Order for Consecutive Orderings on Words and Permutations
abstract
Algorithmic decidability is established for two order-theoretic properties of downward closed subsets defined by finitely many obstructions in two infinite posets. The properties under consideration are (a) being atomic, i.e., not being decomposable as a union of two downward closed proper subsets or, equivalently, satisfying the joint embedding property; and (b) being well quasi-ordered. The two posets are (1) words over a finite alphabet under the consecutive subword ordering, and (2) finite permutations under the consecutive subpermutation ordering. Underpinning the four results are characterizations of atomicity and well quasi-order for the subpath ordering on paths of a finite directed graph.
M. McDevitt, Nikola Ruskuc
SIAM J. Discret. Math.2
2016 On the star-height of subword counting languages and their relationship to Rees zero-matrix semigroups
Tom Bourne, Nikola Ruskuc
Theor. Comput. Sci.2
2010 Automatic Presentations and Semigroup Constructions
Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas
Theory Comput. Syst.3
2009 Automatic presentations for semigroups
Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas
Inf. Comput.3
2008 Automatic Presentations for Cancellative Semigroups
Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas
LATA3
2008 Simple permutations: Decidability and unavoidable substructures
Robert Brignall, Nikola Ruskuc, Vincent Vatter
Theor. Comput. Sci.2
2003 Regular closed sets of permutations
Michael Albert 0001, Mike D. Atkinson, Nikola Ruskuc
Theor. Comput. Sci.3
2002 Computing Transformation Semigroups
Steve Linton, Götz Pfeiffer, Edmund F. Robertson, Nikola Ruskuc
J. Symb. Comput.4
2002 Sorting with two ordered stacks in series
Mike D. Atkinson, Maximillian M. Murphy, Nikola Ruskuc
Theor. Comput. Sci.3
2001 Automatic semigroups
Colin M. Campbell, Edmund F. Robertson, Nikola Ruskuc, Richard M. Thomas
Theor. Comput. Sci.3