Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-7-11

Guiding a general-purpose C verifier to prove cryptographic protocols

François Dupressoir, Andrew D. Gordon, Jan Jürjens [...]

Journal of Computer Security

Retricted access

Other

First published 1972-6

Experimental Verification of a Digital Computer Simulation Method for Predicting Gas Turbine Dynamic Behaviour

A. J. Fawke, H. I. H. Saravanamuttoo, M. Holmes

Proceedings of the Institution of Mechanical Engineers

Retricted access

Research article

First published 2015-5

Optimal online trajectory generation for a flying robot for terrain following purposes using neural network

Amirreza Kosari, Hossein Maghsoudi, Abolfazl Lavaei [...]

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Other

First published 2003-04

Characterization of Novel Flextensional Actuators Designed by Using Topology Optimization Method

Emílio Carlos Nelli Silva, Gilder Nader, Alessandro Barbosa Shirahige [...]

Journal of Intelligent Material Systems and Structures

Retricted access

Research article

First published 1986-10

Adjustment Disorders and Suicidality

Diego De Leo, Claudio Pellegrini, Laura Serraiotto

Psychological Reports

Free access

Other

First published 2009-1-1

Designated-Verifier Chameleon Proxy Signature

Jianhong Zhang, Cheng Ji, Qin Geng

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2013-12-28

Dynamical trading mechanisms in limit order markets

Shilei Wang

Algorithmic Finance

Retricted access

Research article

First published 2023-12

Design and implementation of a real-time simulation platform for embedded applications on general-purpose operating systems

Jinchao Chen, Haoran Zhang, Ruimeng He [...]

SIMULATION

Retricted access

Research article

First published 1995-12

PERFORMANCE EVALUATION OF SYSTEMS DEFINED IN SPECIFICATION LANGUAGE ESTELLE

Jan Magott

Fundamenta Informaticae

Open access

Research article

First published 2022-5

Disciplinary approaches and theories in Argentinian public relations undergraduate programmes

Gabriel Sadi, Maria Aparecida Ferrari

Public Relations Inquiry

Search results