Raul Monroy

2008
27	EE	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	EE	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	EE	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	EE	Fernando Godínez, Dieter Hutter, Raul Monroy: On the Use of Word Networks to Mimicry Attack Detection. ETRICS 2006: 423-435
23	EE	Víctor H. García, Raul Monroy, Maricela Quintana: Web Attack Detection Using ID3. IFIP PPAI 2006: 323-332
22	EE	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	EE	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	EE	Rafael Murrieta-Cid, Raul Monroy: A Hybrid Segmentation Method Applied to Color Images and 3D Information. MICAI 2006: 789-799
19	EE	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	EE	Fernando Godínez, Dieter Hutter, Raul Monroy: Audit File Reduction Using N-Gram Models. Financial Cryptography 2005: 336-340
17	EE	Fernando Godínez, Dieter Hutter, Raul Monroy: On the Role of Information Compaction to Intrusion Detection. ISSADS 2005: 83-97
16	EE	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	EE	Fernando Godínez, Dieter Hutter, Raul Monroy: Attribute Reduction for Effective Intrusion Detection. AWIC 2004: 74-83
13	EE	Juan Carlos López Pimentel, Raul Monroy: A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals. IBERAMIA 2004: 364-374
12	EE	Raul Monroy: A Process Algebra Model of the Immune System. KES 2004: 526-533
11	EE	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	EE	Raul Monroy: Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm. Autom. Softw. Eng. 10(3): 247-269 (2003)
2002
8	EE	Rosa Saab, Raul Monroy, Fernando Godínez: Towards a Model for an Immune System. MICAI 2002: 401-410
2001
7	EE	Raul Monroy: Concept Formation via Proof Planning Failure. LPAR 2001: 723-736
2000
6	EE	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	EE	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]
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]
11	Seth Hutchinson	[16] [19] [27]
12	Dieter Hutter	[11] [14] [17] [18] [24] [25] [26]
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