Raul Monroy

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

27EERafael 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
26EEJuan Carlos López Pimentel, Raul Monroy, Dieter Hutter: On the Automated Correction of Security Protocols Susceptible to a Replay Attack. ESORICS 2007: 594-609
25EEJuan 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)
24EEFernando Godínez, Dieter Hutter, Raul Monroy: On the Use of Word Networks to Mimicry Attack Detection. ETRICS 2006: 423-435
23EEVíctor H. García, Raul Monroy, Maricela Quintana: Web Attack Detection Using ID3. IFIP PPAI 2006: 323-332
22EEAnna 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
21EERomá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
20EERafael Murrieta-Cid, Raul Monroy: A Hybrid Segmentation Method Applied to Color Images and 3D Information. MICAI 2006: 789-799
19EEBenjamí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)
18EEFernando Godínez, Dieter Hutter, Raul Monroy: Audit File Reduction Using N-Gram Models. Financial Cryptography 2005: 336-340
17EEFernando Godínez, Dieter Hutter, Raul Monroy: On the Role of Information Compaction to Intrusion Detection. ISSADS 2005: 83-97
16EERafael 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
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
14EEFernando Godínez, Dieter Hutter, Raul Monroy: Attribute Reduction for Effective Intrusion Detection. AWIC 2004: 74-83
13EEJuan Carlos López Pimentel, Raul Monroy: A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals. IBERAMIA 2004: 364-374
12EERaul Monroy: A Process Algebra Model of the Immune System. KES 2004: 526-533
11EEFernando Godínez, Dieter Hutter, Raul Monroy: Service Discrimination and Audit File Reduction for Effective Intrusion Detection. WISA 2004: 99-113
10 Raul Monroy, Maya Carrillo: On Automating the Formulation of Security Goals under the Inductive Approach. Applied Informatics 2003: 1020-1025
9EERaul Monroy: Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm. Autom. Softw. Eng. 10(3): 247-269 (2003)
8EERosa Saab, Raul Monroy, Fernando Godínez: Towards a Model for an Immune System. MICAI 2002: 401-410
7EERaul Monroy: Concept Formation via Proof Planning Failure. LPAR 2001: 723-736
6EERaul 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)
3EERaul 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
1 Raul Monroy, Alan Bundy, Andrew Ireland: Proof Plans for the Correction of False Conjectures. LPAR 1994: 54-68

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)