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 2023-5

Reinventing the Diplomat: Isabelle Stengers,Bruno Latour and Baptiste Morizot

Iwona Janicka

Theory,Culture & Society

Retricted access

Research article

First published 2015-12

Isabel,From Adult Learner to Community Activist

Ainhoa Flecha

Qualitative Inquiry

Retricted access

Other

First published 2001-05

Isabelle Rapin: An Autobiography

Isabelle Rapin

Journal of Child Neurology

Retricted access

Research article

First published 2025

Venus and Adonis,the Rape of Lucrece,and the Isabelle of Nicolas de Montreux

Richard Hillman

Cahiers Élisabéthains: A Journal of English Renaissance Studies

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

Free access

Research article

First published 2013-5

The utility of an online diagnostic decision support system (Isabel) in general practice: a process evaluation

Emily J Henderson, Greg P Rubin

JRSM Open

Retricted access

Research article

First published 2016-3

Psychiatric care at a national mental institution during the Spanish Civil War (1936–39): Santa Isabel de Leganés

Paloma Vázquez de la Torre, Olga Villasante

History of Psychiatry: Madness,Science,Culture

Retricted access

Research article

First published 2008-11

Mechanized reasoning in Homological Algebra

Jesús Aransay

The European Journal on Artificial Intelligence

Search results