Raúl Monroy

115 papers A* 4A 4B 3C 2Misc 2Journal 78Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
A multibiometric system based on finger photo and palm photo.
Multim. Tools Appl.
Javad Khodadoust, Raúl Monroy, Miguel Angel Medina-Pérez, Worapan Kusakunniran, Ali Mohammad Khodadoust
2026 J jnl
An explainable autoencoder integrating regression and classification trees for anomaly detection.
Expert Syst. Appl.
Zoe Caballero-Domínguez, Raúl Monroy, Miguel Angel Medina-Pérez
2026 J jnl
Evolutionary Neural Architecture Search for Super-Resolution: Benchmarking SynFlow and model-based predictors.
Swarm Evol. Comput.
Sergio M. Sarmiento-Rosales, Víctor Adrián Sosa-Hernández, Raúl Monroy
2026 J jnl
Minutiae-based palm photo recognition using deep neural networks.
Eng. Appl. Artif. Intell.
Javad Khodadoust, Raúl Monroy, Miguel Angel Medina-Pérez, Emanuela Marasco, Worapan Kusakunniran
2026 J jnl
PFPINet: An End-to-End Network for Partial Finger Photo Identification.
IEEE Trans. Biom. Behav. Identity Sci.
Javad Khodadoust, Raúl Monroy, Emanuela Marasco, Ali Mohammad Khodadoust
2026 J jnl
Public opinion and emotional discourse: a study of YouTube comments on Mexican news in 2024.
Int. J. Data Sci. Anal.
Miryam Elizabeth Villa-Pérez, Raúl Monroy
2025 J jnl
A Unified Framework for Segmentation, Scaling, and Indexing of Contactless Fingerprints.
IEEE Trans. Biom. Behav. Identity Sci.
Javad Khodadoust, Raúl Monroy, Emanuela Marasco
2025 J jnl
Advanced Machine Learning Techniques for Social Support Detection on Social Media.
CoRR
Olga Kolesnikova, Moein Shahiki Tash, Zahra Ahani, Ameeta Agrawal, Raúl Monroy, Grigori Sidorov
2025 J jnl
Beyond Performance: Designing a Super-Resolution Architecture Search Space and a Hybrid Multi-Objective Approach for Neural Architecture Optimization.
IEEE Access
Jesús Leopoldo Llano García, Raúl Monroy, Víctor Adrián Sosa-Hernández, Kalyanmoy Deb
2025 J jnl
Can Artificial Intelligence Write Like Borges? An Evaluation Protocol for Spanish Microfiction.
CoRR
Gerardo Aleman Manzanarez, Nora de la Cruz Arana, Jorge Garcia Flores, Yobany Garcia Medina, Raúl Monroy, Nathalie Pernelle
2025 — conf
Comparative Analysis of Performance Predictors in Multi-objective Neural Architecture Search for Single Image Super-Resolution: XGBoost Regressor and SynFlow.
IJCCI (2)
Sergio M. Sarmiento-Rosales, Jesús Leopoldo Llano García, Jesper Michiel Janssen, Jesús Guillermo Falcón-Cardona, Raúl Monroy, Víctor Adrián Sosa-Hernández
2025 J jnl
Emphasizing the Early Phases of the Software Development Process Before Deploying Smart Contracts.
IEEE Access
Juan Carlos López Pimentel, Carolina Del-Valle-Soto, Leonardo J. Valdivia, Raúl Monroy
2025 J jnl
Improving Identification by Removing Obstructive Minutiae From Latent Fingerprints.
IEEE Access
Marcos Daniel Calderón Calderón, Miguel Angel Medina-Pérez, Raúl Monroy
2025 J jnl
New Evaluation Method for Fuzzy Cluster Validity Indices.
IEEE Access
Ismay Pérez-Sánchez, Miguel Angel Medina-Pérez, Raúl Monroy, Octavio Loyola-González, Andres E. Gutierrez-Rodriguez
2025 J jnl
Online Social Support Detection in Spanish Social Media Texts.
CoRR
Moein Shahiki Tash, Luis Ramos, Zahra Ahani, Raúl Monroy, Olga Kolesnikova, Hiram Calvo, Grigori Sidorov
2025 J jnl
Resilient facility location optimization under failure scenarios using NSGA-III: A multi-objective approach for enhanced system robustness.
Expert Syst. Appl.
Mariano Vargas-Santiago, Diana Assaely León-Velasco, Raúl Monroy
2025 J jnl
Spherical model for Minimalist Machine Learning paradigm in handling complex databases.
Frontiers Artif. Intell.
Raúl Jiménez-Cruz, Cornelio Yáñez-Márquez, Miguel González-Mendoza, Yenni Villuendas-Rey, Raúl Monroy
2024 J jnl
A novel indexing algorithm for latent palmprints leveraging minutiae and orientation field.
Intell. Syst. Appl.
Javad Khodadoust, Raúl Monroy, Miguel Angel Medina-Pérez, Octavio Loyola-González, Worapan Kusakunniran, André Boller, Philipp Terhörst
2024 J jnl
Botnet Identification on Twitter: A Novel Clustering Approach Based on Similarity.
IEEE Access
Luis Daniel Samper Escalante, Octavio Loyola-González, Raúl Monroy, Miguel Angel Medina-Pérez
2024 J jnl
Enhancing latent palmprints using frequency domain analysis.
Intell. Syst. Appl.
Javad Khodadoust, Raúl Monroy, Miguel Angel Medina-Pérez, Octavio Loyola-González, Vutipong Areekul, Worapan Kusakunniran
2024 A conf
Integrating Knowledge Graph Data with Large Language Models for Explainable Inference.
WSDM
Carlos Efrain Quintero Narvaez, Raúl Monroy
2024 J jnl
Neural architecture search for image super-resolution: A review on the emerging state-of-the-art.
Neurocomputing
Jesús L. Llano García, Raúl Monroy, Víctor Adrián Sosa-Hernández
2024 C conf
Surrogate Modeling for Efficient Evolutionary Multi-Objective Neural Architecture Search in Super Resolution Image Restoration.
IJCCI
Sergio M. Sarmiento-Rosales, Jesús Leopoldo Llano García, Jesús Guillermo Falcón-Cardona, Raúl Monroy, Manuel Iván Casillas del Llano, Víctor Adrián Sosa-Hernández
2023 — conf
An Experimental Protocol for Neural Architecture Search in Super-Resolution.
ICCV (Workshops)
Jesús Leopoldo Llano García, Raúl Monroy, Víctor Adrián Sosa-Hernández
2022 J jnl
A Practical Tutorial for Decision Tree Induction: Evaluation Measures for Candidate Splits and Opportunities.
ACM Comput. Surv.
Víctor Adrián Sosa-Hernández, Raúl Monroy, Miguel Angel Medina-Pérez, Octavio Loyola-González, Francisco Herrera
2022 J jnl
A secure and robust indexing algorithm for distorted fingerprints and latent palmprints.
Expert Syst. Appl.
Javad Khodadoust, Miguel Angel Medina-Pérez, Octavio Loyola-González, Raúl Monroy, Ali Mohammad Khodadoust
2022 J jnl
FT4cip: A new functional tree for classification in class imbalance problems.
Knowl. Based Syst.
Leonardo Cañete-Sifuentes, Raúl Monroy, Miguel Angel Medina-Pérez
2021 J jnl
A Review and Experimental Comparison of Multivariate Decision Trees.
IEEE Access
Leonardo Cañete-Sifuentes, Raúl Monroy, Miguel Angel Medina-Pérez
2021 J jnl
A Video Game-Crowdsourcing Approach to Discover a Player's Strategy for Problem Solution to Housing Development.
IEEE Access
Arturo Silva-Gálvez, Raúl Monroy, José Emmanuel Ramirez-Marquez, Chi Zhang
2021 J jnl
A multibiometric system based on the fusion of fingerprint, finger-vein, and finger-knuckle-print.
Expert Syst. Appl.
Javad Khodadoust, Miguel Angel Medina-Pérez, Raúl Monroy, Ali Mohammad Khodadoust, Seyed Saeid Mirkamali
2021 J jnl
An Indexing Algorithm Based on Clustering of Minutia Cylinder Codes for Fast Latent Fingerprint Identification.
IEEE Access
Ismay Pérez-Sánchez, Bárbara Cervantes, Miguel Angel Medina-Pérez, Raúl Monroy, Octavio Loyola-González, Salvador García, Francisco Herrera
2021 J jnl
An ensemble of fingerprint matching algorithms based on cylinder codes and mtriplets for latent fingerprint identification.
Pattern Anal. Appl.
Danilo Valdes-Ramirez, Miguel Angel Medina-Pérez, Raúl Monroy
2021 J jnl
COARSE-EMOA: An indicator-based evolutionary algorithm for solving equality constrained multi-objective optimization problems.
Swarm Evol. Comput.
Jesús L. Llano García, Raúl Monroy, Víctor Adrián Sosa-Hernández, Carlos A. Coello Coello
2021 J jnl
RootLogChain: Registering Log-Events in a Blockchain for Audit Issues from the Creation of the Root.
Sensors
Juan Carlos López Pimentel, Luis Alberto Morales-Rosales, Raúl Monroy
2021 J jnl
The Integration of Protection, Restoration, and Adaptive Flow Redistribution in Building Resilient Networked Critical Infrastructures Against Intentional Attacks.
IEEE Syst. J.
Huaxing Zhu, Chi Zhang, Jose Emmanuel Ramirez-Marquez, Su Wu, Raúl Monroy
2021 J jnl
The adaptable Pareto set problem for facility location: A video game approach.
Expert Syst. Appl.
Mariano Vargas-Santiago, Raúl Monroy, Chi Zhang, José Emmanuel Ramirez-Marquez, Diana Assaely León-Velasco
2020 J jnl
A one-class classification approach for bot detection on Twitter.
Comput. Secur.
Jorge Rodríguez-Ruiz, Javier Israel Mata-Sánchez, Raúl Monroy, Octavio Loyola-González, Armando López-Cuevas
2020 J jnl
An Explainable Artificial Intelligence Model for Clustering Numerical Databases.
IEEE Access
Octavio Loyola-González, Andrés Eduardo Gutiérrez-Rodríguez, Miguel Angel Medina-Pérez, Raúl Monroy, José Francisco Martínez Trinidad, Jesús Ariel Carrasco-Ochoa, Milton García-Borroto
2020 — conf
Blockchain and off-chain: A Solution for Audit Issues in Supply Chain Systems.
Blockchain
Juan Carlos López Pimentel, Omar Rojas, Raúl Monroy
2019 J jnl
A Pattern-Based Approach for Detecting Pneumatic Failures on Temporary Immersion Bioreactors.
Sensors
Octavio Loyola-González, Miguel Angel Medina-Pérez, Dayton Hernández-Tamayo, Raúl Monroy, Jesús Ariel Carrasco-Ochoa, Milton García-Borroto
2019 J jnl
A Review of Fingerprint Feature Representations and Their Applications for Latent Fingerprint Identification: Trends and Evaluation.
IEEE Access
Danilo Valdes-Ramirez, Miguel Angel Medina-Pérez, Raúl Monroy, Octavio Loyola-González, Jorge Rodríguez-Ruiz, Aythami Morales, Francisco Herrera
2019 J jnl
A survey on minutiae-based palmprint feature representations, and a full analysis of palmprint feature representation role in latent identification performance.
Expert Syst. Appl.
Jorge Rodríguez-Ruiz, Miguel Angel Medina-Pérez, Raúl Monroy, Octavio Loyola-González
2019 J jnl
Bagging-RandomMiner: a one-class classifier for file access-based masquerade detection.
Mach. Vis. Appl.
José Benito Camiña, Miguel Angel Medina-Pérez, Raúl Monroy, Octavio Loyola-González, Luis Angel Pereyra Villanueva, Luis Carlos González-Gurrola
2019 J jnl
Classification Based on Multivariate Contrast Patterns.
IEEE Access
Leonardo Cañete-Sifuentes, Raúl Monroy, Miguel Angel Medina-Pérez, Octavio Loyola-González, Francisco Vera Voronisky
2019 J jnl
Cluster validation in clustering-based one-class classification.
Expert Syst. J. Knowl. Eng.
Jorge Rodríguez-Ruiz, Raúl Monroy, Miguel Angel Medina-Pérez, Octavio Loyola-González, Bárbara Cervantes
2019 J jnl
Contrast Pattern-Based Classification for Bot Detection on Twitter.
IEEE Access
Octavio Loyola-González, Raúl Monroy, Jorge Rodríguez-Ruiz, Armando López-Cuevas, Javier Israel Mata-Sánchez
2019 J jnl
DNS-ADVP: A Machine Learning Anomaly Detection and Visual Platform to Protect Top-Level Domain Name Servers Against DDoS Attacks.
IEEE Access
Luis A. Trejo, Victor Ferman, Miguel Angel Medina-Pérez, Fernando Miguel Arredondo Giacinti, Raúl Monroy, Jose Emmanuel Ramirez-Marquez
2019 J jnl
Fusing pattern discovery and visual analytics approaches in tweet propagation.
Inf. Fusion
Octavio Loyola-González, Armando López-Cuevas, Miguel Angel Medina-Pérez, Benito Camiña, Jose Emmanuel Ramirez-Marquez, Raúl Monroy
2019 J jnl
New Detection Paradigms to Improve Wireless Sensor Network Performance under Jamming Attacks.
Sensors
Carolina Del-Valle-Soto, J. Carlos Mex-Perera, Ivan Aldaya, Fernando Lezama, Juan Arturo Nolazco-Flores, Raúl Monroy
2019 C conf
Stacking Fingerprint Matching Algorithms for Latent Fingerprint Identification.
CIARP
Danilo Valdes-Ramirez, Miguel Angel Medina-Pérez, Raúl Monroy
2018 — conf
An Approach Based on Contrast Patterns for Bot Detection on Web Log Files.
MICAI (1)
Octavio Loyola-González, Raúl Monroy, Miguel Angel Medina-Pérez, Bárbara Cervantes, José Ernesto Grimaldo-Tijerina
2018 J jnl
Cluster validation using an ensemble of supervised classifiers.
Knowl. Based Syst.
Jorge Rodríguez-Ruiz, Miguel Angel Medina-Pérez, Andrés Eduardo Gutiérrez-Rodríguez, Raúl Monroy, Hugo Terashima-Marín
2018 J jnl
FiToViz: A Visualisation Approach for Real-Time Risk Situation Awareness.
IEEE Trans. Affect. Comput.
Armando López-Cuevas, Miguel Angel Medina-Pérez, Raúl Monroy, Jose Emmanuel Ramirez-Marquez, Luis A. Trejo
2018 J jnl
Some features speak loud, but together they all speak louder: A study on the correlation between classification error and feature usage in decision-tree classification ensembles.
Eng. Appl. Artif. Intell.
Bárbara Cervantes, Raúl Monroy, Miguel Angel Medina-Pérez, Miguel González-Mendoza, Jose Emmanuel Ramirez-Marquez
2017 J jnl
A Model Checker for the Verification of Browser Based Protocols.
Computación y Sistemas
Victor Ferman, Dieter Hutter, Raúl Monroy
2017 J jnl
Bagging-TPMiner: a classifier ensemble for masquerader detection based on typical objects.
Soft Comput.
Miguel Angel Medina-Pérez, Raúl Monroy, José Benito Camiña, Milton García-Borroto
2017 J jnl
MPH-M, AODV-M and DSR-M Performance Evaluation under Jamming Attacks.
Sensors
Carolina Del-Valle-Soto, J. Carlos Mex-Perera, Raúl Monroy, Juan Arturo Nolazco-Flores
2017 J jnl
Online personal risk detection based on behavioural and physiological patterns.
Inf. Sci.
Ari Yair Barrera-Animas, Luis A. Trejo, Miguel Angel Medina-Pérez, Raúl Monroy, José Benito Camiña, Fernando Godínez
2017 J jnl
PBC4cip: A new contrast pattern-based classifier for class imbalance problems.
Knowl. Based Syst.
Octavio Loyola-González, Miguel Angel Medina-Pérez, José Fco. Martínez-Trinidad, Jesús Ariel Carrasco-Ochoa, Raúl Monroy, Milton García-Borroto
2016 J jnl
Ensemble of One-Class Classifiers for Personal Risk Detection Based on Wearable Sensor Data.
Sensors
Jorge Rodríguez-Ruiz, Ari Yair Barrera-Animas, Luis A. Trejo, Miguel Angel Medina-Pérez, Raúl Monroy
2016 J jnl
Maintaining strong mutual visibility of an evader moving over the reduced visibility graph.
Auton. Robots
Israel Becerra, Rafael Murrieta-Cid, Raúl Monroy, Seth Hutchinson, Jean-Paul Laumond
2016 J jnl
Mining IP to Domain Name Interactions to Detect DNS Flood Attacks on Recursive DNS Servers.
Sensors
Roberto Alonso, Raúl Monroy, Luis A. Trejo
2016 J jnl
On the Phase Transition of Finding a Biclique in a larger Bipartite Graph.
CoRR
Roberto Alonso, Raúl Monroy, Eduardo Aguirre
2016 J jnl
Temporal and Spatial Locality: An Abstraction for Masquerade Detection.
IEEE Trans. Inf. Forensics Secur.
José Benito Camiña, Raúl Monroy, Luis A. Trejo, Miguel Angel Medina-Pérez
2015 J jnl
Hacia la construcción de una herramienta para la creación de bitácoras para Android.
Res. Comput. Sci.
Bárbara Cervantes, Miguel González-Mendoza, Raúl Monroy, Christian Eduardo Galdámez Blanco, Eduardo Ismael García Pérez
2015 J jnl
On the Routing Protocol Influence on the Resilience of Wireless Sensor Networks to Jamming Attacks.
Sensors
Carolina Del-Valle-Soto, J. Carlos Mex-Perera, Raúl Monroy, Juan Arturo Nolazco-Flores
2014 J jnl
The Windows-Users and -Intruder simulations Logs dataset (WUIL): An experimental framework for masquerade detection mechanisms.
Expert Syst. Appl.
Benito Camiña, Carlos Arturo Hernández-Gracidas, Raúl Monroy, Luis A. Trejo
2014 A conf
Towards a Masquerade Detection System Based on User's Tasks.
RAID
José Benito Camiña, Jorge Rodríguez-Ruiz, Raúl Monroy
2013 J jnl
Es NP-completo calcular la comunidad entre los objetos sobre los que una colección de agentes ha realizado una acción.
Computación y Sistemas
Roberto Alonso, Raúl Monroy
2013 J jnl
Hacia la detección de impostores mediante un modelo basado en tareas.
Res. Comput. Sci.
José Benito Camiña-Prado, Jorge Rodríguez-Ruiz, Raúl Monroy
2013 J jnl
Strand-Based Approach to Patch Security Protocols.
CoRR
Dieter Hutter, Raúl Monroy
2013 J jnl
WUIL: una base de datos para probar mecanismos de detección de intrusos.
Res. Comput. Sci.
José Benito Camiña-Prado, Raúl Monroy
2012 J jnl
Analyzing Log Files for Postmortem Intrusion Detection.
IEEE Trans. Syst. Man Cybern. Part C
Karen A. García, Raúl Monroy, Luis A. Trejo, J. Carlos Mex-Perera, Eduardo Aguirre-Bermúdez
2012 J jnl
Complejidad computacional de un caso especial de cálculo de grupos en las redes de interacción.
Res. Comput. Sci.
Luis A. Trejo, Raúl Monroy, Roberto Alonso
2012 J jnl
Editorial.
Computación y Sistemas
Raúl Monroy
2012 J jnl
Editorial.
Polibits
Raúl Monroy
2012 J jnl
Hacia la detección de impostores mediante grafos de navegación.
Res. Comput. Sci.
Carlos Arturo Hernández-Gracidas, José Benito Camiña, Raúl Monroy
2012 J jnl
Un nuevo esquema para la detección de ataques en redes inalámbricas.
Res. Comput. Sci.
Jorge Vázquez, Luis A. Trejo, Raúl Monroy
2011 — conf
Symmetric Cryptography Protocol for Signing and Authenticating Digital Documents.
ICDIPC (1)
Juan Carlos López Pimentel, Raúl Monroy, Víctor Fernando Ramos Fon Bon
2011 — conf
Towards Building a Masquerade Detection Method Based on User File System Navigation.
MICAI (1)
Benito Camiña, Raúl Monroy, Luis A. Trejo, Erika Sánchez
2010 A* conf
Evader surveillance under incomplete information.
ICRA
Israel Becerra, Rafael Murrieta-Cid, Raúl Monroy
2010 — conf
Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample.
MICAI (1)
Raúl Monroy
2009 J jnl
On Process Equivalence = Equation Solving in CCS.
J. Autom. Reason.
Raúl Monroy, Alan Bundy, Ian Green
2009 — conf
On the Automated Correction of Protocols with Improper Message Encoding.
ARSPA-WITS
Dieter Hutter, Raúl Monroy
2008 A* conf
A Complexity result for the pursuit-evasion game of maintaining visibility of a moving evader.
ICRA
Rafael Murrieta-Cid, Raúl Monroy, Seth Hutchinson, Jean-Paul Laumond
2008 J jnl
Formal Support to Security Protocol Development: A Survey.
Computación y Sistemas
Juan Carlos López Pimentel, Raúl Monroy
2008 J jnl
Intrusion Detection for Mobile Ad-Hoc Networks based on a Non-Negative Matrix Factorization Method.
Res. Comput. Sci.
J. Carlos Mex-Perera, Jose Zamora-Elizondo, Raúl Monroy
2007 A conf
On the Automated Correction of Security Protocols Susceptible to a Replay Attack.
ESORICS
Juan Carlos López Pimentel, Raúl Monroy, Dieter Hutter
2006 — conf
A Hybrid Segmentation Method Applied to Color Images and 3D Information.
MICAI
Rafael Murrieta-Cid, Raúl Monroy
2006 — conf
A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols.
V&D@FLoC
Juan Carlos López Pimentel, Raúl Monroy, Dieter Hutter
2006 Misc conf
A Tool for Managing Security Policies in Organisations.
IWSEC
Anna V. Álvarez, Karen A. García, Raúl Monroy, Luis A. Trejo, Jesús Vázquez
2006 — conf
Hybrid Method for Detecting Masqueraders Using Session Folding and Hidden Markov Models.
MICAI
Román Posadas, J. Carlos Mex-Perera, Raúl Monroy, Juan Arturo Nolazco-Flores
2006 — conf
On the Use of Word Networks to Mimicry Attack Detection.
ETRICS
Fernando Godínez, Dieter Hutter, Raúl Monroy
2006 J jnl
Planning exploration strategies for simultaneous localization and mapping.
Robotics Auton. Syst.
Benjamín Tovar, Lourdes Muñoz-Gómez, Rafael Murrieta-Cid, Moises Alencastre-Miranda, Raúl Monroy, Seth Hutchinson
2006 — conf
Web Attack Detection Using ID3.
IFIP PPAI
Víctor H. García, Raúl Monroy, Maricela Quintana
2005 — conf
A Framework for Reactive Motion and Sensing Planning: A Critical Events-Based Approach.
MICAI
Rafael Murrieta-Cid, Alejandro Sarmiento, Teja Muppirala, Seth Hutchinson, Raúl Monroy, Moises Alencastre-Miranda, Lourdes Muñoz-Gómez, Ricardo Swain Oropeza
2005 J jnl
An Artificial Manager for Security Policies in Organizations.
Res. Comput. Sci.
Jesús Vázquez, Karen A. García, Raúl Monroy
2005 — conf
Audit File Reduction Using N-Gram Models.
Financial Cryptography
Fernando Godínez, Dieter Hutter, Raúl Monroy
2005 — conf
On the Role of Information Compaction to Intrusion Detection.
ISSADS
Fernando Godínez, Dieter Hutter, Raúl Monroy
2004 B conf
A Process Algebra Model of the Immune System.
KES
Raúl Monroy
2004 — conf
A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals.
IBERAMIA
Juan Carlos López Pimentel, Raúl Monroy
2004 — conf
Attribute Reduction for Effective Intrusion Detection.
AWIC
Fernando Godínez, Dieter Hutter, Raúl Monroy
2004 — ed.
MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings
MICAI
Raúl Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar, Juan Humberto Sossa Azuela
2004 J jnl
On Modelling an Immune System.
Computación y Sistemas
Raúl Monroy, Rosa Saab, Fernando Godínez
2004 Misc conf
Service Discrimination and Audit File Reduction for Effective Intrusion Detection.
WISA
Fernando Godínez, Dieter Hutter, Raúl Monroy
2003 — conf
On Automating the Formulation of Security Goals under the Inductive Approach.
Applied Informatics
Raúl Monroy, Maya Carrillo
2003 J jnl
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm.
Autom. Softw. Eng.
Raúl Monroy
2002 — conf
Towards a Model for an Immune System.
MICAI
Rosa Saab, Raúl Monroy, Fernando Godínez
2001 B conf
Concept Formation via Proof Planning Failure.
LPAR
Raúl Monroy
2000 J jnl
Planning Proofs of Equations in CCS.
Autom. Softw. Eng.
Raúl Monroy, Alan Bundy, Ian Green
2000 — conf
Searching for a Solution to Program Verification=Equation Solving in CCS.
MICAI
Raúl Monroy, Alan Bundy, Ian Green
2000 A* conf
The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures.
ASE
Raúl Monroy
1998 A conf
Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence.
ECAI
Raúl Monroy, Alan Bundy, Ian Green
1998 A* conf
Planning Equational Verification in CCS.
ASE
Raúl Monroy, Alan Bundy, Ian Green
1994 B conf
Proof Plans for the Correction of False Conjectures.
LPAR
Raúl Monroy, Alan Bundy, Andrew Ireland