BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
1 × Italy
1 × Switzerland
1 × USA
2 × Sweden
Collaborated with:
J.H.Lutz R.R.Lutz D.Mathur D.W.Juedes E.R.Henderson T.H.Klinge J.J.Dai E.Mayordomo T.Klinge E.Henderson D.A.Sheasha S.J.Ellis A.S.Miner D.M.Stull T.Bergquist
Talks about:
requir (3) analysi (2) comput (2) depth (2) nanomachin (1) nanodevic (1) molecular (1) watchdog (1) programm (1) product (1)

Person: James I. Lathrop

DBLP DBLP: Lathrop:James_I=

Contributed to:

ASE 20142014
ICSE 20122012
RE 20122012
ICALP 20012001
ICALP 19971997
ICALP 19931993

Wrote 6 papers:

ASE-2014-EllisHKLLLMM #analysis #automation #requirements
Automated requirements analysis for a molecular watchdog timer (SJE, ERH, THK, JIL, JHL, RRL, DM, ASM), pp. 767–778.
ICSE-2012-LutzLLKHMS #programmable #requirements #self #verification
Engineering and verifying requirements for programmable self-assembling nanomachines (RRL, JHL, JIL, TK, EH, DM, DAS), pp. 1361–1364.
RE-2012-LutzLLKMSBH #analysis #product line #requirements
Requirements analysis for a product family of DNA nanodevices (RRL, JHL, JIL, THK, DM, DMS, TB, ERH), pp. 211–220.
ICALP-2001-DaiLLM #finite
Finite-State Dimension (JJD, JIL, JHL, EM), pp. 1028–1039.
ICALP-1997-LathropL #recursion
Recursive Computational Depth (JIL, JHL), pp. 132–142.
ICALP-1993-JuedesLL
Computational Depth and Reducibility (DWJ, JIL, JHL), pp. 277–288.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.