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: Lathrop:James_I=
Contributed to:
2014
2012
2012
200119971993Wrote 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.