Follow
Sunil Kothari
Title
Cited by
Cited by
Year
A machine checked model of idempotent mgu axioms for lists of equational constraints
S Kothari, J Caldwell
arXiv preprint arXiv:1012.4892, 2010
102010
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
92008
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
72015
Wand’s Algorithm Extended for the Polymorphic ML-Let
S Kothari, JL Caldwell
Technical report, University of Wyoming, 2007
62007
C++ templates/traits versus Haskell type classes
S Kothari, M Sulzmann
Technical report, The National University of Singapore, 2005
62005
A machine checked model of MGU axioms: applications of finite maps and functional induction
S Kothari, J Caldwell
UNIF 9, 17-31, 2009
52009
Type Reconstruction Algorithms: A Survey
S Kothari
Technical report, University of Wyoming, 2007
52007
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
42022
Identification of a print service provider
S Kothari, E Chatow, I Tasti
US Patent App. 13/740,976, 2013
42013
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
42009
Print service provider capacity planning
J Zeng, E Hoarau, S Kothari, F Oblea, GJ Dispoto
US Patent 9,846,851, 2017
32017
Scheduling manufacturing jobs
S Kothari, TJ Peck, GA McDaniel, J Zeng, GJ Dispoto
US Patent App. 15/307,748, 2014
3*2014
Fabricating a replacement component
S Kothari, WR Schalk, FJO Ramirez, J Zeng, GJ Dispoto
US Patent App. 16/344,516, 2020
22020
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
22014
Migrating SimCloud to HP Helion
F Oblea, AE Votaw, S Kothari, J Zeng
HP Laboratories, Palo Alto, CA, 2014
22014
Print Service Matching
S Kothari, E Chatow
US Patent App. 14/364,733, 2012
22012
Toward a SLA-Based Marketplace for Digital Commercial Print Providers
S Kothari, J Zeng, E Hoarau, G Beretta, J Recker, I Lin
NIP & Digital Fabrication Conference 2011 (1), 132-135, 2011
22011
Type inference and unification: formal and informal proofs in and around wand's algorithm
S Kothari
University of Wyoming, 2011
22011
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
12021
MOTION CORRECTION IN ADDITIVE MANUFACTURING
T Heiles, S Kothari, JC Catana, B Ewald, J Zeng, GJ Dispoto
US Patent App. 16/753,267, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20