Papers in proceedings

• Jesse Alama, Kasper Brink, Lionel Mamane and Josef Urban, Large formal wikis: Issues and solutions, in: James Davenport, William Farmer, Florian Rabe and Josef Urban (eds), Intelligent Computer Mathematics, Lecture Notes in Computer Science, Springer, Vol. 6824, Pag. 133-148, (url), 2011.
• Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki and Josef Urban, Licensing the Mizar Mathematical Library, in: James Davenport, William Farmer, Florian Rabe and Josef Urban (eds), Intelligent Computer Mathematics, Lecture Notes in Computer Science, Springer, Vol. 6824, Pag. 149-163, (url), 2011.
• Alfredo Gabaldon, Making Golog norm compliant, in: \\ João Leite, Paolo Torroni, Thomas Agotnes, Guido Boella and Leon van der Torre (eds), 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), LNCS/LNAI, Springer, Vol. 6814, ISBN 978-3-642-22358-7, 2011.
• Jesse Alama, Metadata for a wiki of formalized mathematics, in: Christoph Lange and Josef Urban (eds), MathWikis-2011: Proceedings of the ITP 2011 Workshop on Mathematical Wikis, CEUR Workshop Proceedings, Vol. 767, Pag. 2-5, (url), 2011.
• Jesse Alama, mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library, in: James Davenport, William Farmer, Florian Rabe and Josef Urban (eds), Intelligent Computer Mathematics, Lecture Notes in Computer Science, Springer, Vol. 6824, Pag. 276-277, (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.
• T. Kajiyama, Davide D’Alimonte, G. Zibordi and J. C. Cunha, MOX: A high-performance Monte Carlo code for in-water radiative transfer modeling in a high-resolution two-dimensional domain, Oceans from Space Symposium, Venice, 2011.
• Yves Caniou, Philippe Codognet, Daniel Diaz and Salvador Abreu, Parallel constraint-based local search on the HA8000 supercomputer (abstract), Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), ACM, ISBN 978-1-4503-0113-8, (url), 2011.
• Salvador Abreu, Yves Caniou, Philippe Codognet, Daniel Diaz and Florian Richoux, Performance Analysis of Parallel Constraint-Based Local Search, Proceedings of the 1st Workshop on Parallel Methods for Constraint Solving (PCMS 2011), Università degli Studi di Perugia, 2011.
• José Saias and Paulo Quaresma, Semantic Networks and Spreading Activation Process for QA improvement on text answers, Proceedings of the 8th Brazilian Symposium in Information and Human Language Technology - STIL2011, Mato Grosso, Brasil, 2011.