Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-8

Slicing of Timed Automata with Discrete Data

Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Retricted access

Research article

First published 2014-10

EFESTS: Educational finite element software for truss structure. Part II: Linear static analysis

Wenjie Zuo, Xiang Li, Guikai Guo

International Journal of Mechanical Engineering Education

Retricted access

Research article

First published 2004-4

Slicing Timed Systems

Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Retricted access

Research article

First published 2010-8-16

Static analysis for detecting taint-style vulnerabilities in web applications

Nenad Jovanovic, Christopher Kruegel, Engin Kirda

Journal of Computer Security

Retricted access

Research article

First published 2007-3-20

A static analysis for quantifying information flow in a simple imperative language

David Clark, Sebastian Hunt, Pasquale Malacaria

Journal of Computer Security

Retricted access

Research article

First published 2009-11-25

Semantics-based code obfuscation by abstract interpretation

Mila Dalla Preda, Roberto Giacobazzi

Journal of Computer Security

Retricted access

Other

First published 1970-6

The Application of Finite Element Techniques to the Analysis of an Automobile Structure: First Paper: Static Analysis of an Automobile Chassis Frame

R. Ali, J. L. Hedges, B. Mills

Proceedings of the Institution of Mechanical Engineers

Retricted access

Research article

First published 1997-2

A METHODOLOGY FOR CONSTRUCTING LOGIC PROGRAMS

Francis Alexandre, Khaled Bsaïes

Fundamenta Informaticae

Retricted access

Research article

First published 1993-12

Nonlinear Static and Dynamic Analysis of Space Frames with Semi-Rigid Connections

Siu Lai Chan

International Journal of Space Structures

Retricted access

Research article

First published 2006-5

High-speed ball bearing analysis

C A Foord

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

Search results