| 2008 |
|---|
| 9 | EE | Eric Trias,
Jorge Navas,
Elena S. Ackley,
Stephanie Forrest,
Manuel V. Hermenegildo:
Negative Ternary Set-Sharing.
ICLP 2008: 301-316 |
| 8 | EE | Jorge Navas,
Jesús Marín-Solano:
Interactions between government and firms: a differential game approach.
Annals OR 158(1): 47-61 (2008) |
| 7 | EE | Jorge Navas,
Jesús Marín-Solano:
Cost of capital for incentives on capacity expansion investments.
Oper. Res. Lett. 36(5): 633-636 (2008) |
| 2007 |
|---|
| 6 | EE | Jorge Navas,
Edison Mera,
Pedro López-García,
Manuel V. Hermenegildo:
User-Definable Resource Bounds Analysis for Logic Programs.
ICLP 2007: 348-363 |
| 5 | EE | Mario Méndez-Lojo,
Jorge Navas,
Manuel V. Hermenegildo:
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.
LOPSTR 2007: 154-168 |
| 4 | EE | Mario Méndez-Lojo,
Jorge Navas,
Manuel V. Hermenegildo:
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode.
Electr. Notes Theor. Comput. Sci. 190(1): 51-66 (2007) |
| 2006 |
|---|
| 3 | EE | Jorge Navas,
Francisco Bueno,
Manuel V. Hermenegildo:
Efficient Top-Down Set-Sharing Analysis Using Cliques.
PADL 2006: 183-198 |
| 2005 |
|---|
| 2 | EE | Jorge Navas,
Francisco Bueno,
Manuel V. Hermenegildo:
A Study of Set-Sharing Analysis via Clique.
WLPE 2005: 31-45 |
| 1 | EE | Jorge Navas,
Francisco Bueno,
Manuel V. Hermenegildo:
A study of set-sharing analysis via cliques
CoRR abs/cs/0508112: (2005) |
