A machine checked model of idempotent mgu axioms for lists of equational constraints S Kothari, J Caldwell arXiv preprint arXiv:1012.4892, 2010 | 11 | 2010 |
Predicting distributions of values of layers for three-dimensional printing S Kothari, LI Kristopher, S Viseth, J Zeng, L Zhao, G Obegi, GJ Dispoto, ... US Patent 11,409,261, 2022 | 10 | 2022 |
On extending wand’s type reconstruction algorithm to handle polymorphic let S Kothari, J Caldwell Logic and Theory of Algorithms, Fourth Conference on Computability in Europe …, 2008 | 9 | 2008 |
Simulation as a cloud service for short-run high throughput industrial print production using a service broker architecture S Kothari, T Peck, J Zeng, F Oblea, AE Votaw, G Dispoto Simulation Modelling Practice and Theory 58, 115-139, 2015 | 8 | 2015 |
Scheduling manufacturing jobs S Kothari, JP Thomas, GA McDaniel, J Zeng, GJ Dispoto US Patent 10,222,789, 2019 | 6 | 2019 |
Wand’s Algorithm Extended for the Polymorphic ML-Let S Kothari, JL Caldwell Technical report, University of Wyoming, 2007 | 6 | 2007 |
C++ templates/traits versus Haskell type classes S Kothari, M Sulzmann Technical Report TRB2/05, The National Univ. of Singapore, 2005.→ 1 …, 2005 | 6 | 2005 |
A machine checked model of MGU axioms: applications of finite maps and functional induction S Kothari, J Caldwell 23th Int. Workshop on Unification UNIF2009, 17-31, 2009 | 5 | 2009 |
Type Reconstruction Algorithms: A Survey S Kothari, JL Caldwell Technical report, University of Wyoming, 2007 | 5 | 2007 |
Determine a manufacturing batch J Zeng, S Kothari, GJ Dispoto US Patent 10,730,280, 2020 | 4 | 2020 |
Determination of Compatible Equipment in a Manufacturing Environment S Kothari, JP Thomas, J Zeng, GA Mcdaniel, GJ Dispoto US Patent App. 15/307,729, 2014 | 4 | 2014 |
Identification of a print service provider S Kothari, E Chatow, I Tasti US Patent App. 13/740,976, 2013 | 4 | 2013 |
Toward a machine-certified correctness proof of Wand’s type reconstruction algorithm S Kothari, JL Caldwell WMM09: 4th Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, 2009 | 4 | 2009 |
Rules for printing three-dimensional parts S Kothari, J Zeng, LI Kristopher, G Obegi, L Zhao, GJ Dispoto, S Viseth, ... US Patent 11,059,229, 2021 | 3 | 2021 |
Fabricating a replacement component S Kothari, WR Schalk, FJO Ramirez, J Zeng, GJ Dispoto US Patent App. 16/344,516, 2020 | 3 | 2020 |
Print service provider capacity planning J Zeng, E Hoarau, S Kothari, F Oblea, GJ Dispoto US Patent 9,846,851, 2017 | 3 | 2017 |
Detecting three-dimensional (3D) part drag S Kothari, T Heiles, L Bockman, GJ Dispoto, MAAH Khan, T Goyen US Patent 11,511,486, 2022 | 2 | 2022 |
Printing production quality prediction S Kothari, J Zeng, GJ Dispoto, S Viseth US Patent 11,376,793, 2022 | 2 | 2022 |
Resource provisioning S Kothari, J Zeng, JP Thomas, ML Reasoner, GJ Dispoto, FJO Ramirez US Patent 10,521,172, 2019 | 2 | 2019 |
Determining Payload Estimate S Kothari, J Zeng, GJ Dispoto US Patent App. 15/307,345, 2014 | 2 | 2014 |