MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Scott Smith" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

55 documents found, showing 1 through 10. Next 10 →

ATOM

From Operational to Denotational Semantics
by Scott Smith — 1989 — In MFPS 1991
…From Operational to Denotational Semantics Scott F. Smith Department of Computer Science The Johns…
Cited by 18 (6 self) – Add To MetaCart

Hybrid Partial-Total Type Theory
by Scott Smith — 1995
… HYBRID PARTIAL-TOTAL TYPE THEORY SCOTT F. SMITH Department of Computer Science, The Johns Hopkins…
Cited by 5 (0 self) – Add To MetaCart

Reflective Semantics of Constructive Type Theory
by Scott F. Smith — 1991
…Reflective Semantics of Constructive Type Theory (Preliminary Report) Scott F. Smith The Johns…
Add To MetaCart

The Coverage of Operational Semantics
by Scott F. Smith — 1998 — Higher Order Operational Techniques in Semantics, Publications of the Newton Institute
…The Coverage of Operational Semantics Scott F. Smith Department of Computer Science The Johns…
Cited by 4 (0 self) – Add To MetaCart

History effects and verification
by Christian Skalka, Scott Smith — 2004 — In APLAS’04: The Second ASIAN Symposium on Programming Languages and Systems
…History Effects and Verification Christian Skalka and Scott Smith The University of Vermontskalka…
Cited by 24 (5 self) – Add To MetaCart

Modular Internet Programming with Cells
by Ran Rinat, Scott Smith — 2002 — In Proceedings of the 16th ECOOP (2002
…Modular Internet Programming with Cells Ran Rinat and Scott Smith Department of Computer Science…
Cited by 10 (0 self) – Add To MetaCart

Partial computations in constructive type theory
by Scott F. Smith — 1991 — JOURNAL OF LOGIC AND COMPUTATION
…Partial Computations in Constructive Type Theory Scott F. Smith The Johns Hopkins University…
Cited by 7 (5 self) – Add To MetaCart

A Hardware Threat Modeling Concept for Trustable Integrated Circuits
by Jia Di, Scott Smith — 2007 — IEEE Region 5 Technical Conference
…A Hardware Threat Modeling Concept for Trustable Integrated Circuits Jia Di 1 and Scott Smith 2 1…
Cited by 1 (0 self) – Add To MetaCart

Speedup of Self-Timed Digital Systems Using Early Completion”, The
by Scott C. Smith — 2002 — IEEE Computer Society Annual Symposium on VLSI
…Speedup of Self-Timed Digital Systems Using Early Completion Scott C. Smith University of Missouri…
Cited by 1 (0 self) – Add To MetaCart

Designing NULL Convention Combinational Circuits to Fully Utilize Gate-Level Pipelining for Maximum Throughput
by Scott C. Smith — 2004 — The 2004 International Conference on VLSI
… for Maximum Throughput Scott C. Smith University of Missouri – Rolla, Department of Electrical and Computer…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB