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
Type Reconstruction Algorithms: A Survey
S Kothari
Technical report, University of Wyoming, 2007
62007
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
Identification of a print service provider
S Kothari, E Chatow, I Tasti
US Patent App. 13/740,976, 2013
42013
Determine a manufacturing batch
J Zeng, S Kothari, GJ Dispoto
US Patent App. 15/033,877, 2013
3*2013
Print Service Provider Capacity Planning
J Zeng, E Hoarau, S Kothari, F Oblea, GJ Dispoto
US Patent App. 14/443,673, 2013
3*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
32009
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
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
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
12014
Determining Payload Estimate
S Kothari, J Zeng, GJ Dispoto
US Patent App. 15/307,345, 2014
12014
Migrating SimCloud to HP Helion
F Oblea, AE Votaw, S Kothari, J Zeng
HP Laboratories, Palo Alto, CA, 2014
12014
Print production designer: answering commercial/industrial print production what-ifs using simulation-as-a-service
S Kothari, J Zeng, G Dispoto
Proceedings of the 2013 Winter Simulation Conference: Simulation: Making …, 2013
12013
Print Service Matching
S Kothari, E Chatow
US Patent App. 14/364,733, 2012
12012
Anomolous nozzle determination based on thermal characteristic
S Kothari, T Heiles, GJ Dispoto
US Patent App. 17/047,297, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20