Sage Journals: Discover world-class research

Open access

Research article

First published 2009-2

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems 1

Javier Esparza, Stefan Kiefer, Stefan Schwoon

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2001-3

Organized Factions and Disorganized Parties

Scott Morgenstern

Party Politics

Retricted access

Research article

First published 1986

Computations in Coordinated Pair Systems

A. Ehrenfeucht, H.J. Hoogeboom, G. Rozenberg

Fundamenta Informaticae

Retricted access

Research article

First published 2013-4

Transseptal Ascending Aortic Access and Snare-Assisted Pull Down of the Delivery System to Facilitate Stent-Graft Passage in the Aortic Arch During TEVAR

George Joseph, Edwin Stephen, Sujith Chacko [...]

Journal of Endovascular Therapy

Retricted access

Research article

First published 1998

Development of a Sequential Kinking Terminal for W-Beam Guardrails

Dean L. Sicking, John D. Reid, John R. Rohde

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 1996-1

Development of Metal-Cutting Guardrail Terminal

Brian G. Pfeifer, Dean L. Sicking

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 1993-10

Evaluation of Pushbutton Arrangements in Automobiles

Helmut T. Zwahlen

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Free access

Other

First published 2007-2

An Overview of Real-Time Operating Systems

Walter Cedeño, Phillip A. Laplante

Journal of Laboratory Automation

Retricted access

Research article

First published 2010-7

“A Monument to Commercial Isolation”: Merchants and the Economic Decline of Post- Civil War New Orleans

Scott P. Marler

Journal of Urban History

Retricted access

Research article

First published 2003-10

Identification of Cognitive Demands for New Systems

Gavan Lintern, Christopher Miller

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Search results