João Filipe

According to our database, João Filipe authored at least 6 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version).

João Filipe, Álvaro Torralba, Gregor Behnke

CoRR, May, 2026

When both Grounding and not Grounding are Bad - A Partially Grounded Encoding of Planning into SAT (Extended Version).

João Filipe, Gregor Behnke

CoRR, March, 2026

2025

Frontiers of the Past in the Digital World: Multidisciplinary Collaboration in the 3D Reconstitution of Medieval Border Towns.

Demetrius Lacet, Fabián Cuesta-Gómez, Sara Prata, Luísa Trindade, Gonçalo Melo da Silva, Adelaide Costa, Maria van Zeller, Leonel Morgado, António Coelho, Tiago Alves, João Filipe

Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces, 2025

The Impact of Literal Sorting on Cardinality Constraint Encodings.

Joseph E. Reeves, João Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2019

The Social Platform: Profiling FHIR to Support Community-Dwelling Older Adults.

Nelson Pacheco da Rocha, Alexandra Queirós, Ana Isabel Martins, Manuel Sousa, Luísa Arieira, António Damasceno, Filipa Duarte, João Filipe, Philipp Urbauer

J. Medical Syst., 2019

2018

A Platform to Support the Care and Assistance of Community-Dwelling Older Adults.

Manuel Sousa, Luísa Arieira, Telmo Neves, António Damasceno, Filipa Duarte, João Filipe, Ana Isabel Martins, Alexandra Queirós, Nelson Pacheco da Rocha

Proceedings of the CENTERIS 2018 - International Conference on ENTERprise Information Systems / ProjMAN 2018 - International Conference on Project MANagement / HCist 2018, 2018