Bianca Lutz

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 1

Top Topics

Operating System

Functional Analysis

Microsoft Windows

Top Venues

Sci. Comput. Program.

DPM/CBT@ESORICS

Publications

Florian Kammüller, Bianca Lutz
Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework. DPM/CBT@ESORICS (2020)
Jan Hendrik Schönherr, Bianca Lutz, Jan Richling
Non-intrusive Coscheduling for General Purpose Operating Systems. MSEPT (2012)
Ludovic Henrio, Florian Kammüller, Bianca Lutz
: A typed functional active object calculus. Sci. Comput. Program. 77 (7-8) (2012)
Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof
Locally Nameless Sigma Calculus. Arch. Formal Proofs 2010 (2010)