6 citations · 10 across the 4 of their papers we have counts for
4 papers
Hermitian Categories, Extension of Scalars and Systems of Sesquilinear Forms
Eva Bayer-Fluckiger, Uriya A. First, Daniel A. Moldovan
We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian cat…
Sesquilinear forms over rings with involution
Eva Bayer-Fluckiger, Daniel Moldovan
Many classical results concerning quadratic forms have been extended to forms over algebras with involution. However, not much is known in the case of forms without any symmetry pr…
Hermitian Categories, extension of scalars and systems of hermitian forms
Eva Bayer-Fluckiger, Daniel Moldovan
In this paper we define a notion of Witt group for sesquilinear forms in hermitian categories, which in turn provides a notion of Witt group for sesquilinear forms over rings with…
Sparse Positional Strategies for Safety Games
Rüdiger Ehlers, Daniela Moldovan
We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a s…