Raul Monroy

	2009
29		Dieter Hutter, Raul Monroy: On the Automated Correction of Protocols with Improper Message Encoding. ARSPA-WITS 2009: 138-154
28		Raul Monroy, Alan Bundy, Ian Green: On Process Equivalence = Equation Solving in CCS. J. Autom. Reasoning 43(1): 53-80 (2009)
	2008
27		Rafael Murrieta-Cid, Raul Monroy, Seth Hutchinson, Jean-Paul Laumond: A Complexity result for the pursuit-evasion game of maintaining visibility of a moving evader. ICRA 2008: 2657-2664
	2007
26		Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter: On the Automated Correction of Security Protocols Susceptible to a Replay Attack. ESORICS 2007: 594-609
25		Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter: A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. Electr. Notes Theor. Comput. Sci. 174(4): 117-130 (2007)
	2006
24		Fernando Godínez, Dieter Hutter, Raul Monroy: On the Use of Word Networks to Mimicry Attack Detection. ETRICS 2006: 423-435
23		Víctor H. García, Raul Monroy, Maricela Quintana: Web Attack Detection Using ID3. IFIP PPAI 2006: 323-332
22		Anna V. Álvarez, Karen A. García, Raul Monroy, Luis A. Trejo, Jesús Vázquez: A Tool for Managing Security Policies in Organisations. IWSEC 2006: 378-388
21		Román Posadas, J. Carlos Mex-Perera, Raul Monroy, Juan Arturo Nolazco-Flores: Hybrid Method for Detecting Masqueraders Using Session Folding and Hidden Markov Models. MICAI 2006: 622-631
20		Rafael Murrieta-Cid, Raul Monroy: A Hybrid Segmentation Method Applied to Color Images and 3D Information. MICAI 2006: 789-799
19		Benjamín Tovar, Lourdes Muñoz-Gómez, Rafael Murrieta-Cid, Moises Alencastre-Miranda, Raul Monroy, Seth Hutchinson: Planning exploration strategies for simultaneous localization and mapping. Robotics and Autonomous Systems 54(4): 314-331 (2006)
	2005
18		Fernando Godínez, Dieter Hutter, Raul Monroy: Audit File Reduction Using N-Gram Models. Financial Cryptography 2005: 336-340
17		Fernando Godínez, Dieter Hutter, Raul Monroy: On the Role of Information Compaction to Intrusion Detection. ISSADS 2005: 83-97
16		Rafael Murrieta-Cid, Alejandro Sarmiento, Teja Muppirala, Seth Hutchinson, Raul Monroy, Moises Alencastre-Miranda, Lourdes Muñoz-Gómez, Ricardo Swain Oropeza: A Framework for Reactive Motion and Sensing Planning: A Critical Events-Based Approach. MICAI 2005: 990-1000
	2004
15		Raul Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar, Juan Humberto Sossa Azuela: MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings Springer 2004
14		Fernando Godínez, Dieter Hutter, Raul Monroy: Attribute Reduction for Effective Intrusion Detection. AWIC 2004: 74-83
13		Juan Carlos López Pimentel, Raul Monroy: A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals. IBERAMIA 2004: 364-374
12		Raul Monroy: A Process Algebra Model of the Immune System. KES 2004: 526-533
11		Fernando Godínez, Dieter Hutter, Raul Monroy: Service Discrimination and Audit File Reduction for Effective Intrusion Detection. WISA 2004: 99-113
	2003
10		Raul Monroy, Maya Carrillo: On Automating the Formulation of Security Goals under the Inductive Approach. Applied Informatics 2003: 1020-1025
9		Raul Monroy: Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm. Autom. Softw. Eng. 10(3): 247-269 (2003)
	2002
8		Rosa Saab, Raul Monroy, Fernando Godínez: Towards a Model for an Immune System. MICAI 2002: 401-410
	2001
7		Raul Monroy: Concept Formation via Proof Planning Failure. LPAR 2001: 723-736
	2000
6		Raul Monroy: The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures. ASE 2000: 91-100
5		Raul Monroy, Alan Bundy, Ian Green: Searching for a Solution to Program Verification=Equation Solving in CCS. MICAI 2000: 1-12
4		Raul Monroy, Alan Bundy, Ian Green: Planning Proofs of Equations in CCS. Autom. Softw. Eng. 7(3): 263-304 (2000)
	1998
3		Raul Monroy, Alan Bundy, Ian Green: Planning Equational Verification in CCS. ASE 1998: 43-52
2		Raul Monroy, Alan Bundy, Ian Green: Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. ECAI 1998: 393-397
	1994
1		Raul Monroy, Alan Bundy, Andrew Ireland: Proof Plans for the Correction of False Conjectures. LPAR 1994: 54-68

Coauthor Index

1	Moises Alencastre-Miranda	[16] [19]
2	Anna V. Álvarez	[22]
3	Gustavo Arroyo-Figueroa	[15]
4	Juan Humberto Sossa Azuela (Humberto Sossa)	[15]
5	Alan Bundy	[1] [2] [3] [4] [5] [28]
6	Maya Carrillo	[10]
7	Karen A. García	[22]
8	Víctor H. García	[23]
9	Fernando Godínez	[8] [11] [14] [17] [18] [24]
10	Ian Green	[2] [3] [4] [5] [28]
11	Seth Hutchinson	[16] [19] [27]
12	Dieter Hutter	[11] [14] [17] [18] [24] [25] [26] [29]
13	Andrew Ireland	[1]
14	Jean-Paul Laumond	[27]
15	J. Carlos Mex-Perera	[21]
16	Lourdes Muñoz-Gómez	[16] [19]
17	Teja Muppirala	[16]
18	Rafael Murrieta-Cid	[16] [19] [20] [27]
19	Juan Arturo Nolazco-Flores	[21]
20	Ricardo Swain Oropeza	[16]
21	Juan Carlos López Pimentel	[13] [25] [26]
22	Román Posadas	[21]
23	Maricela Quintana	[23]
24	Rosa Saab	[8]
25	Alejandro Sarmiento	[16]
26	Luis Enrique Sucar	[15]
27	Benjamín Tovar	[19]
28	Luis A. Trejo	[22]
29	Jesús Vázquez	[22]

Colors in the list of coauthors