Mark Saaltink

dblp:83/3249 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
0since 2021 · last 2019
0000-0003-2963-603XORCID · corroborated

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

Theory of computation · 2Artificial intelligence and machine learning · 1Software engineering, systems software and programming languages · 1

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
Coding theory · 56% Combinatorics and discrete mathematics · 44%
Software engineering, system software, and programming languages
1 paper
Program verification · 100%

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

TopicWeightPapersLastEvidence papers
Coding theory
linear feedback shift register
0.412019
A General Construction of Ordered Orthogonal Arrays Using LFSRs · IEEE Trans. Inf. Theory 2019
Combinatorics and discrete mathematics › combinatorial design
orthogonal arrays
0.412019
A General Construction of Ordered Orthogonal Arrays Using LFSRs · IEEE Trans. Inf. Theory 2019
Coding theory
finite fields
0.112019
A General Construction of Ordered Orthogonal Arrays Using LFSRs · IEEE Trans. Inf. Theory 2019

Methods — techniques the papers use, named apart from their topics

linear feedback shift register · 0.4formal methods · 0.0
YearPublicationVenuePosition
2019 A General Construction of Ordered Orthogonal Arrays Using LFSRs
abstract
The qtx(q+1)tordered orthogonal arrays (OOAs) of strength t over the alphabet Fq were constructed using linear feedback shift register sequences (LFSRs) defined by primitive polynomials in Fq[x]. In this paper, we extend this result to all polynomials in Fq[x] which satisfy some fairly simple restrictions, i.e., the restrictions that are automatically satisfied by primitive polynomials. While these restrictions sometimes reduce the number of columns produced from (q + 1)t to a smaller multiple oft, in many cases, we still obtain the maximum number of columns in the constructed OOA when using non-primitive polynomials. For 2 ≤ q ≤ 9 and small t, we generate OOAs in this manner for all permissible polynomials of degree t in Fq[x] and compare the results to the ones produced in [2], [16], and [17] showing how close the arrays are to being “full” orthogonal arrays. Unusually for the finite fields, our arrays based on the non-primitive irreducible and even reducible polynomials are closer to the orthogonal arrays than those built from the primitive polynomials.
Daniel Panario, Mark Saaltink, Brett Stevens, Daniel Wevrick
IEEE Trans. Inf. Theory2
1992 Eves System Description
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
CADE5
1988 m-EVES: A Tool for Verifying Software
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink
ICSE6