Formal Methods in Architecture

Skip Navigation LinksHOME > PROCEEDINGS > by Author (A-C)

Authors from A to C are presented in this page
To see the other Authors, please click on the side buttons

Title	Authors	Event	BoA page	BoP page	CV	PPT	Abst	Text
Abdulrahman Alymani (Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
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
Adérito Fernandes Marcos (Algarve University - PORTUGAL)
Média – arte locativa e mapeamentos subjectivos na apreensão urbana	Adérito Fernandes Marcos Isabel Cristina Carvalho	2FMA
Adriana Afonso Sandre (São Paulo University - BRAZIL)
Graph Theory Applied to the Methodology of Landscape Planning	Adriana Afonso Sandre Paulo Renato Pellegrino	4FMA		253
Adriana Carvalho ( - & Faculty of Engineering, University of Porto - PORTUGAL)
BIM based Airport Project Standardization (IFC) for use of Code Checking	Adriana Carvalho Ítalo Guedes Max Andrade	5FMA	9	37
Aida Escobar Ramirez (School of Architecture, Nuevo León Autonomous University - MEXICO)
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
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
Aikaterini Chatzivasileiadi ( - & Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
Topologic: Exploring spatial reasoning through geometry, topology, and semantics	Aikaterini Chatzivasileiadi Wassim Jabi	5FMA	30	277
ALAN PENN ( - & The Bartlett, UCL - UNITED KINGDOM & Bartlett School of the Built Environment, University College London - UNITED KINGDOM)
Spectral Clustering and Integration - The inner dynamics of computational geometry and spatial morphology	ALAN PENN Tasos Varoudis	5FMA	34	243
Alberto Pinto (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´A estrutura ausente´ from Umberto Eco	Alberto Pinto	2FMA-S				X
Aleksandra Djukic ( - 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
Alessandro Santucci (DESTeC - University of Pisa - ITALY & University of Pisa - ITALY)
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
Alessio Erioli ( - Italy)
Assembler – a tool for computational decision at scale in combinatorial generation of architectural spaces	Alessio Erioli	7FMA	80	352		X
ReLighting Spaces -Training daylight access cognition in combinatorial spatial assemblages using Reinforcement Learning	Alessio Erioli Giuseppe Massafra	7FMA	105	370		X
Alexandra Paio (FAB-LAB-IUL - PORTUGAL & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & Vitruvius FabLab, ISCTE-IUL - PORTUGAL & - & - Portugal)
Digital processes for collaborative answers in Architecture	Alexandra Paio	3FMA	52
Spatial Analysis in GIS Environment: locational attractiveness assessment of the retail trade	Alexandra Paio Filipe Brandão Ricardo Mendes Correia	4FMA	47	47
The social aspect of digital fabrication	Alexandra Paio Raquel Martins	3FMA	39
Transdisciplinary digital change	Alexandra Paio Filipe Brandão Ricardo Mendes Correia	4FMA	61
Alexandros Efstathiadis (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
Alexandros Kallegias (Bartlett School of the Built Environment, University College London - UNITED KINGDOM)
BIM: Costumizing the Standards	Alexandros Kallegias	3FMA	56	19
Complexity revival in architecture: building innovation	Alexandros Kallegias	4FMA	27
processing & grasshopper & agent based design	Alexandros Kallegias Elif Erdine	3WS
Alexandros Peteinarelis ( - & - Greece & University of Ioannina - GREECE)
Digital Doxiadis: Parametric Thinking for Human Settlements	Alexandros Peteinarelis Nikolas Patsavos	5FMA	12	61
Alice Rauber (Federal University of Rio Grande do Sul - BRAZIL)
Alexander’s theories applied to urban design	Alice Rauber Romulo Krafta	4FMA	29	13
Alice Silva (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
Álvaro Costa ( - 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
Amina Rezoug ( - Turkyie & Istanbul Technical University - TURKYIE)
Connecting Spaces and People: Point Cloud Segmentation in the Context of Design Anthropology	Amina Rezoug	7FMA	88			X
Made by Architects, Modified by People: A Grammar for User Interventions	Amina Rezoug	4FMA	55	377
Ammar Alammar (Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
Generation of a Large Synthetic Database of Office Tower´s Energy Demand Using Simulation	Ammar Alammar Wassim Jabi	6FMA	21	479
Ana 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
Ana Cláudia Teodoro (Faculty of Sciences, University of Porto - PORTUGAL)
quantumGIS & space syntax	Ana Cláudia Teodoro Joaquim Flores José Alberto Gonçalves	3WS
Ana Cocho Bermejo ( - United Kingdom & Catalonia University - SPAIN)
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
Ana Costa (Federal University of Rio Grande do Sul - BRAZIL)
Typological transformations in a same shape	Ana Costa Eliane Constantinou Teresa Leite	3FMA	37	289		X
Ana Inglês (Técnico, University of Lisbon - PORTUGAL)
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
Ana Luísa Maffini ( - & Federal University of Rio Grande do Sul - BRAZIL & Program in Urban and Regional Planning, Federal University of Rio Grande do Sul - BRAZIL)
Urban Segregation and Socio-Spatial Interactions: a configurational approach	Ana Luísa Maffini Clarice Maraschin	4FMA	51	63
Ana Luísa Rolim ( - & University of Campinas - BRAZIL & Federal University of Pernambuco - 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
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
Ana Mélice Dias ( - Portugal)
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
Ana Paula Dalcin ( - 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
Ana Sofia Guimarães (Faculty of Engineering, University of Porto - PORTUGAL)
Edifícios existentes – medidas de melhoria de desempenho energético e da qualidade do ar interior	Ana Sofia Guimarães	1FMA			X	X
Anders Ang ( - 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
André Chaves (Faculty of Architecture, University of Porto - PORTUGAL)
Interaction between soil morphology and the technological landscape of Ave Valley	André Chaves	4FMA	46
André Gonçalves (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
Andrew I-kang Li (Kyoto Institute of Technology - JAPAN)
shape grammars in architectural urban design	Andrew I-kang Li José Pinto Duarte	3WS
Andrew Malcolm ( - & Ghent University - BELGIUM)
LBD server: Visualising Building Ontologies in web-based environments using glTF-models	Andrew Malcolm Jeroen Werbrouck Pieter Pauwels	5FMA	32	287
Aniruddha Mukherjee (Institute of Urban Design, University of Innsbruck - AUSTRIA & - )
L´Objet Invalide	Aniruddha Mukherjee	5FMA	10	75
Antón Castro (Gallecia Higher School - PORTUGAL)
BIM ontologies	Antón Castro David Leite Viana Jorge Vieira Vaz	3FMA	33	29		X
Antón Tejada (Gallecia Higher School - PORTUGAL)
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
António Ascensão (Faculty of Sciences, University of Porto - 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
António Barbosa (Porto Arts Higher School - PORTUGAL)
without title	António Barbosa	1FMA			X
António Francisco Morais (Minho University - PORTUGAL)
Strategies of Learning and control of robotic manufacturing methods in architecture	António Francisco Morais Bruno Figueiredo Paulo J. S. Cruz	6FMA	22	501
António Menezes Leitão ( - & 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
Aries Yang ( - 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
Arthur Oliveira (ISCTE - IUL - PORTUGAL & ISCTE-University Institute of Lisbon - 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
Ashik Vaskor Mannan
From Brush to AI: How Tools Have Transformed Architectural Paradigms	Ashik Vaskor Mannan M. Arefeen Ibrahim	7FMA	68	319		X
Audrey Xu ( - Singapore)
Neuroaesthetic Measures of High-Rise Housing Facades	Audrey Xu Immanuel Koh	7FMA	117	612		X
Avelino Oliveira ( - Portugal)
Closing Speech of the 7FMA	Avelino Oliveira	7FMA				X
Bárbara Rangel
Integrating Additive Manufacturing with BIM: A Case Study in Sustainable Architecture and Construction	Bárbara Rangel Jaime Cunha	7FMA	90	561		X
Beatriz Couto (CGI - PORTUGAL & - )
Borealis sound an Interactive wall: users’ response to responsive architecture	Beatriz Couto Sara Eloy	5FMA	17	133
Berfin Yildiz ( - Turkyie)
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks	Berfin Yildiz Gulen Cagdas Ibrahim Zincir	7FMA	82	410		X
Bruno Figueiredo (Minho University - PORTUGAL)
Strategies of Learning and control of robotic manufacturing methods in architecture	António Francisco Morais Bruno Figueiredo Paulo J. S. Cruz	6FMA	22	501
Bruno Marques ( - Portugal)
Parametric Software and the Architectural Design	Bruno Marques Darlene julio	7FMA	123	232		X
Preface	Bruno Marques Catarina Ruivo David Leite Viana Jorge Vieira Vaz	7FMA		v		X
Buse ERKAN ( - 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
Caio Cacholas ( - 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
Camila Santana (Estácio do Ceará University Centre - BRAZIL)
The space between the formal and the informal city alongside the River Maranguapinho	Camila Santana Ugo Santana	4FMA	54	101
Camilla Pezzica ( - United Kingdom & - & DESTeC - University of Pisa - ITALY)
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
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
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
Canan Albayrak Colaço (Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & Middle East Technical University - TURKYIE)
Upgrading Participation through Computational Thinking in Architecture	Canan Albayrak Colaço Zeynep Mennan	5FMA	16	85
Z-Tolerance: Three dimensional abstract representations of the migration issues in Europe	Canan Albayrak Colaço Rui Colaço	4FMA	50	343
Carina Oliveira ( - Portugal)
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
Carlos Oliveira (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´Lattice archipelogics´ from Marcelyn Gow, David Erdman, Chris Perry	Carlos Oliveira	2FMA-S
Carlos Seoane (University of A Coruña - SPAIN)
The red carpet	Carlos Seoane	6FMA	8
Carmen Escoda ( - 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
Carolina Coelho (School of Architecture, University of Coimbra - PORTUGAL & Department of Architecture, Centre for Social Studies, University of Coimbra, Portugal - PORTUGAL & - & - Portugal)
A gathered methodology: towards enhancing adaptable learning spaces	Carolina Coelho	3FMA	47	155
Space, Adaptability and Use: Triangulating research criteria for adaptability retrieval	Carolina Coelho	5FMA	22	147
Catarina Ruivo (CIAUD-FAUL - PORTUGAL & Concinnitas CRL - PORTUGAL & ISCTE-University Institute of Lisbon - PORTUGAL & Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon - PORTUGAL & - 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
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
Closing Speech of the 7FMA	Catarina Ruivo	7FMA		xiii		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
Depthspace3D: a digital tool for 3D space syntax analysis	Catarina Ruivo Franklim Morais	4WS
Formal methods in social housing municipal management	Catarina Ruivo David Leite Viana Isabel Cristina Carvalho Jorge Vieira Vaz Sara Eloy	4FMA	48
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
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
space syntaxes 2D & 3D	Catarina Ruivo Franklim Morais	3WS
CHEN YANG (University of Waterloo - CANADA)
Restructuring urban form through the redistribution of connectivity: an integrated urban network approach	CHEN YANG Zu Qian	6FMA	28	79
Chiara Chioni ( - & DESTeC - University of Pisa - ITALY)
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
Chi-Li Cheng (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
Christoph Opperer (Institute of Urban Design, University of Innsbruck - AUSTRIA & - Austria)
VISSOP: A Tool for Visibility Analysis within SideFx Houdini	Christoph Opperer	6FMA	35	63
Chul Min Yeum ( - Canada)
Advancing Architectural Visualization: Boosting Scale and Reality with Augmented Reality	Chul Min Yeum Jason Su	7FMA	64	281		X
Clarice Bleil de Souza ( - United Kingdom & Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
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
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
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
Clarice Maraschin ( - & Program in Urban and Regional Planning, Federal University of Rio Grande do Sul - BRAZIL)
Urban Segregation and Socio-Spatial Interactions: a configurational approach	Ana Luísa Maffini Clarice Maraschin	4FMA	51	63
Cláudia Fernandes (Faculty of Sciences, University of Porto - 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
Cláudia Monteiro (Faculty of Engineering, University of Porto - PORTUGAL & - Portugal)
Changing methods in teaching for strengthening the relation between research and practice	Cláudia Monteiro Vítor Oliveira	6FMA	34	407
Cristina Nan (HafenCity University Hamburg - GERMANY)
New territories of CAM: Machinecraft	Cristina Nan	3FMA	54	339
Cristina Paixão (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´Geometry, algorithm, pattern´, from Cecil Balmond	Cristina Paixão	2FMA-S				X	X
Cristina Ribeiro (Faculty of Engineering, University of Porto - PORTUGAL)
Ontologies: technologies for domain modelling, knowledge re-purposing and knowledge sharing	Cristina Ribeiro	3FMA	28			X