Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarAshutosh Gupta
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[c36]Syed Saqib Bukhari, Ashutosh Gupta, Anil Kumar Tiwari, Andreas Dengel:
High Performance Layout Analysis of Medieval European Document Images. ICPRAM 2018: 324-331- 2017
- [j9]Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model checking the evolution of gene regulatory networks. Acta Inf. 54(8): 765-787 (2017) - [j8]Ravi Shankar Shukla, Neeraj Tyagi, Ashutosh Gupta, Kamlesh Kumar Dubey:
An efficient data dissemination and handover scheme for vehicular ad hoc networks. IJAHUC 26(4): 237-249 (2017) - [c35]Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat:
Verifying Array Manipulating Programs by Tiling. SAS 2017: 428-449 - [c34]Supratik Chakraborty, Ashutosh Gupta, Rahul Jain:
Matching Multiplications in Bit-Vector Formulas. VMCAI 2017: 131-150 - [i6]Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat:
Verifying Array Manipulating Programs by Tiling. CoRR abs/1707.03555 (2017) - 2016
- [c33]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]Sagar Venkatesh Gubbi, Ashutosh Gupta, Chandra Sekhar Seelamantula:
How much can a Gaussian smoother denoise? ICVGIP 2016: 7:1-7:8 - [c31]Babu Kishore Subramanian, Ashutosh Gupta, Chandra Sekhar Seelamantula:
A distribution-independent risk estimator for image denoising. ICVGIP 2016: 52:1-52:8 - [c30]Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger:
Abstraction-driven Concolic Testing. VMCAI 2016: 328-347 - [i5]Supratik Chakraborty, Ashutosh Gupta, Rahul Jain:
Matching Multiplications in Bit-Vector Formulas. CoRR abs/1611.10146 (2016) - 2015
- [j7]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]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]Shruti Murgai, Ashutosh Gupta, Gayathri Muthukrishnan:
Energy efficient and high performance 64-bit Arithmetic Logic Unit using 28nm technology. ICACCI 2015: 453-456 - [c28]Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach:
Succinct Representation of Concurrent Trace Sets. POPL 2015: 433-444 - [c27]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]Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger:
Abstraction-driven Concolic Testing. CoRR abs/1511.02615 (2015) - 2014
- [c26]Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov:
Extensional Crisis and Proving Identity. ATVA 2014: 185-200 - [c25]Georg Hofferek, Ashutosh Gupta:
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions. Haifa Verification Conference 2014: 68-74 - [c24]Shivani Yadav, Sujata Pandey, Ashutosh Gupta:
Implementation of 8B/10B encoder-decoder for Gigabit Ethernet Frame. WOCN 2014: 1-4 - [c23]Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Generalised Interpolation by Solving Recursion-Free Horn Clauses. HCVS 2014: 31-38 - [i3]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]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]Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko:
From tests to proofs. STTT 15(4): 291-303 (2013) - [c22]Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger:
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. CAV 2013: 174-190 - [c21]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]Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl:
Tree Interpolation in Vampire. LPAR 2013: 173-181 - [e1]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]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]
- [c18]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]Chandan Maity, Chaitanya Garg, Ashutosh Gupta:
Ultra low power device to track environmental sensitive items in transit. ICACCI 2012: 1155-1162 - [c16]Ashutosh Gupta:
Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation). SAT 2012: 469-470 - [c15]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]Ashutosh Gupta, Suneeta Agarwal:
Searching a pattern in compressed DNA sequences. IJBRA 7(2): 115-129 (2011) - [c14]Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Solving Recursion-Free Horn Clauses over LI+UIF. APLAS 2011: 188-203 - [c13]Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Threader: A Constraint-Based Verifier for Multi-threaded Programs. CAV 2011: 412-417 - [c12]Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Predicate abstraction and refinement for verifying multi-threaded programs. POPL 2011: 331-344 - 2010
- [j3]Ashutosh Gupta, Suneeta Agarwal:
A fast dynamic compression scheme for natural language texts. Computers & Mathematics with Applications 60(12): 3139-3151 (2010) - [j2]Ashutosh Gupta, Suneeta Agarwal:
Partial retrieval of compressed semi-structured documents. IJCAT 38(4): 239-249 (2010) - [c11]Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. ATVA 2010: 188-202 - [c10]Ashutosh Gupta, Vinay Rishiwal, Suneeta Agarwal:
Efficient Storage of Massive Biological Sequences in Compact Form. IC3 (2) 2010: 13-22
2000 – 2009
- 2009
- [c9]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]
- [c7]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]Chandan Maity, Ashutosh Gupta, Mahua Maity:
Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame. IC3 2009: 216-227 - [c5]
- 2008
- [j1]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]Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu:
Proving non-termination. POPL 2008: 147-158 - [c3]Rahul Gupta, Ashutosh Gupta, Suneeta Agarwal:
A novel approach of data compression for dynamic data. SoSE 2008: 1-6 - 2007
- [c2]
- [c1]Ashutosh Gupta, Suneeta Agarwal:
New Transform for Improving Compression Performance in Natural Language Text. IMECS 2007: 564-567
Coauthor Index
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-12 22:23 CEST by the dblp team