The disruptive technology of unmanned aerial vehicles (UAVs), or drones, is a trend with
increasing applications and practical relevance in the current and future society. Despite the …

Quantum programming languages provide necessary constructs to program quantum
computers. To write such programs, one needs to understand the characteristics of quantum …

Quantum computing is a new model of computation, based on quantum physics. Quantum
computers can be exponentially faster than conventional computers for problems such as …

The lecture notes contain three parts. The first part is Grover's Search Algorithm with
modifications, generalizations, and applications. The second part is a discussion on the …

The emergence of quantum computing raises the question of how to identify (security-
relevant) programming errors during development. However, current static code analysis …

We consider online algorithms with respect to the competitive ratio. In this paper, we explore
one-way automata as a model for online algorithms. We focus on quantum and classical …

Game theory and its quantum extension apply in numerous fields that affect people's social,
political, and economical life. Physical limits imposed by the current technology used in …

We consider online algorithms. Typically, the model is investigated with respect to the
competitive ratio. In this paper, we explore two-way automata and one-way automata as …

We consider online algorithms. Typically the model is investigated with respect to
competitive ratio. In this paper, we explore algorithms with small memory. We investigate two …

We introduce the affine OBDD model and show that zero-error affine OBDDs can be
exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain …