BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Greece
1 × Hungary
1 × The Netherlands
1 × USA
2 × Italy
2 × Spain
2 × Sweden
2 × Switzerland
Collaborated with:
J.I.Lathrop J.M.Hitchcock E.Mayordomo R.R.Lutz D.Mathur D.Doty S.Nandakumar S.Terwijn S.A.Fenner D.W.Juedes R.V.Book S.Tang E.R.Henderson T.H.Klinge J.J.Dai T.Klinge E.Henderson D.A.Sheasha S.J.Ellis A.S.Miner D.M.Stull T.Bergquist
Talks about:
dimens (5) requir (4) comput (4) complex (3) arithmet (2) sequenc (2) analysi (2) random (2) state (2) finit (2)

Person: Jack H. Lutz

DBLP DBLP: Lutz:Jack_H=

Contributed to:

ASE 20142014
ICSE 20122012
LATA 20122012
RE 20122012
ICALP (1) 20062006
CSL 20032003
ICALP 20032003
ICALP 20022002
ICALP 20012001
ICALP 20002000
ICALP 19971997
ICALP 19951995
ICALP 19931993
ICALP 19901990

Wrote 14 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.
The Computer Science of DNA Nanotechnology (JHL), p. 57.
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-v1-2006-DotyLN #finite
Finite-State Dimension and Real Arithmetic (DD, JHL, SN), pp. 537–547.
CSL-2003-HitchcockLT #complexity
The Arithmetical Complexity of Dimension and Randomness (JMH, JHL, ST), pp. 241–254.
ICALP-2003-HitchcockLM #complexity
Scaled Dimension and Nonuniform Complexity (JMH, JHL, EM), pp. 278–290.
ICALP-2002-HitchcockL #complexity #strict #why
Why Computational Complexity Requires Stricter Martingales (JMH, JHL), pp. 549–560.
ICALP-2001-DaiLLM #finite
Finite-State Dimension (JJD, JIL, JHL, EM), pp. 1028–1039.
ICALP-2000-Lutz #sequence
Gales and the Constructive Dimension of Individual Sequences (JHL), pp. 902–913.
ICALP-1997-LathropL #recursion
Recursive Computational Depth (JIL, JHL), pp. 132–142.
ICALP-1995-FennerLM #sequence
Weakly Useful Sequences (SAF, JHL, EM), pp. 393–404.
Computational Depth and Reducibility (DWJ, JIL, JHL), pp. 277–288.
ICALP-1990-BookLT #pseudo #query #random
Additional Queries to Random and Pseudorandom Oracles (RVB, JHL, ST), pp. 283–293.

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.