72 citations · 114 across the 23 of their papers we have counts for
5 papers · 1 filter
An Empirical Investigation of Randomized Defenses against Adversarial Attacks
Yannik Potdevin, Dirk Nowotka, Vijay Ganesh
In recent years, Deep Neural Networks (DNNs) have had a dramatic impact on a variety of problems that were long considered very difficult, e. g., image classification and automatic…
On Solving Word Equations Using SAT
Joel D. Day, Thorsten Ehlers, Mitja Kulczynski +3
We present Woorpje, a string solver for bounded word equations (i.e., equations where the length of each variable is upper bounded by a given integer). Our algorithm works by refor…
On Modelling the Avoidability of Patterns as CSP
Thorsten Ehlers, Florin Manea, Dirk Nowotka +1
Solving avoidability problems in the area of string combinatorics often requires, in an initial step, the construction, via a computer program, of a very long word that does not co…
k-Spectra of weakly-c-Balanced Words
Joel D. Day, Pamela Fleischmann, Florin Manea +1
A word is a scattered factor of if can be obtained from by deleting some of its letters. That is, there exist the (potentially empty) words , and…
On Collapsing Prefix Normal Words
Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka
Prefix normal words are binary words in which each prefix has at least the same number of $\so$s as any factor of the same length. Firstly introduced by Fici and Lipták in 2011, th…