34 citations · 77 across the 12 of their papers we have counts for
3 papers · 1 filter
Sculptures in Concurrency
Uli Fahrenberg, Christian Johansen, Christopher A. Trotter +1
We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted fr…
InfoInternet for Education in the Global South: A Study of Applications Enabled by Free Information-only Internet Access in Technologically Disadvantaged Areas (authors' version)
Johanna Johansen, Christian Johansen, Josef Noll
This paper summarises our work on studying educational applications enabled by the introduction of a new information layer called InfoInternet. This is an initiative to facilitate…
The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications
Christian Johansen, Aulon Mujaj, Hamed Arshad +1
In recent years, it has come to attention that governments have been doing mass surveillance of personal communications without the consent of the citizens. As a consequence of the…