Gonzalo Escalada-Imaz

	2011
20		Saad Tanveer, Omer Jamshaid, Abdul Mannan, Aslam Muhammad, Ana Maria Martinez-Enriquez, Afraz Zahra Syed, Gonzalo Escalada-Imaz: Diagnosis in Sonogram of Gall Bladder. MICAI (1) 2011: 524-536
19		Maliha Saleem Bakhshi, Aslam Muhammad, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz: A hybrid system for reliability centered maintenance\m{1}. Int. J. Hybrid Intell. Syst. 8(4): 213-224 (2011)
	2010
18		Wasif Tanveer, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz, Aslam Muhammad: Sensing WithSense - An Intelligent Interface for Participatory Sensing. ICSEA 2010: 400-405
17		Ali Zulfiqar, Aslam Muhammad, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz: Text-Independent Speaker Identification Using VQ-HMM Model Based Multiple Classifier System. MICAI (2) 2010: 116-125
16		B. Maliha Saleem, Aslam Muhammad, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz: A Rule Based System for Reliability Centered Maintenance. MICAI (Special Sessions) 2010: 57-62
	2009
15		Aslam Muhammad, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz: Collaborative Assistant to Handle MathML Expressions. Calculemus/MKM 2009: 453-459
14		Dominique Decouchant, Gonzalo Escalada-Imaz, Ana María Martínez Enríquez, Sonia Mendoza, Aslam Muhammad: Contextual awareness based communication and coauthoring proximity in the internet. Expert Syst. Appl. 36(4): 8391-8406 (2009)
	2001
13		Edgar Altamirano, Gonzalo Escalada-Imaz: Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas. ECSQARU 2001: 792-804
	2000
12		Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez: Complexity Issues in the Davis and Putnam Scheme. AIMSA 2000: 261-271
11		Gonzalo Escalada-Imaz: A Temporal Many-Valued Logic for Real Time Control Systems. AIMSA 2000: 91-100
10		Edgar Altamirano, Gonzalo Escalada-Imaz: Finding Tractable Formulas in NNF. Computational Logic 2000: 493-507
9		Edgar Altamirano, Gonzalo Escalada-Imaz: An Efficient Proof Method for Non-clausal Reasoning. ISMIS 2000: 534-542
	1998
8		Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz: Simplification of Many-Valued Logic Formulas Using Anti-Links. J. Log. Comput. 8(4): 569-587 (1998)
7		Felip Manyà, Ramón Béjar, Gonzalo Escalada-Imaz: The satisfiability problem in regular CNF-formulas. Soft Comput. 2(3): 116-123 (1998)
	1997
6		Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez: Algoritmos genéticos genéricos y basados en orden. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 1(3): 10-29 (1997)
	1994
5		Lluís Vila, Gonzalo Escalada-Imaz: Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based. GULP-PRODE (2) 1994
4		Gonzalo Escalada-Imaz, Felip Manyà: Efficient Interpretation of Propositional Multiple-valued Logic Programs. IPMU 1994: 428-439
3		Gonzalo Escalada-Imaz, Felip Manyà: The Satisfiability Problem in Multiple-Valued Horn Formulae. ISMVL 1994: 250-256
	1991
2		Malik Ghallab, Gonzalo Escalada-Imaz: A Linear Control Algorithm for a Class of Rule-Based Systems. J. Log. Program. 11(1&2): 117-132 (1991)
	1988
1		Gonzalo Escalada-Imaz, Malik Ghallab: A Practically Efficient and Almost Linear Unification Algorithm. Artif. Intell. 36(2): 249-263 (1988)

Coauthor Index

1	Edgar Altamirano	[9] [10] [13]
2	Maliha Saleem Bakhshi	[19]
3	Bernhard Beckert	[8]
4	Ramón Béjar	[7]
5	Dominique Decouchant	[14]
6	Ana María Martínez Enríquez	[14] [15] [16] [17] [18] [19]
7	Malik Ghallab	[1] [2]
8	Reiner Hähnle	[8]
9	Omer Jamshaid	[20]
10	Abdul Mannan	[20]
11	Felip Manyà	[3] [4] [7]
12	Ana Maria Martinez-Enriquez	[20]
13	Sonia Mendoza	[14]
14	Aslam Muhammad	[14] [15] [16] [17] [18] [19] [20]
15	B. Maliha Saleem	[16]
16	Afraz Zahra Syed	[20]
17	Saad Tanveer	[20]
18	Wasif Tanveer	[18]
19	Rodolfo Torres-Velázquez	[6] [12]
20	Lluís Vila	[5]
21	Ali Zulfiqar	[17]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page