S. Planes
AuthID: R-006-VP1
1
TÃTULO: On Logic-Based Explainability with Partially Specified Inputs
AUTORES: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2306.15803
AUTORES: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2306.15803
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Auditing static machine learning anti-Malware tools against metamorphic attacks Full Text
AUTORES: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: COMPUTERS & SECURITY, VOLUME: 102
AUTORES: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: COMPUTERS & SECURITY, VOLUME: 102
3
TÃTULO: Maximal falsifiability. Definitions, algorithms and applications Full Text
AUTORES: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, NÚMERO: 2
AUTORES: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, NÚMERO: 2
4
TÃTULO: Interspecific Hybridization in Pilot Whales and Asymmetric Genetic Introgression in Northern Globicephala melas under the Scenario of Global Warming Full Text
AUTORES: Laura Miralles; Marc Oremus; Monica A Silva; Serge Planes; Eva Garcia Vazquez;
PUBLICAÇÃO: 2016, FONTE: PLOS ONE, VOLUME: 11, NÚMERO: 8
AUTORES: Laura Miralles; Marc Oremus; Monica A Silva; Serge Planes; Eva Garcia Vazquez;
PUBLICAÇÃO: 2016, FONTE: PLOS ONE, VOLUME: 11, NÚMERO: 8
5
TÃTULO: Iterative and core-guided MaxSAT solving: A survey and assessment Full Text
AUTORES: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: CONSTRAINTS, VOLUME: 18, NÚMERO: 4
AUTORES: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: CONSTRAINTS, VOLUME: 18, NÚMERO: 4
6
TÃTULO: Maximal Falsifiability - Definitions, Algorithms, and Applications
AUTORES: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 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
AUTORES: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 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
7
TÃTULO: The science of European marine reserves: Status, efficacy, and future needs Full Text
AUTORES: 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;
PUBLICAÇÃO: 2012, FONTE: MARINE POLICY, VOLUME: 36, NÚMERO: 5
AUTORES: 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;
PUBLICAÇÃO: 2012, FONTE: MARINE POLICY, VOLUME: 36, NÚMERO: 5
8
TÃTULO: Larger female fish contribute disproportionately more to self-replenishment
AUTORES: Beldade, R ; Holbrook, SJ; Schmitt, RJ; Planes, S; Malone, D; Bernardi, G;
PUBLICAÇÃO: 2012, FONTE: PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, VOLUME: 279, NÚMERO: 1736
AUTORES: Beldade, R ; Holbrook, SJ; Schmitt, RJ; Planes, S; Malone, D; Bernardi, G;
PUBLICAÇÃO: 2012, FONTE: PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, VOLUME: 279, NÚMERO: 1736
9
TÃTULO: Iterative SAT Solving for Minimum Satisfiability
AUTORES: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: 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
AUTORES: Heras, F; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2012, FONTE: 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
10
TÃTULO: Marine reserves: Fish life history and ecological traits matter
AUTORES: Claudet, J; Osenberg, CW; Domenici, P; Badalamenti, F; Milazzo, M; Falcon, JM; Bertocci, I ; Benedetti Cecchi, L; Garcia Charton, JA; Goni, R; Borg, JA; Forcada, A; de Lucia, GA; Perez Ruzafa, A; Afonso, P ; Brito, A; Guala, I; Le Direach, L; Sanchez Jerez, P; Somerfield, PJ; ...Mais
PUBLICAÇÃO: 2010, FONTE: ECOLOGICAL APPLICATIONS, VOLUME: 20, NÚMERO: 3
AUTORES: Claudet, J; Osenberg, CW; Domenici, P; Badalamenti, F; Milazzo, M; Falcon, JM; Bertocci, I ; Benedetti Cecchi, L; Garcia Charton, JA; Goni, R; Borg, JA; Forcada, A; de Lucia, GA; Perez Ruzafa, A; Afonso, P ; Brito, A; Guala, I; Le Direach, L; Sanchez Jerez, P; Somerfield, PJ; ...Mais
PUBLICAÇÃO: 2010, FONTE: ECOLOGICAL APPLICATIONS, VOLUME: 20, NÚMERO: 3
