|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Suneeta Agarwal |
Searching a pattern in compressed DNA sequences. |
IJBRA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Predicate abstraction and refinement for verifying multi-threaded programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Solving Recursion-Free Horn Clauses over LI+UIF. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Threader: A Constraint-Based Verifier for Multi-threaded Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Suneeta Agarwal |
Partial retrieval of compressed semi-structured documents. |
IJCAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Suneeta Agarwal |
A fast dynamic compression scheme for natural language texts. |
Computers & Mathematics with Applications |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Vinay Rishiwal, Suneeta Agarwal |
Efficient Storage of Massive Biological Sequences in Compact Form. |
IC3 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Solomon Raju Kota, J. L. Raheja, Ashutosh Gupta, Archana Rathi, Shashikant Sharma |
Principal Component Analysis for Gesture Recognition Using SystemC. |
ARTCom |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko |
From Tests to Proofs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis |
Finding heap-bounds for hardware synthesis. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandan Maity, Ashutosh Gupta, Mahua Maity |
Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame. |
IC3 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Andrey Rybalchenko |
InvGen: An Efficient Invariant Generator. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu |
Proving non-termination. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
non-termination, recurrent sets, model checking, testing, program verification |
| 1 | Ashutosh Gupta, Suneeta Agarwal |
Word Based Text Compression Using Encryption. |
IMECS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ashutosh Gupta, Suneeta Agarwal |
New Transform for Improving Compression Performance in Natural Language Text. |
IMECS |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")