Year |
Citation |
Score |
2018 |
Arias J, Carro M, Salazar E, Marple K, Gupta G. Constraint Answer Set Programming without Grounding Theory and Practice of Logic Programming. 18: 337-354. DOI: 10.1017/S1471068418000285 |
0.348 |
|
2016 |
Saeedloei N, Gupta G. A methodology for modeling and verification of cyber-physical systems based on logic programming Acm Sigbed Review. 13: 34-42. DOI: 10.1145/2930957.2930963 |
0.35 |
|
2015 |
Gupta G. Language-based software engineering Science of Computer Programming. 97: 37-40. DOI: 10.1016/J.Scico.2014.02.010 |
0.325 |
|
2014 |
Marple K, Gupta G. Dynamic Consistency Checking in Goal-Directed Answer Set Programming Theory and Practice of Logic Programming. 14: 415-427. DOI: 10.1017/S1471068414000118 |
0.382 |
|
2009 |
DeVries BW, Gupta G, Hamlen KW, Moore S, Sridhar M. ActionScript bytecode verification with co-logic programming (abstract only) Sigplan Notices. 44: 4-4. DOI: 10.1145/1667209.1667212 |
0.39 |
|
2009 |
Guo H, Gupta G. Dynamic reordering of alternatives for definite logic programs Computer Languages, Systems & Structures. 35: 252-265. DOI: 10.1016/J.Cl.2008.04.002 |
0.561 |
|
2008 |
Guo H, Gupta G. Simplifying dynamic programming via mode-directed tabling Software - Practice and Experience. 38: 75-94. DOI: 10.1002/Spe.V38:1 |
0.55 |
|
2007 |
Pontelli E, Villaverde K, Guo HF, Gupta G. PALS: Efficient or-parallel execution of prolog on Beowulf clusters Theory and Practice of Logic Programming. 7: 633-695. DOI: 10.1017/S1471068406002985 |
0.331 |
|
2006 |
Pontelli E, Villaverde K, Guo H, Gupta G. Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms Journal of Parallel and Distributed Computing. 66: 1267-1293. DOI: 10.1016/J.Jdpc.2006.05.002 |
0.511 |
|
2005 |
Wang Q, Gupta G. Provably Correct Code Generation Electronic Notes in Theoretical Computer Science. 118: 87-109. DOI: 10.1016/J.Entcs.2004.11.008 |
0.355 |
|
2003 |
Pontelli E, Ranjan D, Gupta G, Milligan B. Design and implementation of a domain specific language for phylogenetic inference. Journal of Bioinformatics and Computational Biology. 1: 201-30. PMID 15290770 DOI: 10.1142/S0219720003000101 |
0.352 |
|
2002 |
Harary F, Gupta G. A constraint logic programming approach for generating all perfect matchings Applied Mathematics Letters. 15: 969-973. DOI: 10.1016/S0893-9659(02)00071-X |
0.363 |
|
2001 |
Gupta G, Pontelli E, Ali KAM, Carlsson M, Hermenegildo MV. Parallel execution of Prolog programs: A survey Acm Transactions On Programming Languages and Systems. 23: 472-602. DOI: 10.1145/504083.504085 |
0.426 |
|
2001 |
Gupta G, Pontelli E. Optimization schemas for parallel implementation of non-deterministic languages and systems Software - Practice and Experience. 31: 1143-1181. DOI: 10.1002/Spe.405 |
0.386 |
|
1999 |
Ranjan D, Pontelli E, Gupta G. On the complexity of or-parallelism New Generation Computing. 17: 285-307. DOI: 10.1007/Bf03037223 |
0.359 |
|
1998 |
Pontelli E, Ranjan D, Gupta G. The complexity of late-binding in dynamic object-oriented languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1490: 213-229. DOI: 10.1007/Bfb0056616 |
0.333 |
|
1997 |
Pontelli E, Gupta G. Parallel symbolic computation in ACE Annals of Mathematics and Artificial Intelligence. 21: 359-395. DOI: 10.1023/A:1018929805694 |
0.395 |
|
1996 |
Gupta G, Carlsson M. Guest editors' introduction: High-performance implementations of logic programming systems Journal of Logic Programming. 29: 1-3. DOI: 10.1016/S0743-1066(96)00066-0 |
0.353 |
|
1996 |
Pontelli E, Gupta G, Tang D, Carro M, Hermenegildo MV. Improving the efficiency of nondeterministic independent and-parallel systems Computer Languages. 22: 115-142. DOI: 10.1016/S0096-0551(96)00010-0 |
0.36 |
|
1996 |
Gupta G, Costa VS. Cuts and side-effects in and-or parallel prolog Journal of Logic Programming. 27: 45-71. DOI: 10.1016/0743-1066(95)00092-5 |
0.414 |
|
1994 |
Gupta G, Costa VS. Optimal implementation of and-or parallel Prolog Future Generation Computer Systems. 10: 71-92. DOI: 10.1016/0167-739X(94)90052-3 |
0.371 |
|
1993 |
Gupta G, Jayaraman B. Analysis of Or-Parallel Execution Models Acm Transactions On Programming Languages and Systems (Toplas). 15: 659-680. DOI: 10.1145/155183.155220 |
0.393 |
|
1993 |
Gupta G, Jayaraman B. And-or parallelism on shared-memory multiprocessors The Journal of Logic Programming. 17: 59-89. DOI: 10.1016/0743-1066(93)90009-6 |
0.379 |
|
1993 |
Gupta G, Hermenegildo MV, Costa VS. And-Or parallel Prolog: A recomputation based approach New Generation Computing. 11: 297-321. DOI: 10.1007/Bf03037180 |
0.394 |
|
1989 |
Jayaraman B, Gupta G. EqL: The Language and Its Implementation Ieee Transactions On Software Engineering. 15: 771-779. DOI: 10.1109/32.24730 |
0.331 |
|
Show low-probability matches. |