Sage Journals: Discover world-class research

Retricted access

Research article

First published 2000-4

A Proof System for Dependencies for Information Relations

Wendy MacCaull

Fundamenta Informaticae

Retricted access

Research article

First published 2012-8

Probability of failure on demand of safety systems: impact of partial test distribution

Florent Brissaud, Anne Barros, Christophe Bérenguer

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2016

A Relational Logic for Spatial Contact Based on Rough Set Approximation

Ivo Düntsch, Ewa Orłowska, Hui Wang

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Intersection Types with Subtyping by Means of Cut Elimination

Olivier Laurent

Fundamenta Informaticae

Retricted access

Research article

First published 2008-2

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Mark-Oliver Stehr

Fundamenta Informaticae

Open access

Research article

First published 2023-11

Proof Load Testing Method by the American Association of State Highway and Transportation Officials and Suggestions for Improvement

Rein de Vries, Eva O. L. Lantsoght, Raphaël D. J. M. Steenbergen [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2019

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

Carlos G. Lopez Pombo, Pablo F. Castro, Nazareno M. Aguirre [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2007-7-23

Privacy preserving multi-factor authentication with biometrics

Abhilasha Bhargav-Spantzel, Anna C. Squicciarini, Shimon Modi [...]

Journal of Computer Security

Retricted access

Research article

First published 2005-11-17

Supply chain system taxonomy: A framework and methodology

Charu Chandra, Armen Tumanyan

Human Systems Management

Retricted access

Research article

First published 2021-10-27

Ballot secrecy: Security definition,sufficient conditions,and analysis of Helios

Ben Smyth

Journal of Computer Security

Search results