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
2025
-
2025
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
21
TÃTULO:
Cardinality Encodings for Graph Optimization Problems
AUTORES:
Alexey Ignatiev
;
Morgado, António
;
Joao Marques Silva
;
PUBLICAÇÃO:
2017
,
FONTE:
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
INDEXADO EM:
Scopus
DBLP
CrossRef
:
1
Unpaywall
NO MEU:
DBLP
22
TÃTULO:
Debugging EL+ Ontologies through Horn MUS Enumeration
PDF
AUTORES:
Alexey Ignatiev
;
Joao Marques Silva
; Carlos Mencía;
Rafael Peñaloza
;
PUBLICAÇÃO:
2017
,
FONTE:
30th International Workshop on Description Logics, DL 2017
in
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.,
VOLUME:
1879
INDEXADO EM:
Scopus
DBLP
NO MEU:
DBLP
23
TÃTULO:
Efficient Certified Resolution Proof Checking
AUTORES:
Luís Cruz Filipe;
Joao Marques Silva
; Peter Schneider Kamp;
PUBLICAÇÃO:
2017
,
FONTE:
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I,
VOLUME:
10205
INDEXADO EM:
DBLP
NO MEU:
DBLP
24
TÃTULO:
Efficient Certified Resolution Proof Checking
PDF
AUTORES:
Cruz Filipe, L;
Marques Silva, J
; Schneider Kamp, P;
PUBLICAÇÃO:
2017
,
FONTE:
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 19th European Joint Conferences on Theory and Practice of Software (ETAPS)
in
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I,
VOLUME:
10205
INDEXADO EM:
Scopus
WOS
DBLP
arXiv
Unpaywall
NO MEU:
DBLP
25
TÃTULO:
Exact and Hybrid Solutions for the Multi-Objective VM Reassignment Problem
Full Text
AUTORES:
Saber, T;
Marques Silva, J
;
Thorburn, J
; Ventresque, A;
PUBLICAÇÃO:
2017
,
FONTE:
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS,
VOLUME:
26,
NÚMERO:
1
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
8
Unpaywall
NO MEU:
DBLP
26
TÃTULO:
Horn Maximum Satisfiability: Reductions, Algorithms and Applications
AUTORES:
Joao Marques Silva
;
Alexey Ignatiev
;
Morgado, António
;
PUBLICAÇÃO:
2017
,
FONTE:
Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings,
VOLUME:
10423
INDEXADO EM:
DBLP
NO MEU:
DBLP
27
TÃTULO:
Horn Maximum Satisfiability: Reductions, Algorithms and Applications
PDF
AUTORES:
Marques Silva, J
;
Ignatiev, A
;
Morgado, António
;
PUBLICAÇÃO:
2017
,
FONTE:
18th EPIA Conference on Artificial Intelligence (EPIA)
in
PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017),
VOLUME:
10423
INDEXADO EM:
Scopus
WOS
DBLP
arXiv
CrossRef
:
3
Unpaywall
NO MEU:
DBLP
28
TÃTULO:
Improving MCS Enumeration via Caching
AUTORES:
Previti, A
; Mencia, C; Jarvisalo, M;
Marques Silva, J
;
PUBLICAÇÃO:
2017
,
FONTE:
20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017
in
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017),
VOLUME:
10491
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
5
Unpaywall
NO MEU:
DBLP
29
TÃTULO:
Lean Kernels in Description Logics
AUTORES:
Rafael Peñaloza; Carlos Mencía;
Alexey Ignatiev
;
Joao Marques Silva
;
PUBLICAÇÃO:
2017
,
FONTE:
14th Extended Semantic Web Conference, ESWC 2017
in
The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I,
VOLUME:
10249
INDEXADO EM:
Scopus
DBLP
CrossRef
:
7
Unpaywall
NO MEU:
DBLP
30
TÃTULO:
Minimal sets on propositional formulae. Problems and reductions
AUTORES:
Joao Marques Silva
;
Mikolás Janota
; Carlos Mencía;
PUBLICAÇÃO:
2017
,
FONTE:
Artif. Intell.,
VOLUME:
252
INDEXADO EM:
DBLP
NO MEU:
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 3 de 28. Total de resultados: 271.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
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
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service