Florian Kammüller

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalization \textit{of} quantum protocols using Coq	2021-12-06	Paper
Formalization \textit{of} quantum protocols using Coq (available as arXiv preprint)	2021-12-06	Paper
Attack trees in Isabelle (available as arXiv preprint)	2021-01-18	Paper
Attack trees in Isabelle	2021-01-18	Paper
scientific article; zbMATH DE number 6721685 (Why is no real title available?)	2017-05-19	Paper
Formal modelling and analysis of socio-technical systems Semantics, Logics, and Calculi	2016-03-23	Paper
ASP\(_{\text{fun}}\) : a typed functional active object calculus Science of Computer Programming	2012-07-13	Paper
Mechanical Analysis of Finite Idempotent Relations Fundamenta Informaticae	2011-11-22	Paper
Formalizing non-interference for a simple bytecode language in Coq Formal Aspects of Computing	2008-06-25	Paper
A Mechanized Model of the Theory of Objects Lecture Notes in Computer Science	2007-11-28	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
scientific article; zbMATH DE number 2079996 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 1863388 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1614689 (Why is no real title available?)	2001-07-05	Paper
A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle H0L Journal of Automated Reasoning	2000-09-11	Paper
scientific article; zbMATH DE number 1420790 (Why is no real title available?)	2000-03-22	Paper

Research outcomes over time

This page was built for person: Florian Kammüller