Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

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

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automata and formal languages · 67% Logic in computer science · 33%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automata and formal languages › semigroup theory
automatic presentation
0.112009
Automatic presentations for semigroups · Inf. Comput. 2009
Logic in computer science › model theory
automatic structures
0.112009
Automatic presentations for semigroups · Inf. Comput. 2009
Automata and formal languages
semigroup theory
0.112009
Automatic presentations for semigroups · Inf. Comput. 2009
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