Publications

David Tinoco, Manuel A. Martins, Alexandre Madeira, José Proença (2024). Reactive graphs in action. Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Revised Selected Papers.
PDF Cite Code DOI Marge tool Slides@FACS'24 Slides@APM'24 Slides@ReacTS/SEFM'24 FACS 2024
Sofia Ribeiro, Ana Breda, Eugénio Rocha, David Tinoco (2022). AUGMENTED REALITY AS AN ASSET TO 3D GEOMETRY: A DIGITAL RESOURCE FOR TEACHERS. In INTED2022.
Cite DOI