|
Search the dblp DataBase
Kevin D. Jones:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kevin D. Jones
Support Environments for VDM. [Citation Graph (0, 0)][DBLP] VDM Europe, 1987, pp:110-117 [Conf]
- Kevin D. Jones
A Formal Semantics for a DataFlow Machine - Using VDM. [Citation Graph (0, 0)][DBLP] VDM Europe, 1987, pp:331-355 [Conf]
- Kevin D. Jones
A Semantics for a Larch/Modula-3 Interface Language. [Citation Graph (0, 0)][DBLP] Larch, 1992, pp:142-158 [Conf]
- Jaeha Kim, Kevin D. Jones, Mark A. Horowitz
Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch. [Citation Graph (0, 0)][DBLP] DAC, 2007, pp:440-443 [Conf]
Variable domain transformation for linear PAC analysis of mixed-signal systems. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|