Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Mike Müller is active.

Publication


Featured researches published by Mike Müller.


conference on computability in europe | 2015

New Bounds on Optimal Sorting Networks

Thorsten Ehlers; Mike Müller

We present new parallel sorting networks for \(17\) to \(20\) inputs. For \(17, 19,\) and \(20\) inputs these new networks are faster (i.e., they require fewer computation steps) than the previously known best networks. Therefore, we improve upon the known upper bounds for minimal depth sorting networks on \(17, 19,\) and \(20\) channels. Furthermore, we show that our sorting network for \(17\) inputs is optimal in the sense that no sorting network using less layers exists. This solves the main open problem of [D. Bundala & J. Zavodný. Optimal sorting networks, Proc. LATA 2014].


developments in language theory | 2012

The avoidability of cubes under permutations

Florin Manea; Mike Müller; Dirk Nowotka

In this paper we consider the avoidance of patterns in infinite words. Generalising the traditional problem setting, functional dependencies between pattern variables are allowed here, in particular, patterns involving permutations. One of the remarkable facts is that in this setting the notion of avoidability index (the smallest alphabet size for which a pattern is avoidable) is meaningless since a pattern with permutations that is avoidable in one alphabet can be unavoidable in a larger alphabet. We characterise the (un-)avoidability of all patterns of the form πi(x) πj(x) πk(x), called cubes under permutations here, for all alphabet sizes in both the morphic and antimorphic case.


Journal of Computer and System Sciences | 2016

Sorting networks: To the end and back again

Michael Codish; Luís Cruz-Filipe; Thorsten Ehlers; Mike Müller; Peter Schneider-Kamp

Abstract New properties of the front and back ends of sorting networks are studied, illustrating their utility when searching for bounds on optimal networks. Search focuses first on the “out-sides” of the network and then on the inner part. Previous works focused on properties of the front end to break symmetries in the search. The new, out-side-in, properties shed understanding on how sorting networks sort, and facilitate the computation of new bounds on optimality. We present new, faster, parallel sorting networks for 17–20 inputs. For 17 inputs, we show that no sorting network using less layers exists.


Theoretical Computer Science | 2015

Square-free shuffles of words

Tero Harju; Mike Müller

Let


mathematical foundations of computer science | 2014

Generalised Lyndon-Schutzenberger Equations

Florin Manea; Mike Müller; Dirk Nowotka; Shinnosuke Seki

u \shuffle v


Theoretical Computer Science | 2017

Fully bordered words

Štěpán Holub; Mike Müller

denote the set of all shuffles of the words


International Journal of Foundations of Computer Science | 2014

INNER PALINDROMIC CLOSURE

Jürgen Dassow; Florin Manea; Robert Mercaş; Mike Müller

u


Journal of Computer and System Sciences | 2015

Cubic patterns with permutations

Florin Manea; Mike Müller; Dirk Nowotka

and


international conference on unconventional computation | 2012

String matching with involutions

Cristian Grozea; Florin Manea; Mike Müller; Dirk Nowotka

v


Theoretical Computer Science | 2015

A note on short palindromes in square-free words

Tero Harju; Mike Müller

. It is shown that for each integer

Collaboration


Dive into the Mike Müller's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Jürgen Dassow

Otto-von-Guericke University Magdeburg

View shared research outputs
Top Co-Authors

Avatar

Štěpán Holub

Charles University in Prague

View shared research outputs
Top Co-Authors

Avatar

Shinnosuke Seki

University of Electro-Communications

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Michael Codish

Ben-Gurion University of the Negev

View shared research outputs
Researchain Logo
Decentralizing Knowledge