ask others

Ashutosh Gupta

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/ChakrabortyGJ17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/vmcai/ChakrabortyGJ17
Supratik Chakraborty, Ashutosh Gupta, Rahul Jain:
Matching Multiplications in Bit-Vector Formulas. VMCAI 2017: 131-150
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ChakrabortyGU17
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/ChakrabortyGU17
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat:
Verifying Array Manipulating Programs by Tiling. CoRR abs/1707.03555 (2017)
2016
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icacci/KahlonKGG16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icacci/KahlonKGG16
Jiwanjot Kahlon, Pradeep Kumar, Anubhav Garg, Ashutosh Gupta:
Low power and temperature compatible FinFET based full adder circuit with optimised area. ICACCI 2016: 2121-2125
[c32]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icvgip/GubbiGS16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icvgip/GubbiGS16
Sagar Venkatesh Gubbi, Ashutosh Gupta, Chandra Sekhar Seelamantula:
How much can a Gaussian smoother denoise? ICVGIP 2016: 7:1-7:8
[c31]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icvgip/SubramanianGS16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icvgip/SubramanianGS16
Babu Kishore Subramanian, Ashutosh Gupta, Chandra Sekhar Seelamantula:
A distribution-independent risk estimator for image denoising. ICVGIP 2016: 52:1-52:8
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/DacaGH16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/vmcai/DacaGH16
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger:
Abstraction-driven Concolic Testing. VMCAI 2016: 328-347
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ChakrabortyGJ16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/ChakrabortyGJ16
Supratik Chakraborty, Ashutosh Gupta, Rahul Jain:
Matching Multiplications in Bit-Vector Formulas. CoRR abs/1611.10146 (2016)
2015
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jcc/PanGSMC15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jcc/PanGSMC15
Sudip Pan, Ashutosh Gupta, Ranajit Saha, Gabriel Merino, Pratim Kumar Chattaraj:
A coupled-cluster study on the noble gas binding ability of metal cyanides versus metal halides (metal = Cu, Ag, Au). Journal of Computational Chemistry 36(29): 2168-2176 (2015)
[j6]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tomacs/GuptaH15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/tomacs/GuptaH15
Ashutosh Gupta, Thomas A. Henzinger:
Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology. ACM Trans. Model. Comput. Simul. 25(2): 7:1-7:2 (2015)
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icacci/MurgaiGM15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icacci/MurgaiGM15
Shruti Murgai, Ashutosh Gupta, Gayathri Muthukrishnan:
Energy efficient and high performance 64-bit Arithmetic Logic Unit using 28nm technology. ICACCI 2015: 453-456
[c28]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/GuptaHRST15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/popl/GuptaHRST15
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach:
Succinct Representation of Concurrent Trace Sets. POPL 2015: 433-444
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/GiacobbeGGHPP15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tacas/GiacobbeGGHPP15
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model Checking Gene Regulatory Networks. TACAS 2015: 469-483
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DacaGH15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/DacaGH15
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger:
Abstraction-driven Concolic Testing. CoRR abs/1511.02615 (2015)
2014
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/GuptaKKV14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/atva/GuptaKKV14
Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov:
Extensional Crisis and Proving Identity. ATVA 2014: 185-200
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hvc/HofferekG14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/hvc/HofferekG14
Georg Hofferek, Ashutosh Gupta:
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions. Haifa Verification Conference 2014: 68-74
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wocn/YadavPG14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/wocn/YadavPG14
Shivani Yadav, Sujata Pandey, Ashutosh Gupta:
Implementation of 8B/10B encoder-decoder for Gigabit Ethernet Frame. WOCN 2014: 1-4
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1303-7378
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1303-7378
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Generalised Interpolation by Solving Recursion-Free Horn Clauses. HCVS 2014: 31-38
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GiacobbeGGHPP14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/GiacobbeGGHPP14
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model Checking Gene Regulatory Networks. CoRR abs/1410.7704 (2014)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BhandariGD14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/BhandariGD14
Akshita Bhandari, Ashutosh Gupta, Debasis Das:
Improvised Apriori Algorithm using frequent pattern tree for real time applications in data mining. CoRR abs/1411.6224 (2014)
2013
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/GuptaMR13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/sttt/GuptaMR13
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko:
From tests to proofs. STTT 15(4): 291-303 (2013)
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/DragoiGH13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cav/DragoiGH13
Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger:
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. CAV 2013: 174-190
[c21]
- view
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/fmcad/HofferekGKJB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmcad/HofferekGKJB13
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem:
Synthesizing multiple boolean functions using interpolation on a single proof. FMCAD 2013: 77-84
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/BlancGKK13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lpar/BlancGKK13
Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl:
Tree Interpolation in Vampire. LPAR 2013: 173-181
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmsb/2013
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cmsb/2013
Ashutosh Gupta, Thomas A. Henzinger:
Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings. Lecture Notes in Computer Science 8130, Springer 2013, ISBN 978-3-642-40707-9 [contents]
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HofferekGKJB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/HofferekGKJB13
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem:
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. CoRR abs/1308.4767 (2013)
2012
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/Gupta12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/atva/Gupta12
Ashutosh Gupta:
Improved Single Pass Algorithms for Resolution Proof Reduction. ATVA 2012: 107-121
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/GuetGHMS12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cav/GuetGHMS12
Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin:
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. CAV 2012: 294-309
[c17]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icacci/MaityGG12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icacci/MaityGG12
Chandan Maity, Chaitanya Garg, Ashutosh Gupta:
Ultra low power device to track environmental sensitive items in transit. ICACCI 2012: 1155-1162
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/Gupta12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/Gupta12
Ashutosh Gupta:
Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation). SAT 2012: 469-470
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/GrebenshchikovGLPR12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tacas/GrebenshchikovGLPR12
Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko:
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). TACAS 2012: 549-551
2011
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijbra/GuptaA11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ijbra/GuptaA11
Ashutosh Gupta, Suneeta Agarwal:
Searching a pattern in compressed DNA sequences. IJBRA 7(2): 115-129 (2011)
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aplas/GuptaPR11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/aplas/GuptaPR11
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Solving Recursion-Free Horn Clauses over LI+UIF. APLAS 2011: 188-203
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/GuptaPR11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cav/GuptaPR11
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Threader: A Constraint-Based Verifier for Multi-threaded Programs. CAV 2011: 412-417
[c12]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/GuptaPR11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/popl/GuptaPR11
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Predicate abstraction and refinement for verifying multi-threaded programs. POPL 2011: 331-344
2010
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/cma/GuptaA10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/cma/GuptaA10
Ashutosh Gupta, Suneeta Agarwal:
A fast dynamic compression scheme for natural language texts. Computers & Mathematics with Applications 60(12): 3139-3151 (2010)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijcat/GuptaA10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ijcat/GuptaA10
Ashutosh Gupta, Suneeta Agarwal:
Partial retrieval of compressed semi-structured documents. IJCAT 38(4): 239-249 (2010)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/GuptaPR10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/atva/GuptaPR10
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. ATVA 2010: 188-202
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ic3/GuptaRA10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ic3/GuptaRA10
Ashutosh Gupta, Vinay Rishiwal, Suneeta Agarwal:
Efficient Storage of Massive Biological Sequences in Compact Form. IC3 (2) 2010: 13-22

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c9]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/artcom/KotaRGRS09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/artcom/KotaRGRS09
Kota Solomon Raju, Jagdish Lal Raheja, Ashutosh Gupta, Archana Rathi, Shashikant Sharma:
Principal Component Analysis for Gesture Recognition Using SystemC. ARTCom 2009: 732-737
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/GuptaR09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cav/GuptaR09
Ashutosh Gupta, Andrey Rybalchenko:
InvGen: An Efficient Invariant Generator. CAV 2009: 634-640
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmcad/CookGMRSSV09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmcad/CookGMRSSV09
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis:
Finding heap-bounds for hardware synthesis. FMCAD 2009: 205-212
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ic3/MaityGM09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ic3/MaityGM09
Chandan Maity, Ashutosh Gupta, Mahua Maity:
Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame. IC3 2009: 216-227
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/GuptaMR09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tacas/GuptaMR09
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko:
From Tests to Proofs. TACAS 2009: 262-276
2008
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ress/GuptaMU08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ress/GuptaMU08
Ashutosh Gupta, Bhaswati Mukherjee, Satyanshu K. Upadhyay:
Weibull extension model: A Bayes study using Markov chain Monte Carlo simulation. Rel. Eng. & Sys. Safety 93(10): 1434-1443 (2008)
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/GuptaHMRX08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/popl/GuptaHMRX08
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu:
Proving non-termination. POPL 2008: 147-158
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sysose/GuptaGA08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sysose/GuptaGA08
Rahul Gupta, Ashutosh Gupta, Suneeta Agarwal:
A novel approach of data compression for dynamic data. SoSE 2008: 1-6
2007
[c2]
- no documents available
- export record
  dblp key:
  - conf/imecs/GuptaA07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/imecs/GuptaA07
Ashutosh Gupta, Suneeta Agarwal:
Word Based Text Compression Using Encryption. IMECS 2007: 471-473
[c1]
- no documents available
- export record
  dblp key:
  - conf/imecs/GuptaA07a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/imecs/GuptaA07a
Ashutosh Gupta, Suneeta Agarwal:
New Transform for Improving Compression Performance in Natural Language Text. IMECS 2007: 564-567

Coauthor Index

see FAQ

maintained by

at