Sage Journals: Discover world-class research

Retricted access

Research article

First published 1980

HAS-Hierarchy;A natural tool for languae specification

Teodor Rus

Fundamenta Informaticae

Retricted access

Research article

First published 2004-10

Query Compilation under the disjunctive well-founded semantics

Chris A. Johnson

Fundamenta Informaticae

Retricted access

Research article

First published 2014-7-11

StatVerif: Verification of stateful processes

Myrto Arapinis, Joshua Phillips, Eike Ritter [...]

Journal of Computer Security

Retricted access

Other

First published 2000-07

Local Compilation: A Novel Paradigm for Multilanguage-Based and Reliable Distributed Computing over the Internet

Allan K. Y. Wong, Wilfred W. K. Lin, Tharam S. Dillon

SIMULATION

Open access

Research article

First published 2020-9

Collecting and compiling the oral accounts of Chinese scientists trained in the Soviet Union in the 1950s and 1960s: Practice and reflection

Liyuan Wang

Cultures of Science

Retricted access

Research article

First published 1985-10

The Computer Readability Editing System

J. Peter Kincaid, Susan Schalow

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Other

First published 2003-01

Visual Interactive Simulation for Distance Education

Juan de Lara, Manuel Alfonseca

SIMULATION

Retricted access

Other

First published 2011-5

Putting the positive in health psychology: A content analysis of three journals

Christa K. Schmidt, Trisha L. Raque-Bogdan, Sarah Piontkowski [...]

Journal of Health Psychology

Retricted access

Research article

First published 2019

Certifying Dictionary Construction in Isabelle/HOL

Lars Hupel

Fundamenta Informaticae

Retricted access

Research article

First published 1997-04

SoundScan and the consolidation of control in the popular music industry

Tom McCourt, Eric Rothenbuhler

Media,Culture & Society

Search results