FMA SYMPOSIA series (2011-2026)
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 |
|||||||