Gonzalo Escalada-Imaz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1994–2010
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICSEA | Sensing WithSense - An Intelligent Interface for Participatory Sensing. | Wasif Tanveer, Ana Mara Martnez Enrquez, Gonzalo Escalada-Imaz, Aslam Muhammad |
| 2001 | ECSQARU | Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas. | Edgar Altamirano, Gonzalo Escalada-Imaz |
| 2000 | AIMSA | A Temporal Many-Valued Logic for Real Time Control Systems. | Gonzalo Escalada-Imaz |
| 2000 | AIMSA | Complexity Issues in the Davis and Putnam Scheme. | Gonzalo Escalada-Imaz, Rodolfo Torres-Velzquez |
| 2000 | ISMIS | An Efficient Proof Method for Non-clausal Reasoning. | Edgar Altamirano, Gonzalo Escalada-Imaz |
| 1994 | IPMU | Efficient Interpretation of Propositional Multiple-valued Logic Programs. | Gonzalo Escalada-Imaz, Felip Many |