Formal Methods in Architecture

Skip Navigation LinksHOME > PROCEEDINGS > by Title (L-Z)

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

( - K

Title	Authors	Event	BoA page	BoP page	CV	PPT	Abst	Text
L´Objet Invalide	Aniruddha Mukherjee	5FMA	10	75
LBD server: Visualising Building Ontologies in web-based environments using glTF-models	Andrew Malcolm Jeroen Werbrouck Pieter Pauwels	5FMA	32	287
Leveraging graph-based machine learning to represent and generate architectural layouts	Anders Ang Aries Yang Jielin Chen Rudi Stouffs	7FMA	78	390		X
Linguagem, forma, função – funções da formalização	Ricardo Ruivo	2FMA
Linguagem, Mensagem, Matéria	Ricardo Ruivo	1FMA				X		X
linguagens formais e epistemologia das ciências	Rogério Ventura Reis	1FMA
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
Local spatial analysis for two exhibition halls in Mexico City.	Mariana Yollohtzin Tafoya García	6FMA	43	49
Locative Media Art in Urban Space´s Analysis	Isabel Cristina Carvalho	3FMA		185
Made by Architects, Modified by People: A Grammar for User Interventions	Amina Rezoug	4FMA	55	377
Massing and skin: A pedagogical experiment with physical and digital design media	Alexandros Efstathiadis Giorgos Kalaouzis Ioanna Symeonidou	6FMA	30	375
Mathematically developing building facades: an algorithmic framework	António Menezes Leitão Inês Caetano	5FMA	8	3
Measuring Urban Renewal: a dual kernel density estimation to assess the intensity of building renovation		4FMA	32	33
Média – arte locativa e mapeamentos subjectivos na apreensão urbana	Adérito Fernandes Marcos Isabel Cristina Carvalho	2FMA
Menarch, ontologies in Architecture: a study on Architecture social function	FREDERICO MIGUEL DE LOUREIRO I DA SILVEIRA	3FMA	29	45		X
Métodos digitais na academia, investigação e projecto	Gonçalo Castro Henriques	2FMA
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
Metropolitan spatial anatomies: decoding the morphological structure of the city-region	Miguel Serra	3FMA	32
Morpho, um método de análise e desenho da forma urbana	Vítor Oliveira	2FMA
Multi-scale configurational approach to the design of public open spaces after urban disasters	Camilla Pezzica Chiara Chioni Clarice Bleil de Souza Simone Rusci Valerio Cutini	5FMA	21	171
Nature Pleated Surfaces	Filipa Crespo Osório Maria João de Oliveira	5FMA	20	101
Neuroaesthetic Measures of High-Rise Housing Facades	Audrey Xu Immanuel Koh	7FMA	117	612		X
New territories of CAM: Machinecraft	Cristina Nan	3FMA	54	339
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
On the experience of architectural spaces: A pedagogical experiment using game engines	Efrosini Charalambous	7FMA	69	678		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
Ontologies: technologies for domain modelling, knowledge re-purposing and knowledge sharing	Cristina Ribeiro	3FMA	28			X
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
Padrões: uma modelização para planeamento	Nuno Montenegro	1FMA			X		X
Para onde vai a formalização em arquitectura?		1FMA
parametric CAD & grasshopper & CAM	José Cadilhe	3WS
Parametric Software and the Architectural Design	Bruno Marques Darlene julio	7FMA	123	232		X
Parametric Urban design: ferramentas para projecto urbano	José Nuno Beirão	1FMA			X	X
Partitioning indoor space using visibility graphs: Investigating user behaviour in office spaces	Kerstin Sailer Petros Koutsolampros Tasos Varoudis	4FMA	44	219
Personalização em série: modelos e algoritmos	José Pinto Duarte	1FMA			X			X
Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods	Daiva Marcinkeviviute Wassim Jabi	6FMA	24	251
Plot systems and adaptation: a method for analysing space and time	Lais Bertolino Vítor Oliveira	7FMA	34	102		X
PONTE PARAMÉTRICA - IV Workshop de processos digitais de projecto	Gonçalo Castro Henriques José Pedro Sousa	1WS
Potentiality analysis for urban planning	Patrick Janssen Rudi Stouffs Ye Zhang	4FMA	30	151
Preface	Bruno Marques Catarina Ruivo David Leite Viana Jorge Vieira Vaz	7FMA		v		X
processing & grasshopper & agent based design	Alexandros Kallegias Elif Erdine	3WS
Proto Design: interacções sistémicas	José Cadilhe	1FMA					X
Public Space Use: an Approach to Livability in Urmia Bazaar, Iran	Francisco Serdoura Momen Foadmarashi	5FMA	24	231
quantumGIS & space syntax	Ana Cláudia Teodoro Joaquim Flores José Alberto Gonçalves	3WS
RE:9²GRID, Fragmented parts and Unified whole.	Giacomo Pala	4FMA	36	435
Reassembling Waste: Towards a Carbon Zero Built Environment	Inês Caetano Luis Santos	7FMA	107	261		X
Reconstructing photogrammetric 3D model by using deep learning	Chi-Li Cheng June-Hao Hou	5FMA	29	295
Regular Repetition and Modular Patterns in Architecture	Elena Arnedo Calvo	3FMA		237
Reimagining Digitalized Space: Integrating Meaning and Technology in Building Systems	Kaiko Kivi	7FMA	54	218		X
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
Relative positioning	Mike Mckay	3FMA	27	273		X
ReLighting Spaces -Training daylight access cognition in combinatorial spatial assemblages using Reinforcement Learning	Alessio Erioli Giuseppe Massafra	7FMA	105	370		X
Research, Diffusion and Transfer in Architecture - the European Context	Pilar Chias-Navarro	6FMA	17	27
Restructuring urban form through the redistribution of connectivity: an integrated urban network approach	CHEN YANG Zu Qian	6FMA	28	79
Rethinking Conceptual Design: Methods for the simultaneous integration and evaluation of Tower Subsystems	Elif Erdine	3FMA	55
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
Self-learning Agents for Spatial Synthesis	Pedro Veloso Ramesh Krishnamurti	5FMA	35	265
Semantic structure of formal domains and methods for the development of generic grammars	José Nuno Beirão	3FMA	42	245
sessão de abertura (2FMA)		2FMA
shape grammars in architectural urban design	Andrew I-kang Li José Pinto Duarte	3WS
Shapes and attributes	Rudi Stouffs	4FMA	34	291
Shapes of Intelligible Space, or, Spaces of Intelligible Shapes?	Tasos Varoudis	7FMA	24			X
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 Syntax as a Distributed Artificial Intelligence System: a Famework for a Multi-Agent System Development	Ana Cocho Bermejo	6FMA		145
Space Syntax as an agent based system. NEtlogo framework proposal.	Ana Cocho Bermejo Dave De Jonge	7FMA	44	136		X
space syntaxes 2D & 3D	Catarina Ruivo Franklim Morais	3WS
Space, Adaptability and Use: Triangulating research criteria for adaptability retrieval	Carolina Coelho	5FMA	22	147
Spatial Analysis in GIS Environment: locational attractiveness assessment of the retail trade	Alexandra Paio Filipe Brandão Ricardo Mendes Correia	4FMA	47	47
Spectral Clustering and Integration - The inner dynamics of computational geometry and spatial morphology	ALAN PENN Tasos Varoudis	5FMA	34	243
speech from Ramzi Hassan	Ramzi Hassan	5FMA	6
Static and Dynamic Optimization: from concrete printing to responsive facade	José Pinto Duarte	6FMA	27
Strategies of Learning and control of robotic manufacturing methods in architecture	António Francisco Morais Bruno Figueiredo Paulo J. S. Cruz	6FMA	22	501
SUPERGRID – A Grammar for a Kit-of-Parts Pedagogy	Pedro Engel	4FMA	41	411
synopsis and critique of ´A estrutura ausente´ from Umberto Eco	Alberto Pinto	2FMA-S				X
synopsis and critique of ´Geometry, algorithm, pattern´, from Cecil Balmond	Cristina Paixão	2FMA-S				X	X
synopsis and critique of ´Kinetic digitally driven architecture´ from Sokratis Yiannoudes	Hélia Aluai Sampaio	2FMA-S				X
synopsis and critique of ´Lattice archipelogics´ from Marcelyn Gow, David Erdman, Chris Perry	Carlos Oliveira	2FMA-S
synopsis and critique of ´Metapolis´, from Ascher	Alice Silva Isa Joana Teixeira José Luis Azevedo Maria Angélica Carvalho	2FMA-S
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
synopsis and critique of ´The Architecture of Form´ from Lionel March	Renato Fernandes	2FMA-S				X
Syntopy: An integrated approach to geometry, topology, and semantics	Wassim Jabi	7FMA	22	3		X
Teaching architecture through diagrams and algorithms	Luis Manuel Santalla-Blanco	6FMA	29	419
Teaching Urbanism with Sudoku	Rui Florentino	6FMA	36
Teatros – formas reabilitadas	Gonçalo Louro	2FMA
Tecnologias digitais em arquitectura (CAD – CAE – CAM): o projecto TetraScript	Gonçalo Castro Henriques	1FMA			X		X
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
Temporal structure in music and architecture: a comparative analysis	Daniel Moreira Luís Ribeiro da Silva	3FMA	48
The Architectonics of Form: Intelligibility of Space and Form in Space-Time	Sophia Psarra	6FMA	37	17
the art of creating data structures through aggregation and decomposition - the inner dynamics of computational geometry and spatial morphology	Tasos Varoudis	6FMA	16
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 Digital Divide as a determining factor in the geographical localization of the urban Quality of Life in the metropolitan area of Monterrey, México	Aida Escobar Ramirez Sofia Garza Vargas	4FMA	60
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
The Ethics of our Work	José Pinto Duarte	5FMA	6	xi
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
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
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
The red carpet	Carlos Seoane	6FMA	8
The revision of the Master Plan of the University of Aveiro: a heterogeneous planning management	Sérgio Mendes	3FMA	25	307		X
The role of AI in the future of society, the city, construction and architecture	Franklim Morais	7FMA	28	9		X
The social aspect of digital fabrication	Alexandra Paio Raquel Martins	3FMA	39
The space between the formal and the informal city alongside the River Maranguapinho	Camila Santana Ugo Santana	4FMA	54	101
The Study of Neiva´s Valley Combining Space syntax and Geographical Information Systems	João Pedro Passos	3FMA		75
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
Topologic: Exploring spatial reasoning through geometry, topology, and semantics	Aikaterini Chatzivasileiadi Wassim Jabi	5FMA	30	277
Towards a Unified Informatic Model for Cognitive Buildings: Integrating BIM, Actor Models, and Dynamic Fault Trees using Bigraphical Reactive Systems	P Govind Raj Subrat Kar	7FMA	101	473		X
Transdisciplinary digital change	Alexandra Paio Filipe Brandão Ricardo Mendes Correia	4FMA	61
Typological Process in Morphological Analysis of Territories of Extensive Urbanization at the Lima River Valley	Paulo Vieira	3FMA		57
Typological transformations in a same shape	Ana Costa Eliane Constantinou Teresa Leite	3FMA	37	289		X
Understanding a bastion castle in Pidhirtsi using the Space Patterns system for spatial analysis	Olha Tikhonova	5FMA	28	221
Unpredictable System	Hugo Paquete	3P
Upgrading Participation through Computational Thinking in Architecture	Canan Albayrak Colaço Zeynep Mennan	5FMA	16	85
Urban challenges: from regions to streets	José Nuno Beirão	4FMA	25
Urban forms of informality: decoloniality as a perspective for morphological studies	Silvia Spolaor Vítor Oliveira	5FMA	27	197
Urban morphology: teaching different approaches	Vítor Oliveira	4FMA	26
Urban morphometrics and Evidence-Based Design	Meta Berghauser Pont	7FMA	26			X
Urban Segregation and Socio-Spatial Interactions: a configurational approach	Ana Luísa Maffini Clarice Maraschin	4FMA	51	63
Urbanismo fora de controlo	Mauro Costa Couceiro	2FMA
Variational Beauty of Space. Machine Intuition and Urban Networks	Tasos Varoudis	5FMA	6	xii
VISSOP: A Tool for Visibility Analysis within SideFx Houdini	Christoph Opperer	6FMA	35	63
Visualizing Urban Experience: AI and Computer Vision Framework for Historic Commercial Streets in Egypt	Nabil Mohareb	7FMA	43	158		X
What about if buildings respond to my mood?	Ana Almeida Luísa Almeida Sara Eloy	5FMA	15	123
What if architecture could change the world?		4FMA	22
Will drones have a role in building construction?	Nuno Pereira da Silva Sara Eloy	4FMA	38	451
without title	António Barbosa	1FMA			X
Z-Tolerance: Three dimensional abstract representations of the migration issues in Europe	Canan Albayrak Colaço Rui Colaço	4FMA	50	343