FMA SYMPOSIA series (2011-2025)
Formal Methods in Architecture
Authors from K to O 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 | |
---|---|---|---|---|---|---|---|---|---|---|---|
Kaiko Kivi ( - Estonia) | |||||||||||
Reimagining Digitalized Space: Integrating Meaning and Technology in Building Systems | Kaiko Kivi | 7FMA |
54 |
218 |
X | ||||||
Katarzyna Augustyniak (Campos Costa Arquitectos - PORTUGAL) | |||||||||||
Innovation and tradition: crafts in digital age |
Katarzyna Augustyniak
Pedro Campos Cista |
3FMA |
53 |
351 |
|||||||
Kerstin Sailer (Space Syntax Laboratory, The Bartlett, School of Architecture, UCL - UNITED KINGDOM & Space Syntax Laboratory, Bartlett School of the Built Environment, University College London - UNITED KINGDOM) | |||||||||||
Partitioning indoor space using visibility graphs: Investigating user behaviour in office spaces |
Kerstin Sailer
Petros Koutsolampros Tasos Varoudis |
4FMA |
44 |
219 |
|||||||
Krishnendra Shekawat (Lisbon School of Architecture, University of Lisbon - PORTUGAL) | |||||||||||
A compositional schema for the automated generation of best connected rectangular floor plans |
José Pinto Duarte
Krishnendra Shekawat |
3FMA |
44 |
259 |
X | ||||||
Lais Bertolino ( - Portugal) | |||||||||||
Plot systems and adaptation: a method for analysing space and time |
Lais Bertolino
Vítor Oliveira |
7FMA |
34 |
102 |
X | ||||||
Larissa Gomes ( - & University of Campinas - BRAZIL) | |||||||||||
Design Strategies and Sexism in Domestic Spaces: a critical analysis of three modernist social housing icons |
Ana Luísa Rolim
Larissa Gomes |
4FMA |
52 |
79 |
|||||||
Laura Costa (Laura Roldão Costa -Arq Paisagista - PORTUGAL & LR - Landscape Architecture, Lda. - PORTUGAL & - Portugal & Trás-os-Montes e Alto Douro University - 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 |
|||||||
Leen Hiasat ( - & Lisbon School of Architecture, University of Lisbon - PORTUGAL) | |||||||||||
Building Circulation from a Syntactic Context in Relation to Indoor Thermal Environment |
Leen Hiasat
Pedro Januário |
5FMA |
19 |
115 |
|||||||
Lenka Kabošová (Kosice University - SLOVAKIA) | |||||||||||
Experimental Form-finding; Case Study: “Weather Pavilion” |
Dušan Katunský
Lenka Kabošová Martin Baroš Tomáš Baroš |
6FMA |
42 |
269 |
|||||||
Leonor Domingos ( - & - Portugal) | |||||||||||
Optimizing Sustainability through digital tools: Energy and Carbon Comparative Analysis of Brick, Concrete and Wood Frame Constructions in Coimbra Residences |
Leonor Domingos
Ricardo Resende Sara Margarida Cabral Parece |
7FMA |
109 |
243 |
X | ||||||
Leonor Marques | |||||||||||
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 | ||||||
Lígia Nunes | |||||||||||
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 |
|||||||
Luís Antunes (Advanced Studies Course in Digital Architecture (ISCTE/FAUP) - PORTUGAL) | |||||||||||
Digital tiles | Luís Antunes | 3FMA |
36 |
||||||||
Luís Ferreira Rodrigues (Porto Arts Higher School - PORTUGAL) | |||||||||||
A ideia e o projecto | Luís Ferreira Rodrigues | 1FMA |
X | ||||||||
Luis Manuel Santalla-Blanco (University of A Coruña - SPAIN) | |||||||||||
Teaching architecture through diagrams and algorithms | Luis Manuel Santalla-Blanco | 6FMA |
29 |
419 |
|||||||
Luís Ribeiro da Silva (The Institute for the History and Theory of Architecture (GTA), ETH Zurich - SWITZERLAND) | |||||||||||
Temporal structure in music and architecture: a comparative analysis |
Daniel Moreira
Luís Ribeiro da Silva |
3FMA |
48 |
||||||||
Luis Santos ( - Denmark) | |||||||||||
Reassembling Waste: Towards a Carbon Zero Built Environment |
Inês Caetano
Luis Santos |
7FMA |
107 |
261 |
X | ||||||
Luísa Almeida ( - & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL) | |||||||||||
What about if buildings respond to my mood? |
Ana Almeida
Luísa Almeida Sara Eloy |
5FMA |
15 |
123 |
|||||||
Luisa Cannas da Silva (Técnico, University of Lisbon - PORTUGAL & Civil Engineering Research and Innovation for Sustainability, Técnico, University of Lisbon - PORTUGAL) | |||||||||||
The centrality of (vocational-oriented) knowledge An assessment of the location of polytechnic institutes in Portugal |
Luisa Cannas da Silva
Mafalda Toscano Reem Shurush Teresa Valsassina Heitor |
4FMA |
59 |
133 |
|||||||
The poetry of architecture in the conception of public spaces: A look at Luanda´s urban revitalization |
Ana Inglês
Luisa Cannas da Silva Teresa Valsassina Heitor |
6FMA |
41 |
93 |
|||||||
Luiz Amorim ( - & - Brazil & Universidade Federal de Pernambuco - BRAZIL & Federal University of Pernambuco - BRAZIL & Universidade Federal de Pernambuco, UFPE - BRAZIL & - ) | |||||||||||
Development of a permeability measure between private and public space |
Luiz Amorim
Meta Berghauser Pont Patrícia Alonso |
4FMA |
58 |
115 |
|||||||
The galleria progressiva in the Solomon R. Guggenheim Museum and the Museum of Unlimited Growth |
Ana Luísa Rolim
Luiz Amorim Maria Júlia Jaborandy |
4FMA |
43 |
197 |
|||||||
M. Arefeen Ibrahim ( - Bangladesh) | |||||||||||
From Brush to AI: How Tools Have Transformed Architectural Paradigms |
Ashik Vaskor Mannan
M. Arefeen Ibrahim |
7FMA |
68 |
319 |
X | ||||||
Mafalda Toscano (Civil Engineering Research and Innovation for Sustainability, Técnico, University of Lisbon - PORTUGAL) | |||||||||||
The centrality of (vocational-oriented) knowledge An assessment of the location of polytechnic institutes in Portugal |
Luisa Cannas da Silva
Mafalda Toscano Reem Shurush Teresa Valsassina Heitor |
4FMA |
59 |
133 |
|||||||
MAGDA SAURA ( - 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 | ||||||
Marcio Nisenbaum ( - Brazil) | |||||||||||
In-formation: shaping tools, composition rules, visual thinking and the creative processes |
Gonçalo Castro Henriques
Marcio Nisenbaum Tatiana Teixeira |
7FMA |
125 |
651 |
X | ||||||
Margaret Krawecka ( - 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 | ||||||
Maria Angélica Carvalho (ESAP-students - PORTUGAL & Montes Agency - 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 |
|||||||||
Maria João de Oliveira ( - & Dinamia'cet-IUL, ISCTE University Institute of Lisbon - PORTUGAL & - Portugal) | |||||||||||
Nature Pleated Surfaces |
Filipa Crespo Osório
Maria João de Oliveira |
5FMA |
20 |
101 |
|||||||
Maria Júlia Jaborandy ( - & Pernambuco Catholic University - BRAZIL) | |||||||||||
The galleria progressiva in the Solomon R. Guggenheim Museum and the Museum of Unlimited Growth |
Ana Luísa Rolim
Luiz Amorim Maria Júlia Jaborandy |
4FMA |
43 |
197 |
|||||||
María Lopez Calleja (MVRVD - NETHERLANDS) | |||||||||||
From Datascape to Formal Methods | María Lopez Calleja | 5FMA |
6 |
xii |
|||||||
Mariana Yollohtzin Tafoya García (Universidad Nacional Autonoma de México - MEXICO) | |||||||||||
Local spatial analysis for two exhibition halls in Mexico City. | Mariana Yollohtzin Tafoya García | 6FMA |
43 |
49 |
|||||||
Marine Mattos (ISCTE - IUL - PORTUGAL & Universidade Federal de Viçosa - BRAZIL & - Portugal) | |||||||||||
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 |
|||||||
Mário Domingos | |||||||||||
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 | ||||||
Mário Ribeiro Manaia | |||||||||||
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 | ||||||
Martin Baroš (Kosice University - SLOVAKIA) | |||||||||||
Experimental Form-finding; Case Study: “Weather Pavilion” |
Dušan Katunský
Lenka Kabošová Martin Baroš Tomáš Baroš |
6FMA |
42 |
269 |
|||||||
Mauro Costa Couceiro ( - & Gallecia Higher School - PORTUGAL & - Portugal) | |||||||||||
Biological analogies for architecture and design | Mauro Costa Couceiro | 1FMA |
|||||||||
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 | ||||||
Urbanismo fora de controlo | Mauro Costa Couceiro | 2FMA |
|||||||||
Max Andrade (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 |
|||||||
Mehmet Emin Salgamcioglu (Instanbul Technical University, Turkey - TURKYIE & - Turkyie & Istanbul Technical University, Faculty of Architec - TURKYIE) | |||||||||||
The Effect of Potential Urban Elements on Finding Direction in Urban Space Exampling Of Kadiköy- Yeldegirmeni, Istanbul,Turkey |
Buse ERKAN
Mehmet Emin Salgamcioglu |
7FMA |
50 |
179 |
X | ||||||
Meta Berghauser Pont (Chalmers University of Technology - SWEDEN & - Sweden) | |||||||||||
Development of a permeability measure between private and public space |
Luiz Amorim
Meta Berghauser Pont Patrícia Alonso |
4FMA |
58 |
115 |
|||||||
Urban morphometrics and Evidence-Based Design | Meta Berghauser Pont | 7FMA |
26 |
X | |||||||
Micaela Raposo ( - & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & - Portugal) | |||||||||||
Architecting the Metaverse: A Paradigm Shift in Architecture Co-Design |
Micaela Raposo
Nuno Pereira da Silva Sara Eloy |
7FMA |
61 |
300 |
X | ||||||
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 |
|||||||
Miguel Lopes ( - Portugal) | |||||||||||
Can topography favour the competitiveness of pedestrian over car? |
Álvaro Costa
Miguel Lopes Nuno Miguel de Sousa gomes Vítor Oliveira |
7FMA |
39 |
118 |
X | ||||||
Miguel Serra (CITTA-FEUP - PORTUGAL & Space Syntax Laboratory, The Bartlett, School of Architecture, UCL - UNITED KINGDOM & Faculty of Engineering, University of Porto - PORTUGAL) | |||||||||||
Metropolitan spatial anatomies: decoding the morphological structure of the city-region | Miguel Serra | 3FMA |
32 |
||||||||
Miguel Vidal Calvet (University of Hertforshire - UNITED KINGDOM) | |||||||||||
Encoding social values of local communities in algorithmic-driven design methods |
Miguel Vidal Calvet
Neil Spencer Silvio Carta Tuschi Tommaso |
6FMA |
40 |
435 |
|||||||
Mike Mckay (University of Kentucky, College of Design - UNITED STATES of AMERICA) | |||||||||||
Relative positioning | Mike Mckay | 3FMA |
27 |
273 |
X | ||||||
Miltiadis Katsaros ( - Greece) | |||||||||||
From text to 3D models: Utilizing Large Language Models in Grasshopper for automating scripting and algorithmic design workflows |
Miltiadis Katsaros
Styliani (Stella) Salta |
7FMA |
84 |
430 |
X | ||||||
Mine Özkar ( - Turkyie & Istanbul Technical University, Faculty of Architec - TURKYIE) | |||||||||||
Formal Studies on the Parts and Wholes of Historical Bricklay Designs |
Mine Özkar
Sevgi Altun |
6FMA |
20 |
343 |
|||||||
Mirjana Devetakovic ( - 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 | |||||||
Mohamed-Anis Gallas (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 |
|||||||
Momen Foadmarashi (Lisbon School of Architecture, University of Lisbon - PORTUGAL & - ) | |||||||||||
Public Space Use: an Approach to Livability in Urmia Bazaar, Iran |
Francisco Serdoura
Momen Foadmarashi |
5FMA |
24 |
231 |
|||||||
Muzaffer Ali Yaygin (Faculty of Engineering, University of Porto - PORTUGAL) | |||||||||||
Applying a morphological approach to Istanbul’s urban landscape |
Muzaffer Ali Yaygin
Vítor Oliveira |
6FMA |
38 |
201 |
|||||||
Nabil Mohareb ( - Egypt) | |||||||||||
Visualizing Urban Experience: AI and Computer Vision Framework for Historic Commercial Streets in Egypt | Nabil Mohareb | 7FMA |
43 |
158 |
X | ||||||
Neil Spencer (University of Hertforshire - UNITED KINGDOM) | |||||||||||
Encoding social values of local communities in algorithmic-driven design methods |
Miguel Vidal Calvet
Neil Spencer Silvio Carta Tuschi Tommaso |
6FMA |
40 |
435 |
|||||||
Nicola Marzot (Delft University of Technology - NETHERLANDS) | |||||||||||
Architecture and the City |
Esther Gramsbergen
Nicola Marzot Olindo Caso Roberto Cavallo Susanne Komossa |
4FMA |
273 |
||||||||
Nicolle Prado (Laboratory of 3d Models and Digital Fabrication, 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 |
|||||||
Nikola Mitrovic ( - Servia) | |||||||||||
Analyzing the Network Effects of Vertically Layered Urban Structures on Pedestrian Movement: A Case Study of the Mostar Interchange in Belgrade |
Aleksandra Djukic
Nikola Mitrovic |
7FMA |
46 |
X | |||||||
Nikolas Patsavos ( - & - Greece & University of Ioannina - GREECE) | |||||||||||
Digital Doxiadis: Parametric Thinking for Human Settlements |
Alexandros Peteinarelis
Nikolas Patsavos |
5FMA |
12 |
61 |
|||||||
Nuno Miguel de Sousa gomes ( - Portugal) | |||||||||||
Can topography favour the competitiveness of pedestrian over car? |
Álvaro Costa
Miguel Lopes Nuno Miguel de Sousa gomes Vítor Oliveira |
7FMA |
39 |
118 |
X | ||||||
Nuno Montenegro (Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon - PORTUGAL) | |||||||||||
Padrões: uma modelização para planeamento | Nuno Montenegro | 1FMA |
X | X | |||||||
Nuno Pereira da Silva (ISCTE-University Institute of Lisbon - PORTUGAL & - Portugal) | |||||||||||
Architecting the Metaverse: A Paradigm Shift in Architecture Co-Design |
Micaela Raposo
Nuno Pereira da Silva Sara Eloy |
7FMA |
61 |
300 |
X | ||||||
Will drones have a role in building construction? |
Nuno Pereira da Silva
Sara Eloy |
4FMA |
38 |
451 |
|||||||
Olha Tikhonova ( - & - Spain & Lisbon School of Architecture, University of Lisbon - PORTUGAL) | |||||||||||
Computational Proportional Analysis of Inner Residential Spaces in Seventeenth-Century Bastion Castles | Olha Tikhonova | 7FMA |
113 |
592 |
X | ||||||
Understanding a bastion castle in Pidhirtsi using the Space Patterns system for spatial analysis | Olha Tikhonova | 5FMA |
28 |
221 |
|||||||
Olindo Caso (Delft University of Technology - NETHERLANDS) | |||||||||||
Architecture and the City |
Esther Gramsbergen
Nicola Marzot Olindo Caso Roberto Cavallo Susanne Komossa |
4FMA |
273 |
||||||||
Osman Sümer (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 |