Jorge Pais
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1998–2015
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CAV | The Inez Mathematical Programming Modulo Theories Framework. | Panagiotis Manolios, Jorge Pais, Vasilis Papavasileiou |
| 2014 | HCI | Novel Didactic Proof Assistant for First-Order Logic Natural Deduction. | Jorge Pais, Alvaro Tasistro |
| 2000 | ICTAI | The n-dimensional projective approach as a tool for spatial reasoning. | Jorge Pais, Carlos A. Pinto-Ferreira |
| 1998 | ICTAI | Search strategies for reasoning about spatial ontologies. | Jorge Pais, Carlos A. Pinto-Ferreira |