Lee Barnett

According to our database¹, Lee Barnett authored at least 3 papers between 2004 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

The FMCAD 2025 Student Forum.

[DOI]

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2020

A Term-Rewriting Semantics for Imperative Style Programming.

[DOI]

CoRR, 2020

2004

Distributed scheduling to support mass customization in the shoe industry.

[DOI]

Int. J. Comput. Integr. Manuf., 2004