FMA SYMPOSIA series (2011-2025)
Formal Methods in Architecture
Papers from ( to K are presented in this page
To see the other Papers, please click on the side buttons
Title | Authors | Event | BoA page | BoP page | YouTube | ZIP | CV | PPT | Abst | Text | |
---|---|---|---|---|---|---|---|---|---|---|---|
(in)formal state of mind |
Filipe Afonso
Vasco Magalhães |
2FMA |
X | X | |||||||
1.º Encontro ´Métodos Formais e Semi-Formais em Arquitectura´ - sessão de abertura | 1FMA |
||||||||||
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 category-theoretic formalism for architectural design generation: a parametric modelling demonstration |
Anders Ang
Aries Yang Jielin Chen Rudi Stouffs |
7FMA |
76 |
335 |
X | ||||||
A compositional schema for the automated generation of best connected rectangular floor plans |
José Pinto Duarte
Krishnendra Shekawat |
3FMA |
44 |
259 |
X | ||||||
A data mining based methodology for the multidimensional study of public open spaces | João Ventura Lopes | 3FMA |
35 |
113 |
|||||||
A data workflow approach for a pedagogical sensitization to the BIM concept |
Etienne Godimus
Gregorio Saura-Lorente Mohamed-Anis Gallas |
6FMA |
15 |
359 |
|||||||
A Formal Method of Architectural Design Automation that Generates Large 3D Graphs based on Topologically Embedded Semantic Information Models: Semi-supervised Graph-Level Representation Learning |
Abdulrahman Alymani
Padraig Corcoran Wassim Jabi |
6FMA |
25 |
287 |
|||||||
A gathered methodology: towards enhancing adaptable learning spaces | Carolina Coelho | 3FMA |
47 |
155 |
|||||||
A Generative System using Shape Grammar. A case study visual programming | Daniel Lenz | 4FMA |
42 |
425 |
|||||||
A ideia e o projecto | Luís Ferreira Rodrigues | 1FMA |
X | ||||||||
A new pedestrian bridge between Vila Nova de Cerveira and Goiàn |
David Leite Viana
Isabel Cristina Carvalho |
3FMA |
38 |
X | |||||||
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 | |||||||
Adapting Analysis Workflows to Hamanitarian Needs: Different Road Network Models and Tools |
Alessandro Santucci
Camilla Pezzica Clarice Bleil de Souza Valerio Cutini |
5FMA |
26 |
157 |
|||||||
Additive Construction on Earth and beyond: from research to practical applications | José Pinto Duarte | 7FMA |
19 |
X | |||||||
Advancing Architectural Visualization: Boosting Scale and Reality with Augmented Reality |
Chul Min Yeum
Jason Su |
7FMA |
64 |
281 |
X | ||||||
Agent-based Semiology: Optimizing Office Occupation Patterns With Agent-based Simulations | Robert Neumayr | 5FMA |
11 |
49 |
|||||||
AI-DRIVEN VISUAL GENERATION: GENERATIVE ADVERSARIAL NEURAL NETWORK (GAN) AND DIFFUSION MODELS. |
Pedro Meira-Rodríguez
Vicente López Chao |
7FMA |
63 |
456 |
X | ||||||
Alberti Digital: do tratado à materialização física | José Pinto Duarte | 2FMA |
|||||||||
Alexander’s theories applied to urban design |
Alice Rauber
Romulo Krafta |
4FMA |
29 |
13 |
|||||||
All bottles from one design semantics in design generation using ontologies to control shape generation |
José Nuno Beirão
Rui de Klerk |
4FMA |
40 |
||||||||
An experience around the rationalization of architectural analysis. |
Plácido Lizancos
Vicente López Chao |
6FMA |
31 |
389 |
|||||||
An integrated approach to urban form | Vítor Oliveira | 3FMA |
45 |
X | |||||||
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 | |||||||
Applying a morphological approach to Istanbul’s urban landscape |
Muzaffer Ali Yaygin
Vítor Oliveira |
6FMA |
38 |
201 |
|||||||
Architecting the Metaverse: A Paradigm Shift in Architecture Co-Design |
Micaela Raposo
Nuno Pereira da Silva Sara Eloy |
7FMA |
61 |
300 |
X | ||||||
Architecture and the City |
Esther Gramsbergen
Nicola Marzot Olindo Caso Roberto Cavallo Susanne Komossa |
4FMA |
273 |
||||||||
Arquitectura de contornos técnicos | Gonçalo Louro | 1FMA |
X | X | X | ||||||
Arquitectura Experimental - linguagem e reflexões | José Luís Guimarães | 2FMA |
|||||||||
Assembler – a tool for computational decision at scale in combinatorial generation of architectural spaces | Alessio Erioli | 7FMA |
80 |
352 |
X | ||||||
Associative Synthesis with Deep Neural Networks for Architectural Design | Immanuel Koh | 6FMA |
18 |
307 |
|||||||
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks |
Berfin Yildiz
Gulen Cagdas Ibrahim Zincir |
7FMA |
82 |
410 |
X | ||||||
Behind algorithmic geometric patterns: a framework for facade design exploration |
António Menezes Leitão
Inês Caetano |
6FMA |
19 |
323 |
|||||||
Beyond the visual field: advances in thinking about and analysing space | Tasos Varoudis | 3FMA |
31 |
||||||||
BIM / VDC - Building Information Modeling / Virtual Design to Construction | Jorge Vieira Vaz | 1FMA |
X | ||||||||
BIM based Airport Project Standardization (IFC) for use of Code Checking |
Adriana Carvalho
Ítalo Guedes Max Andrade |
5FMA |
9 |
37 |
|||||||
BIM METHODOLOGY INTEGRATION IN THE MAINTENANCE AND REHABILITATION OF HERITAGE AND HISTORICAL BUILDINGS |
Patrick Loureiro
Rui Seabra |
6FMA |
14 |
||||||||
BIM ontologies |
Antón Castro
David Leite Viana Jorge Vieira Vaz |
3FMA |
33 |
29 |
X | ||||||
BIM: Costumizing the Standards | Alexandros Kallegias | 3FMA |
56 |
19 |
|||||||
BIMActors: A hybrid formal model for cognitive buildings |
P Govind Raj
Subrat Kar |
6FMA |
13 |
453 |
|||||||
Biological analogies for architecture and design | Mauro Costa Couceiro | 1FMA |
|||||||||
Book Presentation ´Formal Methods in Architecture´ | 4BP |
||||||||||
Borealis sound an Interactive wall: users’ response to responsive architecture |
Beatriz Couto
Sara Eloy |
5FMA |
17 |
133 |
|||||||
Building Circulation from a Syntactic Context in Relation to Indoor Thermal Environment |
Leen Hiasat
Pedro Januário |
5FMA |
19 |
115 |
|||||||
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 | ||||||
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 |
|||||||
Changing methods in teaching for strengthening the relation between research and practice |
Cláudia Monteiro
Vítor Oliveira |
6FMA |
34 |
407 |
|||||||
Cidades Inteligentes: tecnologia, comunidade e espaço urbano | Frederico Muñoz | 2FMA |
|||||||||
Circumstances generate the form: origin and evolution of the hospital pavilion typology | Sérgio Mendes | 4FMA |
37 |
165 |
|||||||
City Information Modeling – o CIM em CItyMaker: análise, síntese e avaliação em projecto urbano | José Nuno Beirão | 2FMA |
X | ||||||||
City sciences workflows | Elisa Pozo Menèndez | 4WS |
|||||||||
Closing Speech of the 7FMA | Avelino Oliveira | 7FMA |
X | ||||||||
Closing Speech of the 7FMA | Catarina Ruivo | 7FMA |
xiii |
X | |||||||
Co-learning between research and practice in planning: adressing the physical form of cities |
Ana Mélice Dias
Vítor Oliveira |
7FMA |
37 |
66 |
X | ||||||
Collaboration of Visual Intelligence between Human and Machinic Actors in Design Processes | Egemen Berker Kizilcan | 5FMA |
31 |
305 |
|||||||
Collaborative mapping with smartphones – an artistic approach | Isabel Cristina Carvalho | 4FMA |
56 |
||||||||
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 | ||||||
Como se desenha a luz no Projecto? | Telmo Castro | 2FMA |
|||||||||
Compact City–Urban Sprawl – Sites & Services Challenges in the COVID-19 Era | Reinhard Goethert | 5FMA |
6 |
||||||||
Comparing Anthropogenic Water Risks from Climate Change in London and Kolkata | Tazyeen Alam | 7FMA |
99 |
495 |
X | ||||||
Complex Buildings and Cellular Automata. A cellular automaton model for the Centquatre-Paris. |
Janet Hetman
Roberto d'Autilia |
4FMA |
45 |
357 |
|||||||
Complexity revival in architecture: building innovation | Alexandros Kallegias | 4FMA |
27 |
||||||||
Computational Proportional Analysis of Inner Residential Spaces in Seventeenth-Century Bastion Castles | Olha Tikhonova | 7FMA |
113 |
592 |
X | ||||||
Condicionamentos formais do projecto | Sérgio Mendes | 2FMA |
|||||||||
Connecting Spaces and People: Point Cloud Segmentation in the Context of Design Anthropology | Amina Rezoug | 7FMA |
88 |
X | |||||||
Consequences of architectural form on social interaction: function as a basis for housing studies through expanded Space Syntax | Catarina Ruivo | 3FMA |
30 |
131 |
X | ||||||
Cork Re-Wall | Filipe Brandão | 3FMA |
40 |
359 |
X | ||||||
Da estandartização à personalização (digital) | José Pedro Sousa | 1FMA |
X | X | |||||||
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 |
|||||||||
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 |
|||||||
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 |
|||||||
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 | ||||||
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 | ||||||
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 |
|||||||
Design to Experiment, Experiment to Design: Tool-user,Tool-breaker,Tool-designer |
Ekin Ünlü
Sema Alaçan |
5FMA |
14 |
19 |
|||||||
Development impact: Applying network analysis to urban migration data | Susannah Cramer-Greenbaum | 5FMA |
|||||||||
Development of a permeability measure between private and public space |
Luiz Amorim
Meta Berghauser Pont Patrícia Alonso |
4FMA |
58 |
115 |
|||||||
Digital Doxiadis: Parametric Thinking for Human Settlements |
Alexandros Peteinarelis
Nikolas Patsavos |
5FMA |
12 |
61 |
|||||||
Digital inequality: Household computer access as a determining factor in the geo-localization of social differentiation of space |
Aida Escobar Ramirez
Sofia Garza Vargas |
4FMA |
181 |
||||||||
Digital processes for collaborative answers in Architecture | Alexandra Paio | 3FMA |
52 |
||||||||
Digital tiles | Luís Antunes | 3FMA |
36 |
||||||||
Edifícios existentes – medidas de melhoria de desempenho energético e da qualidade do ar interior | Ana Sofia Guimarães | 1FMA |
X | X | |||||||
Encoding social values of local communities in algorithmic-driven design methods |
Miguel Vidal Calvet
Neil Spencer Silvio Carta Tuschi Tommaso |
6FMA |
40 |
435 |
|||||||
Espaço e lógica [in]formal | David Leite Viana | 1FMA |
X | X | X | X | |||||
Evaluating urbanity by measuring urban morphology attributes |
José Nuno Beirão
Samira Elias |
6FMA |
32 |
219 |
|||||||
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 |
|||||||
Experimental Form-finding; Case Study: “Weather Pavilion” |
Dušan Katunský
Lenka Kabošová Martin Baroš Tomáš Baroš |
6FMA |
42 |
269 |
|||||||
Exploring Photogrammetry’s Creative Potential in Nature Driven Architecture Design |
Francisco Scotti
Pedro de Azambuja Varela |
7FMA |
92 |
543 |
X | ||||||
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 | |||||||
Form and meaning in architecture and urbanism: principles of quality | Javier Poyatos Sebastian | 4FMA |
24 |
263 |
|||||||
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 |
|||||||
Formal Methods in Architectura: Preface |
David Leite Viana
Franklim Morais Jorge Vieira Vaz Sara Eloy |
5FMA |
v |
||||||||
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 | ||||||
Formal methods in social housing municipal management |
Catarina Ruivo
David Leite Viana Isabel Cristina Carvalho Jorge Vieira Vaz Sara Eloy |
4FMA |
48 |
||||||||
Formal Studies on the Parts and Wholes of Historical Bricklay Designs |
Mine Özkar
Sevgi Altun |
6FMA |
20 |
343 |
|||||||
Formalizar para quê? | Franklim Morais | 2FMA |
|||||||||
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 | ||||||
Formalizing municipal urban planning | David Leite Viana | 6FMA |
33 |
||||||||
Four-dimensional objects, Cellular Automata and Virtual Reality – The Hypercocoon project |
Emílio Bier
Isadora Tebaldi Nicolle Prado Victor Sardenberg |
4FMA |
49 |
333 |
|||||||
From Brush to AI: How Tools Have Transformed Architectural Paradigms |
Ashik Vaskor Mannan
M. Arefeen Ibrahim |
7FMA |
68 |
319 |
X | ||||||
From Datascape to Formal Methods | María Lopez Calleja | 5FMA |
6 |
xii |
|||||||
From patterns to parameters | Guillermo Varela | 3FMA |
43 |
||||||||
From scribbling to risking | Telmo Castro | 3FMA |
26 |
215 |
X | ||||||
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 | ||||||
Generating Forms via Informed Motion, a Flight Inspired Method Based on Wind and Topography Data |
Demircan Tas
Osman Sümer |
4FMA |
33 |
303 |
|||||||
Generation of a Large Synthetic Database of Office Tower´s Energy Demand Using Simulation |
Ammar Alammar
Wassim Jabi |
6FMA |
21 |
479 |
|||||||
Generative Biomorphism | Ricardo Massena Gago | 4FMA |
35 |
317 |
|||||||
Geographic Information Systems (GIS) in Architecture and Urbanism Education | Joaquim Flores | 7FMA |
71 |
665 |
X | ||||||
Geometrias e Arquitecturas | João Pedro Xavier | 1FMA |
|||||||||
Geometrias na prática da Arquitectura | José Semide | 1FMA |
X | X | X | ||||||
Global and Disciplinary Frameworks for Formal Methods in Architecture |
David Leite Viana
Franklim Morais Jorge Vieira Vaz |
5FMA |
xv |
||||||||
Graph Theory Applied to the Methodology of Landscape Planning |
Adriana Afonso Sandre
Paulo Renato Pellegrino |
4FMA |
253 |
||||||||
Graphic user environment for agent based modelling and simulation | Tiago Gomes | 3FMA |
49 |
171 |
|||||||
Hibridismo e auto-organização | David Leite Viana | 2FMA |
|||||||||
Industrial heartbeat of O Poriño | David Patiño Álvarez | 3FMA |
46 |
||||||||
In-formation: shaping tools, composition rules, visual thinking and the creative processes |
Gonçalo Castro Henriques
Marcio Nisenbaum Tatiana Teixeira |
7FMA |
125 |
651 |
X | ||||||
Innovation and tradition: crafts in digital age |
Katarzyna Augustyniak
Pedro Campos Cista |
3FMA |
53 |
351 |
|||||||
Inserting new technologies in architectural curricula: from research to practice, and to teaching | José Pinto Duarte | 3FMA |
51 |
||||||||
Integrating Additive Manufacturing with BIM: A Case Study in Sustainable Architecture and Construction |
Bárbara Rangel
Jaime Cunha |
7FMA |
90 |
561 |
X | ||||||
Integrating formal methodologies in a multilayered analysis for public space management policies |
Catarina Ruivo
Franklim Morais Jorge Vieira Vaz |
6FMA |
23 |
115 |
|||||||
Interaction between soil morphology and the technological landscape of Ave Valley | André Chaves | 4FMA |
46 |
||||||||
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 |
||||||||
Kahn’s Two Houses: From Formal Analysis to Animated Synthesis | Heather Ligler | 7FMA |
118 |
634 |
X |