Sage Journals: Discover world-class research

Retricted access

Research article

First published 2019

Certifying Dictionary Construction in Isabelle/HOL

Lars Hupel

Fundamenta Informaticae

Retricted access

Research article

First published 2018-5-17

Programming and verifying a declarative first-order prover in Isabelle/HOL

Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2019

On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study

Thomas Bittner

Applied Ontology

Open access

Research article

First published 2025-11

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL

Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D Brucker [...]

Journal of Computer Security

Retricted access

Research article

First published 2008-11

Mechanized reasoning in Homological Algebra

Jesús Aransay

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2018

Formal ontology of space,time,and physical entities in classical mechanics

Thomas Bittner

Applied Ontology

Retricted access

Research article

First published 2011-2

Mechanical Analysis of Finite Idempotent Relations

Florian Kammüller

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2-12

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Retricted access

Research article

First published 2024-07-23

Relation-Algebraic Verification of Disjoint-Set Forests

Walter Guttmann

Fundamenta Informaticae

Retricted access

Research article

First published 2017-11-30

Refining security protocols

Christoph Sprenger, David Basin

Journal of Computer Security

Search results