Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
João Paulo Marques da Silva
AuthID:
R-000-J0P
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (195)
Article (57)
Unpublished (9)
Book Chapter (7)
Editorial Material (2)
Proceedings (1)
Year Start - End:
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 271
161
TÃTULO:
Algorithms for finding dispensable variables
PDF
AUTORES:
Mikolás Janota
;
João Marques Silva
;
Radu Grigore
;
PUBLICAÇÃO:
2009
,
FONTE:
CoRR,
VOLUME:
abs/0910.0013
INDEXADO EM:
DBLP
arXiv
NO MEU:
DBLP
162
TÃTULO:
Algorithms for Weighted Boolean Optimization
AUTORES:
Vasco M Manquinho
;
João P Marques Silva
;
Jordi Planes
;
PUBLICAÇÃO:
2009
,
FONTE:
12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009
in
Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings,
VOLUME:
5584
INDEXADO EM:
Scopus
DBLP
CrossRef
Unpaywall
NO MEU:
ORCID
|
DBLP
163
TÃTULO:
Conflict-Driven Clause Learning SAT Solvers
AUTORES:
João P Marques Silva
;
Inês Lynce
; Sharad Malik;
PUBLICAÇÃO:
2009
,
FONTE:
Handbook of Satisfiability,
VOLUME:
185,
NÚMERO:
1
INDEXADO EM:
Scopus
DBLP
NO MEU:
DBLP
164
TÃTULO:
Industrial-Strength Formally Certified SAT Solving
PDF
AUTORES:
Ashish Darbari
;
Bernd Fischer
;
João P Marques Silva
;
PUBLICAÇÃO:
2009
,
FONTE:
CoRR,
VOLUME:
abs/0911.1678
INDEXADO EM:
DBLP
arXiv
NO MEU:
DBLP
165
TÃTULO:
On Solving Boolean Multilevel Optimization Problems
PDF
AUTORES:
Argelich, J
;
Lynce, I
;
Marques Silva, J
;
PUBLICAÇÃO:
2009
,
FONTE:
21st Internation Joint Conference on Artifical Intelligence (IJCAI-09)
in
21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
ORCID
|
ResearcherID
|
DBLP
166
TÃTULO:
Restoring CSP Satisfiability with MaxSAT
PDF
AUTORES:
Inês Lynce
;
Joao Marques Silva
;
PUBLICAÇÃO:
2009
,
FONTE:
16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2009
in
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009,
VOLUME:
589
INDEXADO EM:
Scopus
DBLP
NO MEU:
DBLP
167
TÃTULO:
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
AUTORES:
Cordeiro, L
;
Fischer, B
;
Chen, H
;
Marques Silva, J
;
PUBLICAÇÃO:
2009
,
FONTE:
6th International Conference on Embedded Software and Systems
in
2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
26
Unpaywall
NO MEU:
ORCID
|
ResearcherID
|
DBLP
168
TÃTULO:
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
AUTORES:
Cordeiro, L; Fischer, B;
Marques Silva, J
;
PUBLICAÇÃO:
2009
,
FONTE:
24th IEEE/ACM International Conference on Automated Software Engineering
in
2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
44
Unpaywall
NO MEU:
ORCID
|
ResearcherID
|
DBLP
169
TÃTULO:
Spatial and temporal design debug using partial MaxSAT
AUTORES:
Yibin Chen
;
Sean Safarpour
;
Andreas G Veneris
;
João P Marques Silva
;
PUBLICAÇÃO:
2009
,
FONTE:
19th ACM Great Lakes Symposium on VLSI, GLSVLSI '09
in
Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009
INDEXADO EM:
Scopus
DBLP
CrossRef
Unpaywall
NO MEU:
ORCID
|
DBLP
170
TÃTULO:
TG-PRO: A new model for SAT-based ATPG
AUTORES:
Huan Chen
;
João Marques Silva
;
PUBLICAÇÃO:
2009
,
FONTE:
IEEE International High Level Design Validation and Test Workshop, HLDVT 2009, San Francisco, CA, USA, 4-6 November 2009
INDEXADO EM:
Scopus
DBLP
CrossRef
:
6
Unpaywall
NO MEU:
ORCID
|
DBLP
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 17 de 28. Total de resultados: 271.
<<
<
13
14
15
16
17
18
19
20
21
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service