Sage Journals: Discover world-class research

Retricted access

Research article

First published 2004-5-1

Model checking SPKI/SDSI *

S. Jha, T. Reps

Journal of Computer Security

Open access

Research article

First published 2009-2

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems 1

Javier Esparza, Stefan Kiefer, Stefan Schwoon

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1984

The Algebra of Control Machines and Its Applications to Control Automata and Glushkov’s Systems

Andrzej Orlicki

Fundamenta Informaticae

Retricted access

Research article

First published 2016-11-8

Model-checking trace-based information flow properties for infinite-state systems

Deepak D’Souza, K.R. Raghavendra

Journal of Computer Security

Retricted access

Research article

First published 2011-2-14

Model-checking trace-based information flow properties *

Deepak D'Souza, Raveendra Holla, K.R. Raghavendra [...]

Journal of Computer Security

Retricted access

Research article

First published 2002-6

Products and Polymorphic Subtypes

Viviana Bono, Jerzy Tiuryn

Fundamenta Informaticae

Retricted access

Research article

First published 2015-6

Semilinear Sets and Counter Machines: a Brief Survey

Oscar H. Ibarra, Shinnosuke Seki

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Structural Redundancy of Prestressed Concrete Box Girder Bridges

Jian Yang, O. Murat Hamutcuoglu, Yingsheng Ni [...]

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2022

Solving Infinite Games in the Baire Space

Benedikt Brütsch, Wolfgang Thomas

Fundamenta Informaticae

Retricted access

Research article

First published 2016-2

Numerical investigation of progressive collapse resistance of reinforced concrete frames subject to column removals from different stories

Yi Li, Xinzheng Lu, Hong Guan [...]

Advances in Structural Engineering

Search results