FMA SYMPOSIA series (2011-2025)
Formal Methods in Architecture
Authors from D to J are presented in this page
To see the other Authors, please click on the side buttons
Title | Authors | Event | BoA page | BoP page | YouTube | ZIP | CV | PPT | Abst | Text | |
---|---|---|---|---|---|---|---|---|---|---|---|
Daiva Marcinkeviviute (Welsh School of Architecture, Cardiff University - UNITED KINGDOM) | |||||||||||
Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods |
Daiva Marcinkeviviute
Wassim Jabi |
6FMA |
24 |
251 |
|||||||
Daniel Lenz (Program of Post-Graduation in Urbanism, Federal University of Rio de Janeiro - BRAZIL) | |||||||||||
A Generative System using Shape Grammar. A case study visual programming | Daniel Lenz | 4FMA |
42 |
425 |
|||||||
Deciphering Urban Morphogenesis: A Morphospace Perspective |
Caio Cacholas
Daniel Lenz Dries Daems Fabiano Lemes Ribeiro HOWARD DAVIS Vinicius de Moraes Netto 2 |
7FMA |
35 |
43 |
X | ||||||
Form finding and generative systems: A theoretical and applied research project |
Daniel Lenz
Ernesto Bueno Gonçalo Castro Henriques Jarryer de Martino Victor Sardenberg |
4FMA |
23 |
391 |
|||||||
Daniel Moreira (Higher School of Music and Performing Arts - PORTUGAL & King's College - UNITED KINGDOM) | |||||||||||
Da matemática das proporções à gramática da cadência: breve panorama de sistemas teóricos e métodos compositivos na música | Daniel Moreira | 2FMA |
|||||||||
Temporal structure in music and architecture: a comparative analysis |
Daniel Moreira
Luís Ribeiro da Silva |
3FMA |
48 |
||||||||
Daniel Svitak ( - & Academy of Arts Architecture and Design - CZECH REPUBLIC) | |||||||||||
Tectonics of differential growth. Folds in additive fabrication and moulding for architectural design. |
Daniel Svitak
Imrich Vaško Petra Sochurkova Shota Tsikoliya |
5FMA |
13 |
29 |
|||||||
Daniel Veludo (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL) | |||||||||||
synopsis and critique of ´Privacy And Segregation As A Basis For Analyzing and Modelling The Urban Space Composition Of The Libyan Traditional City´ from Faraj Abubaker el-Agouri |
André Gonçalves
Daniel Veludo Pedro Costa Miranda Sérgio Valente Pinto |
2FMA-S |
|||||||||
Darlene julio | |||||||||||
Parametric Software and the Architectural Design |
Bruno Marques
Darlene julio |
7FMA |
123 |
232 |
X | ||||||
Dave De Jonge ( - Spain) | |||||||||||
Space Syntax as an agent based system. NEtlogo framework proposal. |
Ana Cocho Bermejo
Dave De Jonge |
7FMA |
44 |
136 |
X | ||||||
David Leite Viana (ESAP-students - PORTUGAL & ISCTE - IUL - PORTUGAL & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & ISCTE-University Institute of Lisbon - PORTUGAL & - & Nottingham Trent University - UNITED KINGDOM & - Portugal) | |||||||||||
4th Symposium Formal Methods in Architecture: Closing Speech |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
4FMA |
63 |
||||||||
4th Symposium Formal Methods in Architecture: Opening Speech |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
4FMA |
19 |
||||||||
A new pedestrian bridge between Vila Nova de Cerveira and Goiàn |
David Leite Viana
Isabel Cristina Carvalho |
3FMA |
38 |
X | |||||||
BIM ontologies |
Antón Castro
David Leite Viana Jorge Vieira Vaz |
3FMA |
33 |
29 |
X | ||||||
Casa da Música’ (non)place: between global and local / Identifying Casa da Música´ Space Intensities Patterns |
Antón Tejada
David Leite Viana Lígia Nunes |
3FMA |
50 |
197 |
|||||||
Combining space syntax and kernel methods in the delimitation of the Matosinhos Urban Pressure Zone |
David Leite Viana
João Quintão Rui Fernandes |
7FMA |
127 |
78 |
X | ||||||
Espaço e lógica [in]formal | David Leite Viana | 1FMA |
X | X | X | X | |||||
EXAMINING THE DIFFUSION OF COVID-19 CASES IN VIÇOSA-MG: A CONFIGURATIONAL APPROACH |
Arthur Oliveira
David Leite Viana Marine Mattos Teresa Faria |
6FMA |
39 |
175 |
|||||||
Formal Methods in Architectura: Preface |
David Leite Viana
Franklim Morais Jorge Vieira Vaz Sara Eloy |
5FMA |
v |
||||||||
Formal methods in social housing municipal management |
Catarina Ruivo
David Leite Viana Isabel Cristina Carvalho Jorge Vieira Vaz Sara Eloy |
4FMA |
48 |
||||||||
Global and Disciplinary Frameworks for Formal Methods in Architecture |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
5FMA |
xv |
||||||||
Hibridismo e auto-organização | David Leite Viana | 2FMA |
|||||||||
Introduction - Formal methods in Architecture and Urbanism |
Catarina Ruivo
David Leite Viana Franklim Morais Jorge Vieira Vaz |
4FMA |
1 |
||||||||
Introduction: Formal Methods in Architecture and Urbanism |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
3FMA |
1 |
||||||||
ONTOARCHI – an ontological framework for developing a semantically based new generation of automation tools for architectural design |
Catarina Ruivo
David Leite Viana Franklim Morais Isabel Cristina Carvalho Jorge Vieira Vaz |
4FMA |
39 |
||||||||
Preface |
Bruno Marques
Catarina Ruivo David Leite Viana Jorge Vieira Vaz |
7FMA |
v |
X | |||||||
SCAVA – Space Configuration, Accessibility and Visibility Analysis: a 3D space syntax approach |
Catarina Ruivo
David Leite Viana Franklim Morais Jorge Vieira Vaz |
4FMA |
53 |
||||||||
SCAVATools, strategies and tools for the mass dissemination of SCAVA techniques |
Catarina Ruivo
David Leite Viana Franklim Morais Isabel Cristina Carvalho Jorge Vieira Vaz |
5FMA |
33 |
251 |
|||||||
Some Controversies around Formalization in Architecture |
Catarina Ruivo
David Leite Viana Franklim Morais Jorge Vieira Vaz Plácido Lizancos Vicente López Chao |
6FMA |
35 |
||||||||
David Patiño Álvarez (Gallecia Higher School - PORTUGAL) | |||||||||||
Industrial heartbeat of O Poriño | David Patiño Álvarez | 3FMA |
46 |
||||||||
David Pereira-Martínez ( - & University of A Coruña - SPAIN & - Spain) | |||||||||||
Non-intrusive semi-automated modelling of ordinary buildings’ intermediate floors: Collective housing in Porto, Portugal |
David Pereira-Martínez
Gisela Lameira Isabel Raposo Plácido Lizancos Virgílio Borges Pereira |
5FMA |
25 |
207 |
|||||||
Demircan Tas (Institute of Science and Technology, Istanbul Technical University - TURKYIE) | |||||||||||
Generating Forms via Informed Motion, a Flight Inspired Method Based on Wind and Topography Data |
Demircan Tas
Osman Sümer |
4FMA |
33 |
303 |
|||||||
DIEGO ALTAFINII ( - United Kingdom) | |||||||||||
Formal methods in flood disaster response: the case of Porto Alegre, Brazil |
Ana Paula Dalcin
Camilla Pezzica Clarice Bleil de Souza DIEGO ALTAFINII Guilherme Marques |
7FMA |
103 |
517 |
X | ||||||
Djordje Djordjevic ( - Servia) | |||||||||||
Exploring Variability Within 3D Shape Collections of Facade Panels of Modernist Multifamily Buildings in New Belgrade: A Methodological Framework |
Djordje Djordjevic
Djordje Mitrovic Mirjana Devetakovic |
7FMA |
114 |
X | |||||||
Djordje Mitrovic ( - Servia) | |||||||||||
Exploring Variability Within 3D Shape Collections of Facade Panels of Modernist Multifamily Buildings in New Belgrade: A Methodological Framework |
Djordje Djordjevic
Djordje Mitrovic Mirjana Devetakovic |
7FMA |
114 |
X | |||||||
Dries Daems ( - Netherlands) | |||||||||||
Deciphering Urban Morphogenesis: A Morphospace Perspective |
Caio Cacholas
Daniel Lenz Dries Daems Fabiano Lemes Ribeiro HOWARD DAVIS Vinicius de Moraes Netto 2 |
7FMA |
35 |
43 |
X | ||||||
Dušan Katunský (Kosice University - SLOVAKIA) | |||||||||||
Experimental Form-finding; Case Study: “Weather Pavilion” |
Dušan Katunský
Lenka Kabošová Martin Baroš Tomáš Baroš |
6FMA |
42 |
269 |
|||||||
Efrosini Charalambous ( - Cyprus) | |||||||||||
On the experience of architectural spaces: A pedagogical experiment using game engines | Efrosini Charalambous | 7FMA |
69 |
678 |
X | ||||||
Egemen Berker Kizilcan ( - & Middle East Technical University - TURKYIE) | |||||||||||
Collaboration of Visual Intelligence between Human and Machinic Actors in Design Processes | Egemen Berker Kizilcan | 5FMA |
31 |
305 |
|||||||
Ekin Ünlü ( - & - & - Turkyie & Istanbul Technical University - TURKYIE) | |||||||||||
Design to Experiment, Experiment to Design: Tool-user,Tool-breaker,Tool-designer |
Ekin Ünlü
Sema Alaçan |
5FMA |
14 |
19 |
|||||||
Elena Arnedo Calvo (Polytechnic University of Madrid - SPAIN) | |||||||||||
Regular Repetition and Modular Patterns in Architecture | Elena Arnedo Calvo | 3FMA |
237 |
||||||||
Eliane Constantinou (Federal University of Rio Grande do Sul - BRAZIL) | |||||||||||
Typological transformations in a same shape |
Ana Costa
Eliane Constantinou Teresa Leite |
3FMA |
37 |
289 |
X | ||||||
Elif Erdine (Architectural Association School of Architecture - UNITED KINGDOM) | |||||||||||
processing & grasshopper & agent based design |
Alexandros Kallegias
Elif Erdine |
3WS |
|||||||||
Rethinking Conceptual Design: Methods for the simultaneous integration and evaluation of Tower Subsystems | Elif Erdine | 3FMA |
55 |
||||||||
Elisa Pozo Menèndez (Polytechnic University of Madrid - SPAIN) | |||||||||||
City sciences workflows | Elisa Pozo Menèndez | 4WS |
|||||||||
Emílio Bier (Federal University of Rio Grande do Sul - BRAZIL) | |||||||||||
Four-dimensional objects, Cellular Automata and Virtual Reality – The Hypercocoon project |
Emílio Bier
Isadora Tebaldi Nicolle Prado Victor Sardenberg |
4FMA |
49 |
333 |
|||||||
Ernesto Bueno (Positivo University - BRAZIL) | |||||||||||
Form finding and generative systems: A theoretical and applied research project |
Daniel Lenz
Ernesto Bueno Gonçalo Castro Henriques Jarryer de Martino Victor Sardenberg |
4FMA |
23 |
391 |
|||||||
Esther Gramsbergen (Delft University of Technology - NETHERLANDS) | |||||||||||
Architecture and the City |
Esther Gramsbergen
Nicola Marzot Olindo Caso Roberto Cavallo Susanne Komossa |
4FMA |
273 |
||||||||
Etienne Godimus (Mons University - BELGIUM) | |||||||||||
A data workflow approach for a pedagogical sensitization to the BIM concept |
Etienne Godimus
Gregorio Saura-Lorente Mohamed-Anis Gallas |
6FMA |
15 |
359 |
|||||||
Fabiano Lemes Ribeiro ( - Brazil) | |||||||||||
Deciphering Urban Morphogenesis: A Morphospace Perspective |
Caio Cacholas
Daniel Lenz Dries Daems Fabiano Lemes Ribeiro HOWARD DAVIS Vinicius de Moraes Netto 2 |
7FMA |
35 |
43 |
X | ||||||
Fábio Costa ( - & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL) | |||||||||||
Tools for the co-designing of housing transformations: a study on interaction and visualization modes |
Fábio Costa
Micaela Raposo Pieter E. Vermaas Sara Eloy |
5FMA |
18 |
91 |
|||||||
Filipa Crespo Osório (Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & - ) | |||||||||||
Nature Pleated Surfaces |
Filipa Crespo Osório
Maria João de Oliveira |
5FMA |
20 |
101 |
|||||||
Filipa Peres Crespo Osório | |||||||||||
Reimagining Human-Nature Coexistence: An Integrative Approach to Architectural Design with Biomimicry, Generative Modeling, and AI |
Carina Oliveira
Filipa Peres Crespo Osório Leonor Marques Mário Domingos Mário Ribeiro Manaia Mauro Costa Couceiro |
7FMA |
56 |
207 |
X | ||||||
Filipe Afonso (Arquitectos Anónimos - PORTUGAL) | |||||||||||
(in)formal state of mind |
Filipe Afonso
Vasco Magalhães |
2FMA |
X | X | |||||||
Filipe Brandão (Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL) | |||||||||||
Cork Re-Wall | Filipe Brandão | 3FMA |
40 |
359 |
X | ||||||
Data Driven Spatial Analysis of Urban Renewal. Network Kernel Density Estimation of Building Renovation |
Filipe Brandão
Ricardo Mendes Correia Rosália Guerreiro |
5FMA |
23 |
185 |
|||||||
Spatial Analysis in GIS Environment: locational attractiveness assessment of the retail trade |
Alexandra Paio
Filipe Brandão Ricardo Mendes Correia |
4FMA |
47 |
47 |
|||||||
Transdisciplinary digital change |
Alexandra Paio
Filipe Brandão Ricardo Mendes Correia |
4FMA |
61 |
||||||||
Francisco Scotti ( - Portugal) | |||||||||||
Exploring Photogrammetry’s Creative Potential in Nature Driven Architecture Design |
Francisco Scotti
Pedro de Azambuja Varela |
7FMA |
92 |
543 |
X | ||||||
Francisco Serdoura (Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon - PORTUGAL & - & - Portugal) | |||||||||||
Public Space Use: an Approach to Livability in Urmia Bazaar, Iran |
Francisco Serdoura
Momen Foadmarashi |
5FMA |
24 |
231 |
|||||||
Franklim Morais (Concinnitas CRL - PORTUGAL & - & - Portugal & Porto Arts Higher School - PORTUGAL) | |||||||||||
3D Space Syntax Analysis: Attributes to be applied in Landscape Architecture Projects |
António Ascensão
Catarina Ruivo Cláudia Fernandes Franklim Morais Laura Costa |
4FMA |
31 |
237 |
|||||||
3rd Symposium Formal Methods in Architecture: Opening Speech | Franklim Morais | 3FMA |
11 |
X | |||||||
4th Symposium Formal Methods in Architecture: Closing Remarks | Franklim Morais | 4FMA |
7 |
||||||||
4th Symposium Formal Methods in Architecture: Closing Speech |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
4FMA |
63 |
||||||||
4th Symposium Formal Methods in Architecture: Opening Speech |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
4FMA |
19 |
||||||||
A propósito de ‘a dança’ de Merion (1931-3) de Henri Matisse – algumas reflexões linguísticas sobre arte |
Catarina Ruivo
Franklim Morais |
2FMA |
X | X | |||||||
Depthspace3D: a digital tool for 3D space syntax analysis |
Catarina Ruivo
Franklim Morais |
4WS |
|||||||||
DepthSpace3D: a new digital tool for 3D Space Syntax analysis | Franklim Morais | 3FMA |
41 |
91 |
X | ||||||
Formal Methods in Architectura: Preface |
David Leite Viana
Franklim Morais Jorge Vieira Vaz Sara Eloy |
5FMA |
v |
||||||||
Formalizar para quê? | Franklim Morais | 2FMA |
|||||||||
Global and Disciplinary Frameworks for Formal Methods in Architecture |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
5FMA |
xv |
||||||||
Integrating formal methodologies in a multilayered analysis for public space management policies |
Catarina Ruivo
Franklim Morais Jorge Vieira Vaz |
6FMA |
23 |
115 |
|||||||
Introduction - Formal methods in Architecture and Urbanism |
Catarina Ruivo
David Leite Viana Franklim Morais Jorge Vieira Vaz |
4FMA |
1 |
||||||||
Introduction: Formal Methods in Architecture and Urbanism |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
3FMA |
1 |
||||||||
Métodos formais em estruturas – alguns ensinamentos históricos | Franklim Morais | 1FMA |
X | X | X | ||||||
Métodos formais em fase de utilização – espaços e edifícios inteligentes | Franklim Morais | 1FMA |
X | X | X | ||||||
ONTOARCHI – an ontological framework for developing a semantically based new generation of automation tools for architectural design |
Catarina Ruivo
David Leite Viana Franklim Morais Isabel Cristina Carvalho Jorge Vieira Vaz |
4FMA |
39 |
||||||||
SCAVA – Space Configuration, Accessibility and Visibility Analysis: a 3D space syntax approach |
Catarina Ruivo
David Leite Viana Franklim Morais Jorge Vieira Vaz |
4FMA |
53 |
||||||||
SCAVATools, strategies and tools for the mass dissemination of SCAVA techniques |
Catarina Ruivo
David Leite Viana Franklim Morais Isabel Cristina Carvalho Jorge Vieira Vaz |
5FMA |
33 |
251 |
|||||||
Some Controversies around Formalization in Architecture |
Catarina Ruivo
David Leite Viana Franklim Morais Jorge Vieira Vaz Plácido Lizancos Vicente López Chao |
6FMA |
35 |
||||||||
space syntaxes 2D & 3D |
Catarina Ruivo
Franklim Morais |
3WS |
|||||||||
The role of AI in the future of society, the city, construction and architecture | Franklim Morais | 7FMA |
28 |
9 |
X | ||||||
FREDERICO MIGUEL DE LOUREIRO I DA SILVEIRA (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL) | |||||||||||
Menarch, ontologies in Architecture: a study on Architecture social function | FREDERICO MIGUEL DE LOUREIRO I DA SILVEIRA | 3FMA |
29 |
45 |
X | ||||||
Frederico Muñoz (IBM Portugal - PORTUGAL) | |||||||||||
Cidades Inteligentes: tecnologia, comunidade e espaço urbano | Frederico Muñoz | 2FMA |
|||||||||
Giacomo Pala (Institute of Urban Design, University of Innsbruck - AUSTRIA) | |||||||||||
RE:9²GRID, Fragmented parts and Unified whole. | Giacomo Pala | 4FMA |
36 |
435 |
|||||||
Giorgos Kalaouzis (University of Ioannina - GREECE) | |||||||||||
Massing and skin: A pedagogical experiment with physical and digital design media |
Alexandros Efstathiadis
Giorgos Kalaouzis Ioanna Symeonidou |
6FMA |
30 |
375 |
|||||||
Gisela Lameira ( - & Faculty of Architecture, University of Porto - PORTUGAL & - Portugal) | |||||||||||
Non-intrusive semi-automated modelling of ordinary buildings’ intermediate floors: Collective housing in Porto, Portugal |
David Pereira-Martínez
Gisela Lameira Isabel Raposo Plácido Lizancos Virgílio Borges Pereira |
5FMA |
25 |
207 |
|||||||
Giuseppe Massafra ( - Italy) | |||||||||||
ReLighting Spaces -Training daylight access cognition in combinatorial spatial assemblages using Reinforcement Learning |
Alessio Erioli
Giuseppe Massafra |
7FMA |
105 |
370 |
X | ||||||
Gonçalo Castro Henriques (Laboratory of 3d Models and Digital Fabrication, Federal University of Rio de Janeiro - BRAZIL & - Brazil) | |||||||||||
Form finding and generative systems: A theoretical and applied research project |
Daniel Lenz
Ernesto Bueno Gonçalo Castro Henriques Jarryer de Martino Victor Sardenberg |
4FMA |
23 |
391 |
|||||||
In-formation: shaping tools, composition rules, visual thinking and the creative processes |
Gonçalo Castro Henriques
Marcio Nisenbaum Tatiana Teixeira |
7FMA |
125 |
651 |
X | ||||||
Métodos digitais na academia, investigação e projecto | Gonçalo Castro Henriques | 2FMA |
|||||||||
PONTE PARAMÉTRICA - IV Workshop de processos digitais de projecto |
Gonçalo Castro Henriques
José Pedro Sousa |
1WS |
|||||||||
Tecnologias digitais em arquitectura (CAD – CAE – CAM): o projecto TetraScript | Gonçalo Castro Henriques | 1FMA |
X | X | |||||||
Gonçalo Louro (GLCS - Arquitectos Lda. - PORTUGAL & Porto Arts Higher School - PORTUGAL) | |||||||||||
Arquitectura de contornos técnicos | Gonçalo Louro | 1FMA |
X | X | X | ||||||
Teatros – formas reabilitadas | Gonçalo Louro | 2FMA |
|||||||||
Gregorio Saura-Lorente (Mons University - BELGIUM) | |||||||||||
A data workflow approach for a pedagogical sensitization to the BIM concept |
Etienne Godimus
Gregorio Saura-Lorente Mohamed-Anis Gallas |
6FMA |
15 |
359 |
|||||||
Guilherme Marques ( - Brazil) | |||||||||||
Formal methods in flood disaster response: the case of Porto Alegre, Brazil |
Ana Paula Dalcin
Camilla Pezzica Clarice Bleil de Souza DIEGO ALTAFINII Guilherme Marques |
7FMA |
103 |
517 |
X | ||||||
Guillermo Varela (Gallecia Higher School - PORTUGAL) | |||||||||||
From patterns to parameters | Guillermo Varela | 3FMA |
43 |
||||||||
Gulen Cagdas ( - Turkyie & Istanbul Technical University - TURKYIE) | |||||||||||
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks |
Berfin Yildiz
Gulen Cagdas Ibrahim Zincir |
7FMA |
82 |
410 |
X | ||||||
Heather Ligler ( - United States of America) | |||||||||||
Kahn’s Two Houses: From Formal Analysis to Animated Synthesis | Heather Ligler | 7FMA |
118 |
634 |
X | ||||||
Hélia Aluai Sampaio (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL) | |||||||||||
synopsis and critique of ´Kinetic digitally driven architecture´ from Sokratis Yiannoudes | Hélia Aluai Sampaio | 2FMA-S |
X | ||||||||
HOWARD DAVIS ( - United States of America) | |||||||||||
Deciphering Urban Morphogenesis: A Morphospace Perspective |
Caio Cacholas
Daniel Lenz Dries Daems Fabiano Lemes Ribeiro HOWARD DAVIS Vinicius de Moraes Netto 2 |
7FMA |
35 |
43 |
X | ||||||
Hugo Paquete (Porto Arts Higher School - PORTUGAL) | |||||||||||
Unpredictable System | Hugo Paquete | 3P |
|||||||||
Ibrahim Zincir ( - Turkyie) | |||||||||||
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks |
Berfin Yildiz
Gulen Cagdas Ibrahim Zincir |
7FMA |
82 |
410 |
X | ||||||
Immanuel Koh ( - Singapore & Singapore University of Technology and Design - SINGAPORE) | |||||||||||
Associative Synthesis with Deep Neural Networks for Architectural Design | Immanuel Koh | 6FMA |
18 |
307 |
|||||||
Neuroaesthetic Measures of High-Rise Housing Facades |
Audrey Xu
Immanuel Koh |
7FMA |
117 |
612 |
X | ||||||
Imrich Vaško ( - & Academy of Arts Architecture and Design - CZECH REPUBLIC) | |||||||||||
Tectonics of differential growth. Folds in additive fabrication and moulding for architectural design. |
Daniel Svitak
Imrich Vaško Petra Sochurkova Shota Tsikoliya |
5FMA |
13 |
29 |
|||||||
Inês Caetano ( - & Técnico, University of Lisbon - PORTUGAL & - Portugal) | |||||||||||
Behind algorithmic geometric patterns: a framework for facade design exploration |
António Menezes Leitão
Inês Caetano |
6FMA |
19 |
323 |
|||||||
Mathematically developing building facades: an algorithmic framework |
António Menezes Leitão
Inês Caetano |
5FMA |
8 |
3 |
|||||||
Reassembling Waste: Towards a Carbon Zero Built Environment |
Inês Caetano
Luis Santos |
7FMA |
107 |
261 |
X | ||||||
Ioanna Symeonidou ( - Greece & Department of Architecture, University of Thessaly - GREECE) | |||||||||||
Massing and skin: A pedagogical experiment with physical and digital design media |
Alexandros Efstathiadis
Giorgos Kalaouzis Ioanna Symeonidou |
6FMA |
30 |
375 |
|||||||
Isa Joana Teixeira (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL) | |||||||||||
synopsis and critique of ´Metapolis´, from Ascher |
Alice Silva
Isa Joana Teixeira José Luis Azevedo Maria Angélica Carvalho |
2FMA-S |
|||||||||
Isabel Cristina Carvalho ( - & - & Concinnitas CRL - PORTUGAL & Arts and Communication Research Centre, Algarve University - PORTUGAL) | |||||||||||
A new pedestrian bridge between Vila Nova de Cerveira and Goiàn |
David Leite Viana
Isabel Cristina Carvalho |
3FMA |
38 |
X | |||||||
Collaborative mapping with smartphones – an artistic approach | Isabel Cristina Carvalho | 4FMA |
56 |
||||||||
Formal methods in social housing municipal management |
Catarina Ruivo
David Leite Viana Isabel Cristina Carvalho Jorge Vieira Vaz Sara Eloy |
4FMA |
48 |
||||||||
Locative Media Art in Urban Space´s Analysis | Isabel Cristina Carvalho | 3FMA |
185 |
||||||||
Média – arte locativa e mapeamentos subjectivos na apreensão urbana |
Adérito Fernandes Marcos
Isabel Cristina Carvalho |
2FMA |
|||||||||
ONTOARCHI – an ontological framework for developing a semantically based new generation of automation tools for architectural design |
Catarina Ruivo
David Leite Viana Franklim Morais Isabel Cristina Carvalho Jorge Vieira Vaz |
4FMA |
39 |
||||||||
SCAVATools, strategies and tools for the mass dissemination of SCAVA techniques |
Catarina Ruivo
David Leite Viana Franklim Morais Isabel Cristina Carvalho Jorge Vieira Vaz |
5FMA |
33 |
251 |
|||||||
Isabel Raposo ( - & Lisbon School of Architecture, University of Lisbon - PORTUGAL) | |||||||||||
Non-intrusive semi-automated modelling of ordinary buildings’ intermediate floors: Collective housing in Porto, Portugal |
David Pereira-Martínez
Gisela Lameira Isabel Raposo Plácido Lizancos Virgílio Borges Pereira |
5FMA |
25 |
207 |
|||||||
Isadora Tebaldi (IAM, Federal University of Rio de Janeiro - BRAZIL) | |||||||||||
Four-dimensional objects, Cellular Automata and Virtual Reality – The Hypercocoon project |
Emílio Bier
Isadora Tebaldi Nicolle Prado Victor Sardenberg |
4FMA |
49 |
333 |
|||||||
Ítalo Guedes (Universidade Federal de Pernambuco - BRAZIL & Federal University of Pernambuco - BRAZIL) | |||||||||||
BIM based Airport Project Standardization (IFC) for use of Code Checking |
Adriana Carvalho
Ítalo Guedes Max Andrade |
5FMA |
9 |
37 |
|||||||
Jaime Cunha ( - Portugal) | |||||||||||
Integrating Additive Manufacturing with BIM: A Case Study in Sustainable Architecture and Construction |
Bárbara Rangel
Jaime Cunha |
7FMA |
90 |
561 |
X | ||||||
Janet Hetman (CRENAU AMBIANCES ARCHITECTURES URBANITÉS - FRANCE & Department of Architecture, Roma Tre University - ITALY) | |||||||||||
Complex Buildings and Cellular Automata. A cellular automaton model for the Centquatre-Paris. |
Janet Hetman
Roberto d'Autilia |
4FMA |
45 |
357 |
|||||||
Jarryer de Martino (Federal University of Espírito Santo - BRAZIL) | |||||||||||
Form finding and generative systems: A theoretical and applied research project |
Daniel Lenz
Ernesto Bueno Gonçalo Castro Henriques Jarryer de Martino Victor Sardenberg |
4FMA |
23 |
391 |
|||||||
Jason Su ( - Canada) | |||||||||||
Advancing Architectural Visualization: Boosting Scale and Reality with Augmented Reality |
Chul Min Yeum
Jason Su |
7FMA |
64 |
281 |
X | ||||||
Javier Poyatos Sebastian (Polytechnic University of Valencia - SPAIN) | |||||||||||
Form and meaning in architecture and urbanism: principles of quality | Javier Poyatos Sebastian | 4FMA |
24 |
263 |
|||||||
Jeroen Werbrouck ( - & Ghent University - BELGIUM) | |||||||||||
LBD server: Visualising Building Ontologies in web-based environments using glTF-models |
Andrew Malcolm
Jeroen Werbrouck Pieter Pauwels |
5FMA |
32 |
287 |
|||||||
Jielin Chen ( - Singapore) | |||||||||||
A category-theoretic formalism for architectural design generation: a parametric modelling demonstration |
Anders Ang
Aries Yang Jielin Chen Rudi Stouffs |
7FMA |
76 |
335 |
X | ||||||
Leveraging graph-based machine learning to represent and generate architectural layouts |
Anders Ang
Aries Yang Jielin Chen Rudi Stouffs |
7FMA |
78 |
390 |
X | ||||||
João Pedro Passos (Viana do Castelo City Council - PORTUGAL) | |||||||||||
The Study of Neiva´s Valley Combining Space syntax and Geographical Information Systems | João Pedro Passos | 3FMA |
75 |
||||||||
João Pedro Xavier (FAUP - PORTUGAL & Faculty of Architecture, University of Porto - PORTUGAL & - Portugal) | |||||||||||
Geometrias e Arquitecturas | João Pedro Xavier | 1FMA |
|||||||||
João Quintão | |||||||||||
Combining space syntax and kernel methods in the delimitation of the Matosinhos Urban Pressure Zone |
David Leite Viana
João Quintão Rui Fernandes |
7FMA |
127 |
78 |
X | ||||||
João Ventura Lopes (ISCTE-University Institute of Lisbon - PORTUGAL) | |||||||||||
A data mining based methodology for the multidimensional study of public open spaces | João Ventura Lopes | 3FMA |
35 |
113 |
|||||||
Linking data mining, spatial analysis and algorithmic design through python | João Ventura Lopes | 4WS |
|||||||||
Linking data mining, spatial analysis and algorithmic design: a review on a primer workshop based on Python | João Ventura Lopes | 4FMA |
57 |
||||||||
Joaquim Flores (Research Laboratory in Architecture and Design, Porto Higher Art School - PORTUGAL & - Portugal) | |||||||||||
Geographic Information Systems (GIS) in Architecture and Urbanism Education | Joaquim Flores | 7FMA |
71 |
665 |
X | ||||||
quantumGIS & space syntax |
Ana Cláudia Teodoro
Joaquim Flores José Alberto Gonçalves |
3WS |
|||||||||
Johan van der Zwart (Norwegian University of Science and Technology, Faculty of Architecture & Fine Arts, Department of Architectural Design & Management - NORWAY) | |||||||||||
Data driven simulation model for hospital architecture: modelling and simulating clinical process, architectural layout and patient logistics in a hospital’s Building Information Model shape |
Johan van der Zwart
Tor Åsmund Evjen |
3FMA |
34 |
223 |
|||||||
Jorge Vieira Vaz ( - & - Portugal & Porto Arts Higher School - PORTUGAL & Research Laboratory in Architecture and Design, Porto Higher Art School - PORTUGAL) | |||||||||||
4th Symposium Formal Methods in Architecture: Closing Speech |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
4FMA |
63 |
||||||||
4th Symposium Formal Methods in Architecture: Opening Speech |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
4FMA |
19 |
||||||||
BIM / VDC - Building Information Modeling / Virtual Design to Construction | Jorge Vieira Vaz | 1FMA |
X | ||||||||
BIM ontologies |
Antón Castro
David Leite Viana Jorge Vieira Vaz |
3FMA |
33 |
29 |
X | ||||||
Formal Methods in Architectura: Preface |
David Leite Viana
Franklim Morais Jorge Vieira Vaz Sara Eloy |
5FMA |
v |
||||||||
Formal methods in social housing municipal management |
Catarina Ruivo
David Leite Viana Isabel Cristina Carvalho Jorge Vieira Vaz Sara Eloy |
4FMA |
48 |
||||||||
Global and Disciplinary Frameworks for Formal Methods in Architecture |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
5FMA |
xv |
||||||||
Integrating formal methodologies in a multilayered analysis for public space management policies |
Catarina Ruivo
Franklim Morais Jorge Vieira Vaz |
6FMA |
23 |
115 |
|||||||
Introduction - Formal methods in Architecture and Urbanism |
Catarina Ruivo
David Leite Viana Franklim Morais Jorge Vieira Vaz |
4FMA |
1 |
||||||||
Introduction: Formal Methods in Architecture and Urbanism |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
3FMA |
1 |
||||||||
ONTOARCHI – an ontological framework for developing a semantically based new generation of automation tools for architectural design |
Catarina Ruivo
David Leite Viana Franklim Morais Isabel Cristina Carvalho Jorge Vieira Vaz |
4FMA |
39 |
||||||||
Preface |
Bruno Marques
Catarina Ruivo David Leite Viana Jorge Vieira Vaz |
7FMA |
v |
X | |||||||
SCAVA – Space Configuration, Accessibility and Visibility Analysis: a 3D space syntax approach |
Catarina Ruivo
David Leite Viana Franklim Morais Jorge Vieira Vaz |
4FMA |
53 |
||||||||
SCAVATools, strategies and tools for the mass dissemination of SCAVA techniques |
Catarina Ruivo
David Leite Viana Franklim Morais Isabel Cristina Carvalho Jorge Vieira Vaz |
5FMA |
33 |
251 |
|||||||
Some Controversies around Formalization in Architecture |
Catarina Ruivo
David Leite Viana Franklim Morais Jorge Vieira Vaz Plácido Lizancos Vicente López Chao |
6FMA |
35 |
||||||||
José Alberto Gonçalves (Faculty of Sciences, University of Porto - PORTUGAL) | |||||||||||
quantumGIS & space syntax |
Ana Cláudia Teodoro
Joaquim Flores José Alberto Gonçalves |
3WS |
|||||||||
José Cadilhe (Architectural Association School of Architecture - UNITED KINGDOM) | |||||||||||
parametric CAD & grasshopper & CAM | José Cadilhe | 3WS |
|||||||||
Proto Design: interacções sistémicas | José Cadilhe | 1FMA |
X | ||||||||
José Luis Azevedo (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL) | |||||||||||
synopsis and critique of ´Metapolis´, from Ascher |
Alice Silva
Isa Joana Teixeira José Luis Azevedo Maria Angélica Carvalho |
2FMA-S |
|||||||||
José Luís Guimarães (Porto Arts Higher School - PORTUGAL) | |||||||||||
Arquitectura Experimental - linguagem e reflexões | José Luís Guimarães | 2FMA |
|||||||||
José Nuno Beirão (CIAUD-FAUL - PORTUGAL & Lisbon School of Architecture, University of Lisbon - PORTUGAL & - Portugal) | |||||||||||
All bottles from one design semantics in design generation using ontologies to control shape generation |
José Nuno Beirão
Rui de Klerk |
4FMA |
40 |
||||||||
City Information Modeling – o CIM em CItyMaker: análise, síntese e avaliação em projecto urbano | José Nuno Beirão | 2FMA |
X | ||||||||
Evaluating urbanity by measuring urban morphology attributes |
José Nuno Beirão
Samira Elias |
6FMA |
32 |
219 |
|||||||
Parametric Urban design: ferramentas para projecto urbano | José Nuno Beirão | 1FMA |
X | X | |||||||
Semantic structure of formal domains and methods for the development of generic grammars | José Nuno Beirão | 3FMA |
42 |
245 |
|||||||
Urban challenges: from regions to streets | José Nuno Beirão | 4FMA |
25 |
||||||||
José Pedro Sousa (Faculty of Architecture, University of Porto - PORTUGAL) | |||||||||||
Da estandartização à personalização (digital) | José Pedro Sousa | 1FMA |
X | X | |||||||
PONTE PARAMÉTRICA - IV Workshop de processos digitais de projecto |
Gonçalo Castro Henriques
José Pedro Sousa |
1WS |
|||||||||
José Pinto Duarte ( - United States of America & The Pennsylvania State University - UNITED STATES of AMERICA) | |||||||||||
A compositional schema for the automated generation of best connected rectangular floor plans |
José Pinto Duarte
Krishnendra Shekawat |
3FMA |
44 |
259 |
X | ||||||
Additive Construction on Earth and beyond: from research to practical applications | José Pinto Duarte | 7FMA |
19 |
X | |||||||
Alberti Digital: do tratado à materialização física | José Pinto Duarte | 2FMA |
|||||||||
Inserting new technologies in architectural curricula: from research to practice, and to teaching | José Pinto Duarte | 3FMA |
51 |
||||||||
Personalização em série: modelos e algoritmos | José Pinto Duarte | 1FMA |
X | X | |||||||
shape grammars in architectural urban design |
Andrew I-kang Li
José Pinto Duarte |
3WS |
|||||||||
Static and Dynamic Optimization: from concrete printing to responsive facade | José Pinto Duarte | 6FMA |
27 |
||||||||
The Ethics of our Work | José Pinto Duarte | 5FMA |
6 |
xi |
|||||||
José Semide (Porto Arts Higher School - PORTUGAL) | |||||||||||
Geometrias na prática da Arquitectura | José Semide | 1FMA |
X | X | X | ||||||
JOSEP MUNTAÑOLA ( - Spain & Universidad de Catalunya - SPAIN) | |||||||||||
Formalization and Education in Architectural and Urban Design: Their Hermeneutic Dimensions |
Carmen Escoda
JOSEP MUNTAÑOLA MAGDA SAURA Margaret Krawecka Regina Garcia |
7FMA |
52 |
575 |
X | ||||||
The Formalization of Architecture as a Social Dialogical Tool: an Introduction to Innovative Theoretical Frames in Architectural Design |
JOSEP MUNTAÑOLA
Regina Garcia |
6FMA |
26 |
3 |
|||||||
June-Hao Hou (Graduate Institute of Architecture, National Chiao Tung University - TAIWAN & - ) | |||||||||||
Reconstructing photogrammetric 3D model by using deep learning |
Chi-Li Cheng
June-Hao Hou |
5FMA |
29 |
295 |