Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

Retricted access

Other

First published 1968-03

Sound-proofing of Buildings

E.F. Stacy

Perspectives in Public Health

Open access

Research article

First published 2022-6-1

Infinite arguments and semantics of dialectical proof procedures

Phan Minh Thang, Phan Minh Dung, Jiraporn Pooksook

Argument & Computation

Open access

Research article

First published 2025-10

ω -Groundedness of argumentation and completeness of grounded dialectical proof procedures

Phan Minh Dung, Phan Minh Thang, Jiraporn Pooksook

Argument & Computation

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

Open access

Research article

First published 2025

Reliability Evaluation of a Portable Active Noise Control-Integrated Audiometer for Clinical Hearing Assessment

Qianjin Gao, Cuncun Ren, Xiaoqin Fan [...]

Ear,Nose & Throat Journal

Retricted access

Research article

First published 1996-4-1

A sound type system for secure flow analysis

Dennis Volpano, Cynthia Irvine, Geoffrey Smith

Journal of Computer Security

Retricted access

Research article

First published 1986

Proving Monitors Revisited: A First Step Towards Verifying Object Oriented Systems 1

Rob Gerth, W.P. De Roever

Fundamenta Informaticae

Retricted access

Research article

First published 1974-10

Arousal and Hallucinatory Activity under Two Isolation Conditions

James Levin

Perceptual and Motor Skills

Retricted access

Research article

First published 2008-2

A Deductive Proof System for Multithreaded Java with Exceptions

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever [...]

Fundamenta Informaticae

Search results