S. Planes
AuthID: R-006-VP1
1
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
DBLP2
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
3
TITLE: Advances in the use of molecular tools in ecological and biodiversity assessment of aquatic ecosystems
AUTHORS: Maria Joao Feio; Ana Filipa Filipe; Aina Garcia Raventos; Alba Ardura; Ana Raquel Calapez; Ana Maria Pujante; Andreia Mortagua; Cesc Murria; Daniel Diaz de Quijano; Filipa M S Martins; Sofia Duarte; Marta Sainz Bariain; Rita Cordeiro; Sinziana F Rivera; Leif O S Vaisanen; Amelia Fonseca; Vitor Goncalves; Eva Garcia Vazquez; David Vieites Rodriguez; Elena A Ivanova; ...More
PUBLISHED: 2020, SOURCE: 19th Congress of the Iberian-Association-of-Limnology (AIL) in LIMNETICA, VOLUME: 39, ISSUE: 1
AUTHORS: Maria Joao Feio; Ana Filipa Filipe; Aina Garcia Raventos; Alba Ardura; Ana Raquel Calapez; Ana Maria Pujante; Andreia Mortagua; Cesc Murria; Daniel Diaz de Quijano; Filipa M S Martins; Sofia Duarte; Marta Sainz Bariain; Rita Cordeiro; Sinziana F Rivera; Leif O S Vaisanen; Amelia Fonseca; Vitor Goncalves; Eva Garcia Vazquez; David Vieites Rodriguez; Elena A Ivanova; ...More
PUBLISHED: 2020, SOURCE: 19th Congress of the Iberian-Association-of-Limnology (AIL) in LIMNETICA, VOLUME: 39, ISSUE: 1
INDEXED IN: 
Scopus 
WOS
Scopus WOS4
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: Spatial patterns of self-recruitment of a coral reef fish in relation to island-scale retention mechanisms Full Text
AUTHORS: Ricardo Beldade; Sally J Holbrook; Russell J Schmitt; Serge Planes; Giacomo Bernardi;
PUBLISHED: 2016, SOURCE: MOLECULAR ECOLOGY, VOLUME: 25, ISSUE: 20
AUTHORS: Ricardo Beldade; Sally J Holbrook; Russell J Schmitt; Serge Planes; Giacomo Bernardi;
PUBLISHED: 2016, SOURCE: MOLECULAR ECOLOGY, VOLUME: 25, ISSUE: 20
INDEXED IN: WOS
WOS7
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
8
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
9
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
10
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
