A Formal Study of Consistency of KBSs. - Luis M. Laita; Julia Couto 001; Luis de Ledesma (EUROVAV, 1991)

A formal model for knowledge-based systems verification. - Luis M. Laita; Julia Couto 001; Luis de Ledesma; Alejandro Fernández-Margarit (Int. J. Intell. Syst., 1994)

ADAM: A Testbed for Exploring the Use of Data Mining in Intrusion Detection. - Daniel Barbará; Julia Couto 001; Sushil Jajodia; Ningning Wu (SIGMOD Rec., 2001)

An Architecture for Anomaly Detection. - Daniel Barbará; Julia Couto 001; Sushil Jajodia; Ningning Wu (Applications of Data Mining in Computer Security, 2002)

COOLCAT: an entropy-based algorithm for categorical clustering. - Daniel Barbará; Yi Li; Julia Couto 001 (CIKM, 2002)

Bootstrapping a Data Mining Intrusion Detection System. - Daniel Barbará; Yi Li; Jia-Ling Lin; Sushil Jajodia; Julia Couto 001 (SAC, 2003)

Kernel K-Means for Categorical Data. - Julia Couto 001 (IDA, 2005)

Impact of the Semantic Web on Modeling and Simulation. - Julia I. Couto; John A. Miller 001; Congzhou He (Handbook of Dynamic System Modeling, 2007)