Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-6

Grammatical Representations of Macromolecular Structure

David Chiang, Aravind K. Joshi, David B. Searls

Journal of Computational Biology

Retricted access

Research article

First published 1984

ω -Rule and Continuity on Connections Between Algebraic Semantics,Fixpoint Semantics and Algorithmic Logic

Patrice Enjalbert

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Parametric Analyses of Attack-fault Trees *

Étienne André, Didier Lime, Mathias Ramparison [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2005-3

Tracing Relations Probabilistically

Ernst-Erich Doberkat

Fundamenta Informaticae

Retricted access

Research article

First published 2005-6

Tracing Relations Probabilistically

Ernst-Erich Doberkat

Fundamenta Informaticae

Retricted access

Research article

First published 1981

On the Semantics of Parallel Programs

Tomasz Müldner

Fundamenta Informaticae

Retricted access

Research article

First published 2022

Cost Automata,Safe Schemes,and Downward Closures

David Barozzini, Lorenzo Clemente, Thomas Colcombet [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2020-6-19

A new framework for privacy-preserving biometric-based remote user authentication

Yangguang Tian, Yingjiu Li, Robert H. Deng [...]

Journal of Computer Security

Open access

Research article

First published 2016-5

Study on formal modeling and verification of safety computer platform

Xi Wang, Lianchuan Ma, Tao Tang

Advances in Mechanical Engineering

Open access

Research article

First published 2016-5

An Advanced Auxiliary Delay-Weight Particle Filter with Linear Computation Cost

Chen Li, Lin Sun, Zengwei Zheng [...]

International Journal of Distributed Sensor Networks

Search results