Searching for authors named "Scott Smith" – sorted by Relevance.
-
From Operational to Denotational Semantics
- 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
- 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
- Reflective Semantics of Constructive Type Theory (Preliminary Report) Scott F. Smith The Johns
- Add To MetaCart
-
The Coverage of Operational Semantics
- 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
- 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
- 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
- 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
- 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
- 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
- for Maximum Throughput Scott C. Smith University of Missouri – Rolla, Department of Electrical and Computer
- Cited by 2 (1 self) – Add To MetaCart

