Raul Monroy

Raúl Monroy Borja

	2011
33		Benito Camiña, Raul Monroy, Luis A. Trejo, Erika Sánchez: Towards Building a Masquerade Detection Method Based on User File System Navigation. MICAI (1) 2011: 174-186
	2010
32		Israel Becerra, Rafael Murrieta-Cid, Raul Monroy: Evader surveillance under incomplete information. ICRA 2010: 5511-5518
31		Raul Monroy: Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample. MICAI (1) 2010: 1-12
	2009
30		Arturo Hernández Aguirre, Raúl Monroy Borja, Carlos A. Reyes García: MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings Springer 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	Arturo Hernández Aguirre	[30]
2	Moises Alencastre-Miranda	[16] [19]
3	Anna V. Álvarez	[22]
4	Gustavo Arroyo-Figueroa	[15]
5	Juan Humberto Sossa Azuela (Humberto Sossa)	[15]
6	Israel Becerra	[32]
7	Alan Bundy	[1] [2] [3] [4] [5] [28]
8	Benito Camiña	[33]
9	Maya Carrillo	[10]
10	Carlos A. Reyes García	[30]
11	Karen A. García	[22]
12	Víctor H. García	[23]
13	Fernando Godínez	[8] [11] [14] [17] [18] [24]
14	Ian Green	[2] [3] [4] [5] [28]
15	Seth Hutchinson	[16] [19] [27]
16	Dieter Hutter	[11] [14] [17] [18] [24] [25] [26] [29]
17	Andrew Ireland	[1]
18	Jean-Paul Laumond	[27]
19	J. Carlos Mex-Perera	[21]
20	Lourdes Muñoz-Gómez	[16] [19]
21	Teja Muppirala	[16]
22	Rafael Murrieta-Cid	[16] [19] [20] [27] [32]
23	Juan Arturo Nolazco-Flores (Juan Arturo Nolazco)	[21]
24	Ricardo Swain Oropeza	[16]
25	Juan Carlos López Pimentel	[13] [25] [26]
26	Román Posadas	[21]
27	Maricela Quintana	[23]
28	Rosa Saab	[8]
29	Erika Sánchez	[33]
30	Alejandro Sarmiento	[16]
31	Luis Enrique Sucar	[15]
32	Benjamín Tovar	[19]
33	Luis A. Trejo	[22] [33]
34	Jesús Vázquez	[22]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page