Jimmie D. Lawson

According to our database, Jimmie D. Lawson authored at least 24 papers between 1980 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Program analysis using empirical abstraction.

Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson

Int. J. Softw. Tools Technol. Transf., August, 2023

2020

Empirical Abstraction.

Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson

Proceedings of the Runtime Verification - 20th International Conference, 2020

2015

Continuity of Function Spaces from Pointwise Directed Families of Characteristic Functions.

Jimmie Lawson, Xiaoyong Xi

Order, 2015

The Equivalence of QRB, QFS, and Compactness for Quasicontinuous Domains.

Jimmie Lawson, Xiaoyong Xi

Order, 2015

2013

Optimization via characteristic functions of cones.

Jimmie Lawson

Proceedings of the 9th Asian Control Conference, 2013

2012

Extending algebraic operations to D-completions.

Klaus Keimel, Jimmie D. Lawson

Theor. Comput. Sci., 2012

2011

Stably compact spaces.

Jimmie Lawson

Math. Struct. Comput. Sci., 2011

2009

D-completions and the d-topology.

Klaus Keimel, Jimmie D. Lawson

Ann. Pure Appl. Log., 2009

2008

Metric spaces and FS-domains.

Jimmie D. Lawson

Theor. Comput. Sci., 2008

2007

A Birkhoff Contraction Formula with Applications to Riccati Equations.

Jimmie Lawson, Yongdo Lim

SIAM J. Control. Optim., 2007

Continuous Lattices and Domains.

Ulrich Berger, Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott

Stud Logica, 2007

2004

Posets having continuous intervals.

Jimmie D. Lawson, Luoshan Xu

Theor. Comput. Sci., 2004

Idempotent analysis and continuous semilattices.

Jimmie D. Lawson

Theor. Comput. Sci., 2004

Domains, integration and 'positive analysis'.

Jimmie D. Lawson

Math. Struct. Comput. Sci., 2004

2003

Riemann and Edalat integration on domains.

Jimmie D. Lawson, Bin Lu

Theor. Comput. Sci., 2003

Maximal Classes of Topological Spaces and Domains Determined by Function Spaces.

Jimmie D. Lawson, Luoshan Xu

Appl. Categorical Struct., 2003

2001

The Geometric Mean, Matrices, Metrics, and More.

Jimmie D. Lawson, Yongdo Lim

Am. Math. Mon., 2001

Lie theory and its applications in control.

Uwe Helmke, Knut Hüper, Jimmie D. Lawson

Syst. Control. Lett., 2001

2000

Presentation.

Jimmie Lawson

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1997

Spaces of Maximal Points.

Jimmie Lawson

Math. Struct. Comput. Sci., 1997

The Upper Interval Topology, Property M and Compactness.

Jimmie Lawson

Proceedings of the Third Workshop on Computation and Approximation, 1997

1987

Ordered sets with no infinite antichains.

Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley

Discret. Math., 1987

The Versatile Continuous Order.

Jimmie D. Lawson

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1980

A compendium of continous lattices.

Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove

Springer, ISBN: 978-3-540-10111-6, 1980