Gaurav Singh

Yakov Zinder, Julia Memar, Gaurav Singh: Discrete optimization with polynomially detectable boundaries and restricted level sets. J. Comb. Optim. 25(2): 308-325 (2013)

Gaurav Singh, David Sier, Andreas T. Ernst, Olena Gavriliouk, Rob Oyston, Tracey Giles, Palitha Welgama: A mixed integer programming model for long term capacity expansion planning: A case study from The Hunter Valley Coal Chain. European Journal of Operational Research 220(1): 210-224 (2012)

Andreas T. Ernst, Gaurav Singh: Lagrangian Particle Swarm Optimization for a resource constrained machine scheduling problem. IEEE Congress on Evolutionary Computation 2012: 1-8

Gaurav Singh, Rong Wu, Youngcheol Chae, Kofi A. A. Makinwa: A 20bit continuous-time ΣΔ modulator with a Gm-C integrator, 120dB CMRR and 15 ppm INL. ESSCIRC 2012: 385-388

Gaurav Singh, Rolf A. de By, Ivana Ivánová: Concepts, Compass and Computation: Models for Directional Part-Whole Relationships. ICCSA (2) 2012: 286-301

Gaurav Singh, Andreas T. Ernst: Resource constraint scheduling with a fractional shared resource. Oper. Res. Lett. 39(5): 363-368 (2011)

Gaurav Singh, René Weiskircher: A multi-agent system for decentralised fractional shared resource constraint scheduling. Web Intelligence and Agent Systems 9(2): 99-108 (2011)

Anirvana Mishra, Gaurav Singh, Akshay Bahl: A novel approach to keyphrase extraction using augmented transition networks and statistical tools. Bangalore Compute Conf. 2011: 33

Anirvana Mishra, Gaurav Singh: Improving keyphrase extraction by using document topic information. GrC 2011: 463-467

Shiping Chen, Chen Wang, Dongxi Liu, Gaurav Singh: Secure Multi-party Collaboration Systems in Supply Chain Management. LISS (3) 2011: 105-107

Gaurav Singh, Sandeep Kumar Shukla: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications. Springer 2010, isbn 978-1-4419-6480-9, pp. I-XXIX, 1-153

Yakov Zinder, Julia Memar, Gaurav Singh: Discrete Optimization with Polynomially Detectable Boundaries and Restricted Level Sets. COCOA (1) 2010: 142-156

Gaurav Singh, Jacob B. Schwartz, Sandeep K. Shukla: A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications. J. Low Power Electronics 5(2): 135-144 (2009)

Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen: Industrial strength refinement checking. FMCAD 2009: 180-183

Sumit Ahuja, Deepak Mathaikutty, Gaurav Singh, Joe Stetzer, Sandeep K. Shukla, Ajit Dingankar: Power estimation methodology for a high-level synthesis framework. ISQED 2009: 541-546

Andreas Ernst, Gaurav Singh, René Weiskircher: Scheduling Meetings at Trade Events with Complex Preferences. ICAPS 2008: 76-82

Gaurav Singh, René Weiskircher: Collaborative Resource Constraint Scheduling with a Fractional Shared Resource. IAT 2008: 359-365

Gaurav Singh, Sandeep K. Shukla: Verifying Compiler Based Refinement of BluespecTM. SPIN 2008: 250-269

Gaurav Singh, Sandeep K. Shukla: Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS). IJES 3(1/2): 83-92 (2007)

Gaurav Singh, Jacob B. Schwartz, Sumit Ahuja, Sandeep K. Shukla: Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications. J. Low Power Electronics 3(2): 156-166 (2007)

Gaurav Singh, S. S. Ravi, Sumit Ahuja, Sandeep K. Shukla: Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications. Power-aware Computing Systems 2007

Gaurav Singh, Sandeep K. Shukla: Model Checking Bluespec Specified Hardware Designs. MTV 2007: 39-43

Andreas T. Ernst, Gaurav Singh: Taming Wind Energy with Battery Storage. OR 2007: 199-204

Yakov Zinder, Gaurav Singh, René Weiskircher: A New Method of Scheduling UET Tasks on Parallel Machines. IMECS 2006: 796-801

Gaurav Singh, Sandeep K. Shukla: Low-power hardware synthesis from TRS-based specifications. MEMOCODE 2006: 49-58

Gaurav Singh: Scheduling UET-UCT outforests to minimize maximum lateness. European Journal of Operational Research 165(2): 468-478 (2005)

Sandy Irani, Gaurav Singh, Sandeep K. Shukla, Rajesh K. Gupta: An overview of the competitive and adversarial approaches to designing dynamic power management strategies. IEEE Trans. VLSI Syst. 13(12): 1349-1361 (2005)

Gaurav Singh: Performance of critical path type algorithms for scheduling on parallel processors. Oper. Res. Lett. 29(1): 17-30 (2001)