| 2009 |
|---|
| 10 | EE | Juan A. Navarro,
Andrey Rybalchenko:
Operational Semantics for Declarative Networking.
PADL 2009: 76-90 |
| 2004 |
|---|
| 9 | EE | Mauricio Osorio,
Juan A. Navarro:
Answer Set Programming and S4.
IBERAMIA 2004: 353 |
| 8 | EE | Luis A. Montiel,
Juan A. Navarro:
Computing Preferred Safe Beliefs.
LA-NMR 2004 |
| 7 | | Mauricio Osorio,
Juan A. Navarro,
José Arrazola:
Applications of Intuitionistic Logic in Answer Set Programming.
TPLP 4(3): 325-354 (2004) |
| 2003 |
|---|
| 6 | EE | Mauricio Osorio,
Juan A. Navarro,
José Arrazola:
Applications of Intuitionistic Logic in Answer Set Programming
CoRR cs.LO/0305046: (2003) |
| 2002 |
|---|
| 5 | EE | Mauricio Osorio,
Juan A. Navarro,
José Arrazola:
Debugging in A-Prolog: A Logical Approach.
ICLP 2002: 482-483 |
| 4 | EE | Mauricio Osorio,
Juan A. Navarro,
José Arrazola:
A logical approach to A-Prolog.
Electr. Notes Theor. Comput. Sci. 67: (2002) |
| 2001 |
|---|
| 3 | EE | Mauricio Osorio,
Juan A. Navarro,
José Arrazola:
Equivalence in Answer Set Programming.
LOPSTR 2001: 57-75 |
| 1998 |
|---|
| 2 | EE | Juan A. Navarro,
Luis F. Hernandez,
J. Manuel Ramirez:
A PC-Based System for Visualization of the Electrical Axis and Vectocardiogram.
CBMS 1998: 8-12 |
| 1983 |
|---|
| 1 | | Richard J. Miara,
Joyce A. Musselman,
Juan A. Navarro,
Ben Shneiderman:
Program Indentation and Comprehensibility.
Commun. ACM 26(11): 861-867 (1983) |
