×

zbMATH — the first resource for mathematics

Kammüller, Florian

Compute Distance To:
Author ID: kammuller.florian Recent zbMATH articles by "Kammüller, Florian"
Published as: Kammüller, Florian; Kammüller, F.
Documents Indexed: 15 Publications since 1999

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 14 times in 13 Documents Cited by Year
A formal proof of Sylow’s theorem. An experiment in abstract algebra with Isabelle H0L. Zbl 0943.68149
Kammüller, Florian; Paulson, Lawrence C.
4
1999
Functional active objects: typing and formalisation. Zbl 1364.68130
Henrio, Ludovic; Kammüller, Florian
2
2009
Modular structures as dependent types in Isabelle. Zbl 0942.68116
Kammüller, Florian
2
1999
A mechanized model of the theory of objects. Zbl 1202.68097
Henrio, Ludovic; Kammüller, Florian
2
2007
Mechanical analysis of finite idempotent relations. Zbl 1230.68175
Kammüller, Florian
1
2011
Encoding object-Z in Isabelle/HOL. Zbl 1044.68557
Smith, Graeme; Kammüller, Florian; Santen, Thomas
1
2002
On the antisymmetry of Galois embeddings. Zbl 0998.68078
Burghardt, J.; Kammüller, F.; Sanders, J. W.
1
2001
Formalizing non-interference for a simple bytecode language in Coq. Zbl 1151.68633
Kammüller, Florian
1
2008
Mechanical analysis of finite idempotent relations. Zbl 1230.68175
Kammüller, Florian
1
2011
Functional active objects: typing and formalisation. Zbl 1364.68130
Henrio, Ludovic; Kammüller, Florian
2
2009
Formalizing non-interference for a simple bytecode language in Coq. Zbl 1151.68633
Kammüller, Florian
1
2008
A mechanized model of the theory of objects. Zbl 1202.68097
Henrio, Ludovic; Kammüller, Florian
2
2007
Encoding object-Z in Isabelle/HOL. Zbl 1044.68557
Smith, Graeme; Kammüller, Florian; Santen, Thomas
1
2002
On the antisymmetry of Galois embeddings. Zbl 0998.68078
Burghardt, J.; Kammüller, F.; Sanders, J. W.
1
2001
A formal proof of Sylow’s theorem. An experiment in abstract algebra with Isabelle H0L. Zbl 0943.68149
Kammüller, Florian; Paulson, Lawrence C.
4
1999
Modular structures as dependent types in Isabelle. Zbl 0942.68116
Kammüller, Florian
2
1999

Citations by Year