S. Planes
AuthID: R-006-VP1
1
TITLE: Checking Robustness of Neural Network Models for the Classification of Malware
AUTHORS: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLISHED: 2024, SOURCE: 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024 in Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024, Barcelona, Spain, 2-4 October 2024., VOLUME: 390
AUTHORS: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLISHED: 2024, SOURCE: 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024 in Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024, Barcelona, Spain, 2-4 October 2024., VOLUME: 390
2
TITLE: On Logic-Based Explainability with Partially Specified Inputs
AUTHORS: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.15803
AUTHORS: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.15803
INDEXED IN: 
DBLP
DBLP3
TITLE: Auditing static machine learning anti-Malware tools against metamorphic attacks Full Text
AUTHORS: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 102
AUTHORS: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 102
4
TITLE: Maximal falsifiability. Definitions, algorithms and applications Full Text
AUTHORS: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, ISSUE: 2
AUTHORS: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, ISSUE: 2
5
TITLE: Interspecific Hybridization in Pilot Whales and Asymmetric Genetic Introgression in Northern Globicephala melas under the Scenario of Global Warming Full Text
AUTHORS: Laura Miralles; Marc Oremus; Monica A Silva; Serge Planes; Eva Garcia Vazquez;
PUBLISHED: 2016, SOURCE: PLOS ONE, VOLUME: 11, ISSUE: 8
AUTHORS: Laura Miralles; Marc Oremus; Monica A Silva; Serge Planes; Eva Garcia Vazquez;
PUBLISHED: 2016, SOURCE: PLOS ONE, VOLUME: 11, ISSUE: 8
6
TITLE: Iterative and core-guided MaxSAT solving: A survey and assessment Full Text
AUTHORS: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
AUTHORS: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLISHED: 2013, SOURCE: CONSTRAINTS, VOLUME: 18, ISSUE: 4
7
TITLE: Maximal Falsifiability - Definitions, Algorithms, and Applications
AUTHORS: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
AUTHORS: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
8
TITLE: The science of European marine reserves: Status, efficacy, and future needs Full Text
AUTHORS: Phillip B Fenberg; Jennifer E Caselle; Joachim Claudet; Michaela Clemence; Steven D Gaines; Jose A Antonio Garcia Charton; Emanuel J Goncalves ; Kirsten Grorud Colvert; Paolo Guidetti; Stuart R Jenkins; Peter J S Jones; Sarah E Lester; Rob McAllen; Even Moland; Serge Planes; Thomas K Sorensen;
PUBLISHED: 2012, SOURCE: MARINE POLICY, VOLUME: 36, ISSUE: 5
AUTHORS: Phillip B Fenberg; Jennifer E Caselle; Joachim Claudet; Michaela Clemence; Steven D Gaines; Jose A Antonio Garcia Charton; Emanuel J Goncalves ; Kirsten Grorud Colvert; Paolo Guidetti; Stuart R Jenkins; Peter J S Jones; Sarah E Lester; Rob McAllen; Even Moland; Serge Planes; Thomas K Sorensen;
PUBLISHED: 2012, SOURCE: MARINE POLICY, VOLUME: 36, ISSUE: 5
9
TITLE: Larger female fish contribute disproportionately more to self-replenishment
AUTHORS: Beldade, R ; Holbrook, SJ; Schmitt, RJ; Planes, S; Malone, D; Bernardi, G;
PUBLISHED: 2012, SOURCE: PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, VOLUME: 279, ISSUE: 1736
AUTHORS: Beldade, R ; Holbrook, SJ; Schmitt, RJ; Planes, S; Malone, D; Bernardi, G;
PUBLISHED: 2012, SOURCE: PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, VOLUME: 279, ISSUE: 1736
10
TITLE: Iterative SAT Solving for Minimum Satisfiability
AUTHORS: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI) in 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, VOLUME: 1
AUTHORS: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2012, SOURCE: IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI) in 2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, VOLUME: 1
