DepthSpace3D Manual
by Catarina Ruivo and Franklim Morais

Porto 2020 Portugal
230 pages
ISBN: 978-972-8784-90-4

Formal Methods in Architecture
edited by Sara Eloy, David Leite Viana, Franklim Morais and Jorge Vieira Vaz

Springer 2020 Germany
429 pages
ISBN-10: 303057508X

Formal Methods in Architecture and Urbanism - Volume 2
edited by Catarina Ruivo, David Leite Viana, Franklim Morais and Jorge Vieira Vaz
Cambridge Schollars Publishing 2021 UK
540 pages
ISBN: 1-5275-7446-5

Special Issue "Formalizing Urban Methodologies"
Urban Science
edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz

MDPI 2019 Switzerland
ISSN: 2413-8851

DepthSpace3D Booklet

Porto 2019 Portugal
12 pages

DepthSpace3D Poster

Porto 2019 Portugal

Contest
best work using DepthSpace3D
1st Prize

Author: João Ventura

Porto 2018 Portugal

JoDLA 3-2018
Journal of Digital Landscape Architecture

Wichmann 2018 Germany
425 pages
e-ISSN: 2511-624X

proceedings of the 11th Space Syntax Symposium
11th SSS

IST 2018 Portugal
2915 pages
ISBN: 978-972-98994-4-7

Formal Methods in Architecture and Urbanism
edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz
Cambridge Schollars Publishing 2018 UK
405 pages
ISBN: 1-5275-0762-9