Jimmie D. Lawson

18 papers B 3Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Program analysis using empirical abstraction.
Int. J. Softw. Tools Technol. Transf.
Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson
2020 B conf
Empirical Abstraction.
RV
Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson
2012 J jnl
Extending algebraic operations to D-completions.
Theor. Comput. Sci.
Klaus Keimel, Jimmie D. Lawson
2009 J jnl
D-completions and the d-topology.
Ann. Pure Appl. Log.
Klaus Keimel, Jimmie D. Lawson
2009 B conf
Extending Algebraic Operations to D-Completions.
MFPS
Klaus Keimel, Jimmie D. Lawson
2008 J jnl
Metric spaces and FS-domains.
Theor. Comput. Sci.
Jimmie D. Lawson
2007 — conf
A Birkhoff contraction formula with applications to Riccati Equations.
CDC
Jimmie D. Lawson, Yongdo Lim
2007 J jnl
Continuous Lattices and Domains.
Stud Logica
Ulrich Berger, Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott
2004 J jnl
Domains, integration and 'positive analysis'.
Math. Struct. Comput. Sci.
Jimmie D. Lawson
2004 J jnl
Idempotent analysis and continuous semilattices.
Theor. Comput. Sci.
Jimmie D. Lawson
2004 J jnl
Posets having continuous intervals.
Theor. Comput. Sci.
Jimmie D. Lawson, Luoshan Xu
2003 J jnl
Maximal Classes of Topological Spaces and Domains Determined by Function Spaces.
Appl. Categorical Struct.
Jimmie D. Lawson, Luoshan Xu
2003 J jnl
Riemann and Edalat integration on domains.
Theor. Comput. Sci.
Jimmie D. Lawson, Bin Lu
2001 J jnl
Lie theory and its applications in control.
Syst. Control. Lett.
Uwe Helmke, Knut Hüper, Jimmie D. Lawson
2001 J jnl
The Geometric Mean, Matrices, Metrics, and More.
Am. Math. Mon.
Jimmie D. Lawson, Yongdo Lim
1987 J jnl
Ordered sets with no infinite antichains.
Discret. Math.
Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley
1987 B conf
The Versatile Continuous Order.
MFPS
Jimmie D. Lawson
1980 — book
A compendium of continous lattices.
Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove