We have, with our students, engaged in cross-disciplinary research in design. We describe parameters and principles that we have found helpful in organizing and conducting this ki...
We argue that along with social network analysis researchers can also benefit from looking at the identity bonding perspective. In this paper, by synthetic and critical reviewing ...
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...
OASIS Archive project aimed at developing a system for the universal presentation of Media Art works independent of location. The goal was to establish a user-friendly search syste...
Juergen Enge, Andrzej Glowacz, Michal Grega, Mikol...