Sage Journals: Discover world-class research

Retricted access

Research article

First published 1981

Implicit Definability of Algebraic Structures by Means of Program Properties 1

Jan Bergstra, Jerzy Tiuryn

Fundamenta Informaticae

Open access

Research article

First published 2020-5-19

Structural constraints for dynamic operators in abstract argumentation

Johannes P. Wallner

Argument & Computation

Retricted access

Research article

First published 2000-7

Formal Asynchronous Systems Modelling

Markus Kohn, Hartmut Schmeck

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-9

Interactive Logical Structures

Soma Dutta, Andrzej Jankowski, Andrzej Skowron

Fundamenta Informaticae

Retricted access

Research article

First published 2007-10

Analysis of thin-walled frames considering joint flexibilities

P R Marur

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 1996-7

ABSTRACT SEMANTICS FOR ESM SYSTEMS

D. Janssens, T. Mens

Fundamenta Informaticae

Retricted access

Research article

First published 2003-10

Abstraction and Control for Shapely Nested Graph Transformation

Berthold Hoffmann

Fundamenta Informaticae

Retricted access

Research article

First published 1998-2

An enhanced computed-torque control algorithm for robot manipulators

Q Li, S K Tso, A N Poo

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2026-5

SoK: Robust properties,robust abstractions and back-translations

Emiel Lanckriet, Frank Piessens, Dominique Devriese

Journal of Computer Security

Retricted access

Research article

First published 2010-8

A predictive capability for the aerodynamic deformation of convertible car roofs

J J Knight, A D Lucey, C T Shaw

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Search results