João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



81
TÍTULO: Synthesizing Safe Bit-Precise Invariants
AUTORES: Arie Gurfinkel; Anton Belov; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, VOLUME: 8413
INDEXADO EM: DBLP
NO MEU: DBLP
82
TÍTULO: Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
AUTORES: Yuri Malitsky; Barry O'Sullivan; Alessandro Previti; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), VOLUME: 263
INDEXADO EM: DBLP
NO MEU: DBLP
83
TÍTULO: Towards Efficient Optimization in Package Management Systems
AUTORES: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 36th International Conference on Software Engineering (ICSE) in 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 14 Unpaywall
NO MEU: DBLP
84
TÍTULO: A Two-Variable Model for SAT-Based ATPG  Full Text
AUTORES: Chen, H; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 32, NÚMERO: 12
INDEXADO EM: Scopus WOS DBLP CrossRef: 11 Unpaywall
NO MEU: DBLP
85
TÍTULO: Core Minimization in SAT-based Abstraction  Full Text
AUTORES: Belov, A; Chen, H; Mishchenko, A; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE) in DESIGN, AUTOMATION & TEST IN EUROPE
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
86
TÍTULO: Formula Preprocessing in MUS Extraction
AUTORES: Anton Belov; Matti Järvisalo; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 in Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, VOLUME: 7795
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
87
TÍTULO: Iterative and core-guided MaxSAT solving: A survey and assessment
AUTORES: Morgado, António ; Heras, F; Liffiton, M; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: CONSTRAINTS, VOLUME: 18, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 104 Unpaywall
NO MEU: ORCID
88
TÍTULO: Maximal Falsifiability - Definitions, Algorithms, and Applications. Definitions, Algorithms, and Applications
AUTORES: Alexey Ignatiev; Morgado, António ; Jordi Planes; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: LPAR, VOLUME: 8312 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 6 Unpaywall
89
TÍTULO: Minimal Sets over Monotone Predicates in Boolean Formulae
AUTORES: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
90
TÍTULO: Model-Guided Approaches for MaxSAT Solving
AUTORES: Morgado, António ; Heras, F; Marques Silva, J ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
Página 9 de 27. Total de resultados: 266.

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

Links Úteis

Ajuda

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