EDBT 2026 Demo / reviewers in the wild / expert
Markus Bischof
dblp:00/901
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2008
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1Human-computer interaction and ubiquitous computing · 1 · 1 first-authorTheory of computation · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program synthesis and code generation · 50% Program verification · 50% | |
| Network and information security
1 paper |
Cryptographic protocols and secure computation · 100% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification › protocol verification
security protocol verification |
0.1 | 1 | 2008 | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code · FM 2008 |
Program synthesis and code generation › formal synthesis
verified code generation |
0.1 | 1 | 2008 | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code · FM 2008 |
Cryptographic protocols and secure computation
secure payment |
0.0 | 1 | 2008 | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code · FM 2008 |
Methods — techniques the papers use, named apart from their topics
theorem proving · 0.2KIV · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2008 | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code
Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
FM | 2 |
| 2008 | Xenakis: combining tangible interaction with probability-based musical compositionabstractIn this paper we present the table-based tangible interface application Xenakis which uses probability models in order to compose music in a way that can be strongly influenced by the user. Our musical sequencing application is based on a framework for tangible interfaces with an architecture that is strongly inspired by the model-view-controller pattern. In addition, we developed a hardware setup for tangible interfaces and used MatraX for tracking markers. The sequencer is the first implementation based on this framework. It allows users to create music simply by moving tangibles on the table. The graphics engine Horde3D is used to visualize the user-interaction and to show the relationships between the tangible objects on the table, creating an appealing audio-visual experience. An evaluation with 37 first time users was conducted in order to discover the strong and the weak points of such tangible user interfaces, especially in the context of our application. Markus Bischof, Bettina Conradi, Peter Lachenmaier, Kai Linde, Max Meier, Philipp Pötzl, Elisabeth André |
TEI | 1 |