Florian Kammüller

From MaRDI portal
Person:433338

Available identifiers

zbMath Open kammuller.florianMaRDI QIDQ433338

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50151892021-12-06Paper
Attack trees in Isabelle2021-01-18Paper
https://portal.mardi4nfdi.de/entity/Q29890022017-05-19Paper
Formal Modelling and Analysis of Socio-Technical Systems2016-03-23Paper
ASP\(_{\text{fun}}\) : a typed functional active object calculus2012-07-13Paper
Mechanical Analysis of Finite Idempotent Relations2011-11-22Paper
Formalizing non-interference for a simple bytecode language in Coq2008-06-25Paper
A Mechanized Model of the Theory of Objects2007-11-28Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
https://portal.mardi4nfdi.de/entity/Q44721772004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q47906632003-02-04Paper
https://portal.mardi4nfdi.de/entity/Q27234112001-07-05Paper
A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle H0L2000-09-11Paper
https://portal.mardi4nfdi.de/entity/Q49448542000-03-22Paper

Research outcomes over time

This page was built for person: Florian Kammüller

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:433338&oldid=7581335"
Powered by MediaWiki