We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead ...
One of the central results of the paper is the Pontryagin maximum principle [16] which is considered in sufficient form for the linear case of impulsive differential equations. Th...
M. U. Akhmet, M. Kirane, M. A. Tleubergenova, Gerh...
Abstract. We envision future office buildings that partly or fully implement a flexible office organization where office rooms are dynamically assigned to currently present employe...
Wolfgang Trumler, Jan Petzold, Faruk Bagci, Theo U...