João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



181
TÍTULO: Model Checking Event-B by Encoding into Alloy
AUTORES: Paulo J Matos; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, VOLUME: 5238
INDEXADO EM: DBLP
NO MEU: DBLP
182
TÍTULO: Model checking with Boolean Satisfiability  Full Text
AUTORES: Marques Silva, J ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF ALGORITHMS, VOLUME: 63, NÚMERO: 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
183
TÍTULO: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
AUTORES: Federico Heras; Vasco M Manquinho ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: 21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21 in Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
184
TÍTULO: Practical applications of boolean satisfiability
AUTORES: Joao Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08
INDEXADO EM: Scopus CrossRef: 51 Unpaywall
NO MEU: ORCID
185
TÍTULO: Symmetry Breaking for Maximum Satisfiability
AUTORES: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2008, FONTE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, VOLUME: 5330
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
186
TÍTULO: Towards more effective unsatisfiability-based maximum satisfiability algorithms
AUTORES: Joao Marques Silva ; Vasco Manquinho ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID | DBLP
187
TÍTULO: Breaking symmetries in SAT matrix models
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, VOLUME: 4501
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
188
TÍTULO: Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection
AUTORES: Joao Marques Silva ; Ines Lynce ; Ana Graca; Arlindo L Oliveira ;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP
189
TÍTULO: Efficient haplotype inference with pseudo-boolean optimization
AUTORES: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLICAÇÃO: 2007, FONTE: 2nd International Workshop on Algebraic Biologh in Algebraic Biology, Proceedings, VOLUME: 4545
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID | DBLP
190
TÍTULO: Interpolant Learning and Reuse in SAT-Based Model Checking
AUTORES: João Marques Silva ;
PUBLICAÇÃO: 2007, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
Página 19 de 28. Total de resultados: 271.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service