dblp.uni-trier.dewww.uni-trier.de

Juan A. Navarro Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
10EEJuan A. Navarro, Andrey Rybalchenko: Operational Semantics for Declarative Networking. PADL 2009: 76-90
2004
9EEMauricio Osorio, Juan A. Navarro: Answer Set Programming and S4. IBERAMIA 2004: 353
8EELuis 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
6EEMauricio Osorio, Juan A. Navarro, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming CoRR cs.LO/0305046: (2003)
2002
5EEMauricio Osorio, Juan A. Navarro, José Arrazola: Debugging in A-Prolog: A Logical Approach. ICLP 2002: 482-483
4EEMauricio Osorio, Juan A. Navarro, José Arrazola: A logical approach to A-Prolog. Electr. Notes Theor. Comput. Sci. 67: (2002)
2001
3EEMauricio Osorio, Juan A. Navarro, José Arrazola: Equivalence in Answer Set Programming. LOPSTR 2001: 57-75
1998
2EEJuan 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)

Coauthor Index

1José Arrazola [3] [4] [5] [6] [7]
2Luis F. Hernandez [2]
3Richard J. Miara [1]
4Luis A. Montiel [8]
5Joyce A. Musselman [1]
6Mauricio Osorio (Mauricio Javier Osorio Galindo) [3] [4] [5] [6] [7] [9]
7J. Manuel Ramirez [2]
8Andrey Rybalchenko [10]
9Ben Shneiderman [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)