Bianca Lutz

According to our database, Bianca Lutz authored at least 4 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Modeling and Analyzing the Corona-Virus Warning App with the Isabelle Infrastructure Framework.

Florian Kammüller, Bianca Lutz

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2020

2012

ASP_fun : A typed functional active object calculus.

Ludovic Henrio, Florian Kammüller, Bianca Lutz

Sci. Comput. Program., 2012

Non-intrusive Coscheduling for General Purpose Operating Systems.

Jan Hendrik Schönherr, Bianca Lutz, Jan Richling

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2012

2010

Locally Nameless Sigma Calculus.

Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof

Arch. Formal Proofs, 2010