Jimmie D. Lawson

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 2

Top Topics

Decision Theoretic Planning

Information Theoretic

Bayesian Networks

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson
Program analysis using empirical abstraction. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson
Empirical Abstraction. RV (2020)
Klaus Keimel, Jimmie D. Lawson
Extending algebraic operations to D-completions. Theor. Comput. Sci. 430 (2012)
Klaus Keimel, Jimmie D. Lawson
D-completions and the d-topology. Ann. Pure Appl. Log. 159 (3) (2009)
Klaus Keimel, Jimmie D. Lawson
Extending Algebraic Operations to D-Completions. MFPS (2009)
Jimmie D. Lawson
Metric spaces and FS-domains. Theor. Comput. Sci. 405 (1-2) (2008)
Jimmie D. Lawson, Yongdo Lim
A Birkhoff contraction formula with applications to Riccati Equations. CDC (2007)
Ulrich Berger, Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott
Continuous Lattices and Domains. Stud Logica 86 (1) (2007)
Jimmie D. Lawson, Luoshan Xu
Posets having continuous intervals. Theor. Comput. Sci. 316 (1) (2004)
Jimmie D. Lawson
Idempotent analysis and continuous semilattices. Theor. Comput. Sci. 316 (1) (2004)
Jimmie D. Lawson
Domains, integration and 'positive analysis'. Math. Struct. Comput. Sci. 14 (6) (2004)
Jimmie D. Lawson, Luoshan Xu
Maximal Classes of Topological Spaces and Domains Determined by Function Spaces. Appl. Categorical Struct. 11 (4) (2003)
Jimmie D. Lawson, Bin Lu
Riemann and Edalat integration on domains. Theor. Comput. Sci. 305 (1-3) (2003)
Jimmie D. Lawson, Yongdo Lim
The Geometric Mean, Matrices, Metrics, and More. Am. Math. Mon. 108 (9) (2001)
Jimmie D. Lawson
The Versatile Continuous Order. MFPS (1987)
Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley
Ordered sets with no infinite antichains. Discret. Math. 63 (2-3) (1987)