S. Planes
AuthID: R-006-VP1
1
TÃTULO: Checking Robustness of Neural Network Models for the Classification of Malware
AUTORES: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLICAÇÃO: 2024, FONTE: 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
AUTORES: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLICAÇÃO: 2024, FONTE: 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
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
DBLP3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
