Formal Methods in Architecture

Skip Navigation LinksHOME > PROCEEDINGS > by Author (D-J)

Authors from D to J 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
Daiva Marcinkeviviute (Welsh School of Architecture, Cardiff University - UNITED KINGDOM)
Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods	Daiva Marcinkeviviute Wassim Jabi	6FMA	24	251
Daniel Lenz (Program of Post-Graduation in Urbanism, Federal University of Rio de Janeiro - BRAZIL)
A Generative System using Shape Grammar. A case study visual programming	Daniel Lenz	4FMA	42	425
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
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
Daniel Moreira (Higher School of Music and Performing Arts - PORTUGAL & King's College - UNITED KINGDOM)
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
Temporal structure in music and architecture: a comparative analysis	Daniel Moreira Luís Ribeiro da Silva	3FMA	48
Daniel Svitak ( - & Academy of Arts Architecture and Design - CZECH REPUBLIC)
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
Daniel Veludo (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
Darlene julio
Parametric Software and the Architectural Design	Bruno Marques Darlene julio	7FMA	123	232		X
Dave De Jonge ( - Spain)
Space Syntax as an agent based system. NEtlogo framework proposal.	Ana Cocho Bermejo Dave De Jonge	7FMA	44	136		X
David Leite Viana (ESAP-students - PORTUGAL & ISCTE - IUL - PORTUGAL & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & ISCTE-University Institute of Lisbon - PORTUGAL & - & Nottingham Trent University - UNITED KINGDOM & - Portugal)
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 new pedestrian bridge between Vila Nova de Cerveira and Goiàn	David Leite Viana Isabel Cristina Carvalho	3FMA	38			X
BIM ontologies	Antón Castro David Leite Viana Jorge Vieira Vaz	3FMA	33	29		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
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
Espaço e lógica [in]formal	David Leite Viana	1FMA			X	X	X	X
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
Formal Methods in Architectura: Preface	David Leite Viana Franklim Morais Jorge Vieira Vaz Sara Eloy	5FMA		v
Formal methods in social housing municipal management	Catarina Ruivo David Leite Viana Isabel Cristina Carvalho Jorge Vieira Vaz Sara Eloy	4FMA	48
Global and Disciplinary Frameworks for Formal Methods in Architecture	David Leite Viana Franklim Morais Jorge Vieira Vaz	5FMA		xv
Hibridismo e auto-organização	David Leite Viana	2FMA
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
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
David Patiño Álvarez (Gallecia Higher School - PORTUGAL)
Industrial heartbeat of O Poriño	David Patiño Álvarez	3FMA	46
David Pereira-Martínez ( - & University of A Coruña - SPAIN & - Spain)
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
Demircan Tas (Institute of Science and Technology, 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
DIEGO ALTAFINII ( - United Kingdom)
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
Djordje Djordjevic ( - 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
Djordje Mitrovic ( - 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
Dries Daems ( - Netherlands)
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
Dušan Katunský (Kosice University - SLOVAKIA)
Experimental Form-finding; Case Study: “Weather Pavilion”	Dušan Katunský Lenka Kabošová Martin Baroš Tomáš Baroš	6FMA	42	269
Efrosini Charalambous ( - Cyprus)
On the experience of architectural spaces: A pedagogical experiment using game engines	Efrosini Charalambous	7FMA	69	678		X
Egemen Berker Kizilcan ( - & Middle East Technical University - TURKYIE)
Collaboration of Visual Intelligence between Human and Machinic Actors in Design Processes	Egemen Berker Kizilcan	5FMA	31	305
Ekin Ünlü ( - & - & - Turkyie & Istanbul Technical University - TURKYIE)
Design to Experiment, Experiment to Design: Tool-user,Tool-breaker,Tool-designer	Ekin Ünlü Sema Alaçan	5FMA	14	19
Elena Arnedo Calvo (Polytechnic University of Madrid - SPAIN)
Regular Repetition and Modular Patterns in Architecture	Elena Arnedo Calvo	3FMA		237
Eliane Constantinou (Federal University of Rio Grande do Sul - BRAZIL)
Typological transformations in a same shape	Ana Costa Eliane Constantinou Teresa Leite	3FMA	37	289		X
Elif Erdine (Architectural Association School of Architecture - UNITED KINGDOM)
processing & grasshopper & agent based design	Alexandros Kallegias Elif Erdine	3WS
Rethinking Conceptual Design: Methods for the simultaneous integration and evaluation of Tower Subsystems	Elif Erdine	3FMA	55
Elisa Pozo Menèndez (Polytechnic University of Madrid - SPAIN)
City sciences workflows	Elisa Pozo Menèndez	4WS
Emílio Bier (Federal University of Rio Grande do Sul - BRAZIL)
Four-dimensional objects, Cellular Automata and Virtual Reality – The Hypercocoon project	Emílio Bier Isadora Tebaldi Nicolle Prado Victor Sardenberg	4FMA	49	333
Ernesto Bueno (Positivo University - BRAZIL)
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
Esther Gramsbergen (Delft University of Technology - NETHERLANDS)
Architecture and the City	Esther Gramsbergen Nicola Marzot Olindo Caso Roberto Cavallo Susanne Komossa	4FMA		273
Etienne Godimus (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
Fabiano Lemes Ribeiro ( - 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
Fábio Costa ( - & Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL)
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
Filipa Crespo Osório (Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL & - )
Nature Pleated Surfaces	Filipa Crespo Osório Maria João de Oliveira	5FMA	20	101
Filipa Peres Crespo Osório
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
Filipe Afonso (Arquitectos Anónimos - PORTUGAL)
(in)formal state of mind	Filipe Afonso Vasco Magalhães	2FMA				X	X
Filipe Brandão (Information Sciences, Technologies and Architecture Research Centre, ISCTE-University Institute of Lisbon - PORTUGAL)
Cork Re-Wall	Filipe Brandão	3FMA	40	359		X
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
Spatial Analysis in GIS Environment: locational attractiveness assessment of the retail trade	Alexandra Paio Filipe Brandão Ricardo Mendes Correia	4FMA	47	47
Transdisciplinary digital change	Alexandra Paio Filipe Brandão Ricardo Mendes Correia	4FMA	61
Francisco Scotti ( - Portugal)
Exploring Photogrammetry’s Creative Potential in Nature Driven Architecture Design	Francisco Scotti Pedro de Azambuja Varela	7FMA	92	543		X
Francisco Serdoura (Research Centre for Architecture, Urbanism and Design, Lisbon School of Architecture, University of Lisbon - PORTUGAL & - & - Portugal)
Public Space Use: an Approach to Livability in Urmia Bazaar, Iran	Francisco Serdoura Momen Foadmarashi	5FMA	24	231
Franklim Morais (Concinnitas CRL - PORTUGAL & - & - Portugal & Porto Arts Higher School - 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
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 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
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
Formal Methods in Architectura: Preface	David Leite Viana Franklim Morais Jorge Vieira Vaz Sara Eloy	5FMA		v
Formalizar para quê?	Franklim Morais	2FMA
Global and Disciplinary Frameworks for Formal Methods in Architecture	David Leite Viana Franklim Morais Jorge Vieira Vaz	5FMA		xv
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
Introduction: Formal Methods in Architecture and Urbanism	David Leite Viana Franklim Morais Jorge Vieira Vaz	3FMA		1
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
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
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
The role of AI in the future of society, the city, construction and architecture	Franklim Morais	7FMA	28	9		X
FREDERICO MIGUEL DE LOUREIRO I DA SILVEIRA (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
Menarch, ontologies in Architecture: a study on Architecture social function	FREDERICO MIGUEL DE LOUREIRO I DA SILVEIRA	3FMA	29	45		X
Frederico Muñoz (IBM Portugal - PORTUGAL)
Cidades Inteligentes: tecnologia, comunidade e espaço urbano	Frederico Muñoz	2FMA
Giacomo Pala (Institute of Urban Design, University of Innsbruck - AUSTRIA)
RE:9²GRID, Fragmented parts and Unified whole.	Giacomo Pala	4FMA	36	435
Giorgos Kalaouzis (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
Gisela Lameira ( - & Faculty of Architecture, University of Porto - PORTUGAL & - Portugal)
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
Giuseppe Massafra ( - Italy)
ReLighting Spaces -Training daylight access cognition in combinatorial spatial assemblages using Reinforcement Learning	Alessio Erioli Giuseppe Massafra	7FMA	105	370		X
Gonçalo Castro Henriques (Laboratory of 3d Models and Digital Fabrication, Federal University of Rio de Janeiro - BRAZIL & - Brazil)
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
In-formation: shaping tools, composition rules, visual thinking and the creative processes	Gonçalo Castro Henriques Marcio Nisenbaum Tatiana Teixeira	7FMA	125	651		X
Métodos digitais na academia, investigação e projecto	Gonçalo Castro Henriques	2FMA
PONTE PARAMÉTRICA - IV Workshop de processos digitais de projecto	Gonçalo Castro Henriques José Pedro Sousa	1WS
Tecnologias digitais em arquitectura (CAD – CAE – CAM): o projecto TetraScript	Gonçalo Castro Henriques	1FMA			X		X
Gonçalo Louro (GLCS - Arquitectos Lda. - PORTUGAL & Porto Arts Higher School - PORTUGAL)
Arquitectura de contornos técnicos	Gonçalo Louro	1FMA			X	X		X
Teatros – formas reabilitadas	Gonçalo Louro	2FMA
Gregorio Saura-Lorente (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
Guilherme Marques ( - 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
Guillermo Varela (Gallecia Higher School - PORTUGAL)
From patterns to parameters	Guillermo Varela	3FMA	43
Gulen Cagdas ( - Turkyie & Istanbul Technical University - TURKYIE)
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks	Berfin Yildiz Gulen Cagdas Ibrahim Zincir	7FMA	82	410		X
Heather Ligler ( - United States of America)
Kahn’s Two Houses: From Formal Analysis to Animated Synthesis	Heather Ligler	7FMA	118	634		X
Hélia Aluai Sampaio (ESAP-students - PORTUGAL & Porto Arts Higher School - PORTUGAL)
synopsis and critique of ´Kinetic digitally driven architecture´ from Sokratis Yiannoudes	Hélia Aluai Sampaio	2FMA-S				X
HOWARD DAVIS ( - United States of America)
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
Hugo Paquete (Porto Arts Higher School - PORTUGAL)
Unpredictable System	Hugo Paquete	3P
Ibrahim Zincir ( - Turkyie)
Automated Two-Story Floor Plan Generation using Generative Adversarial Networks	Berfin Yildiz Gulen Cagdas Ibrahim Zincir	7FMA	82	410		X
Immanuel Koh ( - Singapore & Singapore University of Technology and Design - SINGAPORE)
Associative Synthesis with Deep Neural Networks for Architectural Design	Immanuel Koh	6FMA	18	307
Neuroaesthetic Measures of High-Rise Housing Facades	Audrey Xu Immanuel Koh	7FMA	117	612		X
Imrich Vaško ( - & Academy of Arts Architecture and Design - CZECH REPUBLIC)
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
Inês Caetano ( - & 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
Reassembling Waste: Towards a Carbon Zero Built Environment	Inês Caetano Luis Santos	7FMA	107	261		X
Ioanna Symeonidou ( - Greece & Department of Architecture, University of Thessaly - GREECE)
Massing and skin: A pedagogical experiment with physical and digital design media	Alexandros Efstathiadis Giorgos Kalaouzis Ioanna Symeonidou	6FMA	30	375
Isa Joana Teixeira (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
Isabel Cristina Carvalho ( - & - & Concinnitas CRL - PORTUGAL & Arts and Communication Research Centre, Algarve University - PORTUGAL)
A new pedestrian bridge between Vila Nova de Cerveira and Goiàn	David Leite Viana Isabel Cristina Carvalho	3FMA	38			X
Collaborative mapping with smartphones – an artistic approach	Isabel Cristina Carvalho	4FMA	56
Formal methods in social housing municipal management	Catarina Ruivo David Leite Viana Isabel Cristina Carvalho Jorge Vieira Vaz Sara Eloy	4FMA	48
Locative Media Art in Urban Space´s Analysis	Isabel Cristina Carvalho	3FMA		185
Média – arte locativa e mapeamentos subjectivos na apreensão urbana	Adérito Fernandes Marcos Isabel Cristina Carvalho	2FMA
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
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
Isabel Raposo ( - & Lisbon School of Architecture, University of Lisbon - PORTUGAL)
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
Isadora Tebaldi (IAM, 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
Ítalo Guedes (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
Jaime Cunha ( - Portugal)
Integrating Additive Manufacturing with BIM: A Case Study in Sustainable Architecture and Construction	Bárbara Rangel Jaime Cunha	7FMA	90	561		X
Janet Hetman (CRENAU AMBIANCES ARCHITECTURES URBANITÉS - FRANCE & Department of Architecture, Roma Tre University - ITALY)
Complex Buildings and Cellular Automata. A cellular automaton model for the Centquatre-Paris.	Janet Hetman Roberto d'Autilia	4FMA	45	357
Jarryer de Martino (Federal University of Espírito Santo - BRAZIL)
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
Jason Su ( - Canada)
Advancing Architectural Visualization: Boosting Scale and Reality with Augmented Reality	Chul Min Yeum Jason Su	7FMA	64	281		X
Javier Poyatos Sebastian (Polytechnic University of Valencia - SPAIN)
Form and meaning in architecture and urbanism: principles of quality	Javier Poyatos Sebastian	4FMA	24	263
Jeroen Werbrouck ( - & Ghent University - BELGIUM)
LBD server: Visualising Building Ontologies in web-based environments using glTF-models	Andrew Malcolm Jeroen Werbrouck Pieter Pauwels	5FMA	32	287
Jielin Chen ( - 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
João Pedro Passos (Viana do Castelo City Council - PORTUGAL)
The Study of Neiva´s Valley Combining Space syntax and Geographical Information Systems	João Pedro Passos	3FMA		75
João Pedro Xavier (FAUP - PORTUGAL & Faculty of Architecture, University of Porto - PORTUGAL & - Portugal)
Geometrias e Arquitecturas	João Pedro Xavier	1FMA
João Quintão
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
João Ventura Lopes (ISCTE-University Institute of Lisbon - PORTUGAL)
A data mining based methodology for the multidimensional study of public open spaces	João Ventura Lopes	3FMA	35	113
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
Joaquim Flores (Research Laboratory in Architecture and Design, Porto Higher Art School - PORTUGAL & - Portugal)
Geographic Information Systems (GIS) in Architecture and Urbanism Education	Joaquim Flores	7FMA	71	665		X
quantumGIS & space syntax	Ana Cláudia Teodoro Joaquim Flores José Alberto Gonçalves	3WS
Johan van der Zwart (Norwegian University of Science and Technology, Faculty of Architecture & Fine Arts, Department of Architectural Design & Management - NORWAY)
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
Jorge Vieira Vaz ( - & - Portugal & Porto Arts Higher School - PORTUGAL & Research Laboratory in Architecture and Design, Porto Higher Art School - PORTUGAL)
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
BIM / VDC - Building Information Modeling / Virtual Design to Construction	Jorge Vieira Vaz	1FMA				X
BIM ontologies	Antón Castro David Leite Viana Jorge Vieira Vaz	3FMA	33	29		X
Formal Methods in Architectura: Preface	David Leite Viana Franklim Morais Jorge Vieira Vaz Sara Eloy	5FMA		v
Formal methods in social housing municipal management	Catarina Ruivo David Leite Viana Isabel Cristina Carvalho Jorge Vieira Vaz Sara Eloy	4FMA	48
Global and Disciplinary Frameworks for Formal Methods in Architecture	David Leite Viana Franklim Morais Jorge Vieira Vaz	5FMA		xv
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
Introduction: Formal Methods in Architecture and Urbanism	David Leite Viana Franklim Morais Jorge Vieira Vaz	3FMA		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
José Alberto Gonçalves (Faculty of Sciences, University of Porto - PORTUGAL)
quantumGIS & space syntax	Ana Cláudia Teodoro Joaquim Flores José Alberto Gonçalves	3WS
José Cadilhe (Architectural Association School of Architecture - UNITED KINGDOM)
parametric CAD & grasshopper & CAM	José Cadilhe	3WS
Proto Design: interacções sistémicas	José Cadilhe	1FMA					X
José Luis Azevedo (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
José Luís Guimarães (Porto Arts Higher School - PORTUGAL)
Arquitectura Experimental - linguagem e reflexões	José Luís Guimarães	2FMA
José Nuno Beirão (CIAUD-FAUL - PORTUGAL & Lisbon School of Architecture, University of Lisbon - PORTUGAL & - Portugal)
All bottles from one design semantics in design generation using ontologies to control shape generation	José Nuno Beirão Rui de Klerk	4FMA	40
City Information Modeling – o CIM em CItyMaker: análise, síntese e avaliação em projecto urbano	José Nuno Beirão	2FMA					X
Evaluating urbanity by measuring urban morphology attributes	José Nuno Beirão Samira Elias	6FMA	32	219
Parametric Urban design: ferramentas para projecto urbano	José Nuno Beirão	1FMA			X	X
Semantic structure of formal domains and methods for the development of generic grammars	José Nuno Beirão	3FMA	42	245
Urban challenges: from regions to streets	José Nuno Beirão	4FMA	25
José Pedro Sousa (Faculty of Architecture, University of Porto - PORTUGAL)
Da estandartização à personalização (digital)	José Pedro Sousa	1FMA			X		X
PONTE PARAMÉTRICA - IV Workshop de processos digitais de projecto	Gonçalo Castro Henriques José Pedro Sousa	1WS
José Pinto Duarte ( - United States of America & The Pennsylvania State University - UNITED STATES of AMERICA)
A compositional schema for the automated generation of best connected rectangular floor plans	José Pinto Duarte Krishnendra Shekawat	3FMA	44	259		X
Additive Construction on Earth and beyond: from research to practical applications	José Pinto Duarte	7FMA	19			X
Alberti Digital: do tratado à materialização física	José Pinto Duarte	2FMA
Inserting new technologies in architectural curricula: from research to practice, and to teaching	José Pinto Duarte	3FMA	51
Personalização em série: modelos e algoritmos	José Pinto Duarte	1FMA			X			X
shape grammars in architectural urban design	Andrew I-kang Li José Pinto Duarte	3WS
Static and Dynamic Optimization: from concrete printing to responsive facade	José Pinto Duarte	6FMA	27
The Ethics of our Work	José Pinto Duarte	5FMA	6	xi
José Semide (Porto Arts Higher School - PORTUGAL)
Geometrias na prática da Arquitectura	José Semide	1FMA			X	X	X
JOSEP MUNTAÑOLA ( - Spain & Universidad de Catalunya - 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
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
June-Hao Hou (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