|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 10 keywords
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.  |
CADE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter |
Complete functional synthesis. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
bapa, synthesis procedure, decision procedure, presburger arithmetic |
| 1 | Patrick Ehlen, Remi Zajac, Kotcherlakota Bapa Rao |
Location and relevance. |
LocWeb |
2009 |
DBLP DOI BibTeX RDF |
georelevance, geosearch, information retrieval, local search, relevance, mobile search |
| 1 | Viktor Kuncak, Martin C. Rinard |
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
Deciding Boolean Algebra with Presburger Arithmetic. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
complexity, program verification, decision procedure, Boolean algebra, quantifier elimination, Presburger arithmetic |
| 1 | Anat Gafni, K. V. Bapa Rao |
A Time-based Distributed Optimistic Recovery and Concurrency Control Mechanism. |
ICDE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafiul Ahad, K. V. Bapa Rao, Dennis McLeod |
On Estimating the Cardinality of the Projection of a Database Relation. |
ACM Trans. Database Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Narayanaswamy, K. V. Bapa Rao |
An Incremental Mechanism for Schema Evolution in Engineering Domains. |
ICDE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Kotcherlakota V. Bapa Rao, Anat Gafni, Georg Raeder |
The Design of Dynamo: A General-purpose Information Processing Model with a Time Dimension. |
OODBS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | K. V. Bapa Rao |
An Object-Oriented Framework for Modelling Design Data. |
OODBS |
1986 |
DBLP BibTeX RDF |
|
| 1 | Dennis McLeod, K. Narayanaswamy, K. V. Bapa Rao |
Information Management for CAD/VLSI Applications. |
COMPCON |
1984 |
DBLP BibTeX RDF |
|
| 1 | Dennis McLeod, K. Narayanaswamy, K. V. Bapa Rao |
An Approach to Information Management for CAD/VLSI Applications. |
Engineering Design Applications |
1983 |
DBLP BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")