Papers in proceedings

• Pedro Salgueiro, Daniel Diaz, Isabel Brito and Salvador Abreu, Using Constraints for Intrusion Detection: The NeMODe System, Practical Aspects of Declarative Languages (PADL 2011), LNCS, Springer, Vol. 6539, Pag. 115-129, (url), 2011.
• Pedro Salgueiro and Salvador Abreu, Modeling Distributed Network Attacks with Constraints, Intelligent Distributed Computing V - Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Studies in Computational Intelligence, Springer, Vol. 382, ISBN 978-3-642-24012-6, Pag. 203-212, (url), 2011.