Página Pessoal

João Marques Silva

Contactos

Departamento de Informática

Sala/Gabinete C6.3.10
Ext. Principal 26310
Telefone Direto 217 500 103
Email jpms@ciencias.ulisboa.pt
Página Pessoal

Carreira Docente Universitário
Categoria Professor Catedrático

Indicadores

ResearcherID
Orcid
Scopus
Google Scholar

Keywords


Currículo Resumido

Licenciado em Engenharia Electrotécnica e de Computadores pelo Instituto Superior Técnico (1988). Mestrado em Engenharia Electrotécnica e de Computadores (1991). Doutorado em Engenharia Electrotécnica e Ciência da Computação pela University of Michigan, Ann Arbor (1995). Agregado em Engenharia Informática e de Computadores pelo Instituto Superior Técnico (2004).


Interesses Científicos

Decision and function procedures. Analysis of over-constrained systems. Applied formal methods. Applications in software engineering, including model checking, testing, debugging and security. Applications in artificial intelligence, operations research, computational logic and bioinformatics.


Scientific Interests

Decision and function procedures. Analysis of over-constrained systems. Applied formal methods. Applications in software engineering, including model checking, testing, debugging and security. Applications in artificial intelligence, operations research, computational logic and bioinformatics.


Publicações selecionadas
  • M. Janota, J. Marques-Silva: On the query complexity of selecting minimal sets for monotone predicates. Artif. Intell. 233: 73-83 (2016)
  • M. Janota, J. Marques-Silva: Expansion-based QBF solving versus Q-resolution. Theor. Comput. Sci. 577: 25-42 (2015)
  • A. Belov, M. Janota, I. Lynce, J. Marques-Silva: Algorithms for computing minimal equivalent subformulas. Artif. Intell. 216: 309-326 (2014)
  • A. Morgado, F. Heras, M. H. Liffiton, J. Planes, J. Marques-Silva: Iterative and core-guided MaxSAT solving: A survey and assessment. Constraints 18(4): 478-534 (2013)
  • L. C. Cordeiro, B. Fischer, J. Marques-Silva: SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Trans. Software Eng. 38(4): 957-974 (2012)