Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-3

Symbolic Politics and the Regulation of Executive Compensation

Sandra L. Suárez

Politics & Society

Retricted access

Research article

First published 2024-7

Associations among symbolic functioning,joint attention,expressive communication,and executive functioning of children in rural areas

Chun-Hao Chiu, Bradford H. Pillow, The Family Life Project Key Investigators

International Journal of Behavioral Development

Retricted access

Research article

First published 2017

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions

Teodor Stoenescu, Alin Stefanescu, Sorina Predut [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-6

The Relationship between Symbolic Play and Executive Function in Young Children

Rachel Kelly, Cheryl Dissanayake, Elfriede Ihsen [...]

Australasian Journal of Early Childhood

Retricted access

Research article

First published 2010-5

Interactive verification of concurrent systems using symbolic execution

Simon Bäumler, Michael Balser, Florian Nafz [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020

Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

María Alpuente, Daniel Pardo, Alicia Villanueva

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-24

An interpolation-based method for the verification of security protocols

Marco Rocchetto, Luca Viganò, Marco Volpe

Journal of Computer Security

Retricted access

Research article

First published 2005-8

Less Is More

Stephanie M. Carlson, Angela C. Davis, Jamie G. Leach

Psychological Science

Retricted access

Other

First published 1972-11

MARTIN PAGE. The Yam Factor: And Other Insights into the Lives and Customs and Status Symbols of the Executive Tribes of America. Pp. ii,293. New York: Doubleday,1972,$7.95

George Fox Mott

The ANNALS of the American Academy of Political and Social Science

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Search results