Formal Methods in Architecture

Skip Navigation LinksHOME > PROCEEDINGS > by Title ((-K)

Papers from ( to K are presented in this page
To see the other Papers, please click on the side buttons

L - Z

Title	Authors	Event	BoA page	BoP page	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