Journal articles

• Reinhard Kahle and, Otto Blument[h]al: David Hilbert (20-3), Mitteilungen der DMV, Vol. 20, No. 4, Pag. 196, de Gruyter, Letter to the editor, (url), 2012.
• Davide D’Alimonte, Giuseppe~Zibordi, Jean-François Berthon, Elisabetta Canuti and Tamito Kajiyama, Performance and Applicability of Bio-optical Algorithms in Different European Seas, Remote Sensing of Environment, Vol. 124, No. 0, Pag. 402-412, ISSN 0034-4257, 2012.
• Eduardo Fermé and Maurıcio D. L. Reis, Possible world semantics for partial meet multiple contractions, Journal of Philosophical Logic, Vol. 41, No. 1, Pag. 7-28, Springer, ISSN 0022-3611, (url), 2012.
• Marcelo A. Falappa, Gabriele Kern-Isberner, Maurıcio D. L. Reis and Guillermo R. Simari, Prioritized and Non-prioritized Multiple Change on Belief Bases, Journal of Philosophical Logic, Vol. 41, No. 1, Pag. 77-113, Springer, ISSN 0022-3611, (url), 2012.
• Sven Van Segbroeck, Francisco C. Santos, Tom Lenaerts and Jorge M. Pacheco, Selection pressure transforms the nature of social dilemmas in adaptive networks, New Journal of Physics, Vol. 13, Pag. 013007, 2012.
• Ricardo Filipe Silva, João Moura Pires and Maribel Yasmina Santos, Spatial Clustering in SOLAP systems to Enhance Map Visualization, International Journal of Data Warehousing and Mining (IJDWM), Vol. 8, No. 2, Pag. 23-43, (url), 2012.
• Eduardo Fermé and Maurıcio D. L. Reis, System of spheres-based multiple contractions, Journal of Philosophical Logic, Vol. 41, No. 1, Pag. 29-52, Springer, ISSN 0022-3611, (url), 2012.
• Daniel Diaz, Salvador Abreu and Philippe Codognet, Targeting the Cell Broadband Engine for constraint-based local search, Concurrency and Computation: Practice and Experience, Vol. 24, No. 6, Pag. 647-660, Wiley, (url), 2012.
• Marco Alberti, Marco Gavanelli and Evelina Lamma, The CHR-based Implementation of the SCIFF Abductive System, Fundamenta Informaticae, In press., 2012.
• Gregory Wheeler and Pedro Barahona, Why the hardest logic puzzle ever cannot be solved in less than three questions, Journal of Philosophical Logic, Vol. 41, No. 2, Pag. 493-503, Springer, 2012.