FOR CONCURRENT AUTOMATA

MICHAEL SOLTY
Journal of Automata, Languages and Combinatorics 16 ( 1) 37 -48

3
2011
Franco-Canadian Workshop on Combinatorial Algorithms

David BREMMER , Antoine DEZA , Michael SOLTYS

A Formal Framework for Stringology.

Neerja Mhaskar , Michael Soltys
prague stringology conference 90 -103

2015
An Introduction to Computational Complexity

Michael Soltys
Jagiellonian University Press

3
2009
Forced Repetitions over Alphabet Lists.

Neerja Mhaskar , Michael Soltys
prague stringology conference 125 -134

2016
Complex Ranking Procedures

Barbara Sandrasagra , Michael Soltys
Fundamenta Informaticae 144 223 -240

3
2016
Important Facts and Observations about Pairwise Comparisons (the special issue edition)

Waldemar W. Koczkodaj , Ludmil Mikhailov , Grzegorz Redlarski , Michael Soltys
Fundamenta Informaticae 144 291 -307

28
2016
Unambiguous Functions in Logarithmic Space

Grzegorz Herman , Michael Soltys
Fundamenta Informaticae 114 ( 2) 129 -147

1
2012
Fair Ranking in Competitive Bidding Procurement: A Case Analysis

Michael Soltys
Procedia Computer Science 35 1138 -1144

2
2014
Approximating consistency in pairwise comparisons

Christopher Kuske , Michael Soltys , Konrad Kułakowski
Procedia Computer Science 159 814 -823

2019
Deploying Health Campaign Strategies to Defend Against Social Engineering Threats

Noelle Abe , Michael Soltys
Procedia Computer Science 159 824 -831

2019
SEAKER: A mobile digital forensics triage device

Eric Gentry , Michael Soltys
Procedia Computer Science 159 1652 -1661

3
2019
When is the condition of order preservation met

Konrad Kułakowski , Jiří Mazurek , Jaroslav Ramík , Michael Soltys
European Journal of Operational Research 277 ( 1) 248 -254

10
2019
Unshuffling a square is NP-hard

Sam Buss , Michael Soltys
Journal of Computer and System Sciences 80 ( 4) 766 -776

18
2014
The proof theoretic strength of the Steinitz exchange theorem

Michael Soltys
Discrete Applied Mathematics 155 ( 1) 53 -60

2007
Perceptions of foundational knowledge by computer science students

Katharine Blanchard , Michael Soltys
Proceedings of the Seventeenth Western Canadian Conference on Computing Education - WCCCE '12 19 -23

2012
Malware Persistence Mechanisms

Zane Gittins , Michael Soltys
Procedia Computer Science 176 88 -97

2020
Voyager: Tracking with a Click.

Samuel Decanio , Michael Soltys , Kimo Hildreth
Procedia Computer Science 176 98 -107

2020
A formal framework for Stringology

Michael Soltys , Neerja Mhaskar
Discrete Applied Mathematics 274 141 -151

2020
Feasible Proofs of Matrix Properties with Csanky’s Algorithm

Michael Soltys
Computer Science Logic 493 -508

2
2005