Sage Journals: Discover world-class research

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

Research article

First published 2013-2

Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce

Hans Langmaack, Andrzej Salwicki

Fundamenta Informaticae

Retricted access

Research article

First published 2014-12

The Semantics of Biological Forms

Liliana Albertazzi, Luisa Canal, James Dadam [...]

Perception

Retricted access

Research article

First published 2008-11

Analysis of Static Data Flow Structures

Danil Sokolov, Ivan Poliakov, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 2002-9

Some Promising Results of Communication-Based Automatic Measures of Team Cognition

Preston A. Kiekel, Nancy J. Cooke, Peter W. Foltz [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Open access

Research article

First published 2022-11-30

Components.js: Semantic dependency injection

Ruben Taelman, Joachim Van Herwegen, Miel Vander Sande [...]

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Other

First published 2004-5

Model checking for the concurrent constraint paradigm

Alicia Villanueva

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2019-1-11

Verifying constant-time implementations by abstract interpretation

Sandrine Blazy, David Pichardie, Alix Trieu

Journal of Computer Security

Retricted access

Research article

First published 2010-9-20

Verifying resource access control on mobile interactive devices

Frédéric Besson, Guillaume Dufay, Thomas Jensen [...]

Journal of Computer Security

Retricted access

Research article

First published 2005-08

Implied narratives of medical practice in learning-for-doing texts: a simulation semantics approach to rhetorical analysis

Todd Oakley

Language and Literature: International Journal of Stylistics

Search results