Axel Schairer

Available identifiers

zbMath Open schairer.axelMaRDI QIDQ1856148

List of research outcomes

Publication	Date of Publication	Type
Possibilistic information flow control in the presence of encrypted communication	2022-03-07	Paper
A pragmatic approach to reuse in tactical theorem proving	2013-07-24	Paper
Proof transformations for evolutionary formal software development	2011-05-06	Paper
Security of multi-agent systems: a case study on comparison shopping	2007-07-25	Paper
Transformations of specifications and proofs to support an evolutionary formal software development.	2006-10-04	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
VSE: Formal methods meet industrial needs	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q2722016	2001-07-11	Paper

Research outcomes over time

This page was built for person: Axel Schairer