António L. Furtado

148 papers A* 8A 18B 1C 23Journal 50Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Revisiting Northrop Frye's Four Myths Theory with Large Language Models. CoRR Edirlei Soares de Lima, Marco A. Casanova, António L. Furtado
2025	J	`jnl`	An AI-powered approach to the semiotic reconstruction of narratives. Entertain. Comput. Edirlei Soares de Lima, Margot M. E. Neggers, Bruno Feijó, Marco A. Casanova, António L. Furtado
2025	J	`jnl`	Characterizing the Investigative Methods of Fictional Detectives with Large Language Models. CoRR Edirlei Soares de Lima, Marco A. Casanova, Bruno Feijó, António L. Furtado
2025	C	`conf`	From News to Stories via an AI-Supported Retelling Process. ICEC Edirlei Soares de Lima, Marco A. Casanova, Bruno Feijó, António L. Furtado
2025	—	`conf`	LLM-Powered Visualizations and Narratives from Natural Language Queries. ER (Companion) Eduardo Roger Silva Nascimento, Bruno Feijó, António L. Furtado, Marco A. Casanova
2024	C	`conf`	A Pattern-Oriented AI-Powered Approach to Story Composition. ICEC Edirlei Soares de Lima, Margot M. E. Neggers, Marco A. Casanova, Bruno Feijó, António L. Furtado
2024	J	`jnl`	Imagining from Images with an AI Storytelling Tool. CoRR Edirlei Soares de Lima, Marco A. Casanova, António L. Furtado
2024	J	`jnl`	Multigenre AI-powered Story Composition. CoRR Edirlei Soares de Lima, Margot M. E. Neggers, António L. Furtado
2023	—	`conf`	Analyzing a Semantics-Aware Bug Seeding Tool's Efficacy: A qualitative study with the SemSeed tool. SBES Vinicius Martins, Camila T. Ramalho, Lucas Cordeiro Marques, Juliana Alves Pereira, Alessandro F. Garcia, Carlos Lucena, Bruno Feijó, António L. Furtado
2023	—	`conf`	ChatGeppetto - an AI-powered Storyteller. SBGames Edirlei Soares de Lima, Bruno Feijó, Marco A. Casanova, António L. Furtado
2023	J	`jnl`	Managing the plot structure of character-based interactive narratives in games. Entertain. Comput. Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2023	C	`conf`	Semiotic Structuring in Movie Narrative Generation. ICEC Edirlei Soares de Lima, Marco A. Casanova, Bruno Feijó, António L. Furtado
2023	J	`jnl`	Some Preliminary Steps Towards Metaverse Logic. CoRR António L. Furtado, Marco A. Casanova, Edirlei Soares de Lima
2022	—	`conf`	A Character-based Model for Interactive Storytelling in Games. SBGAMES Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2022	J	`jnl`	A Note on Process Modelling: Combining Situation Calculus and Petri Nets. CoRR Edirlei Soares de Lima, António L. Furtado, Bruno Feijó, Marco A. Casanova
2022	—	`conf`	An adaptive music generation architecture for games based on the deep learning Transformer model. SBGAMES Gustavo Amaral Costa dos Santos, Augusto Baffa, Jean-Pierre Briot, Bruno Feijó, António L. Furtado
2022	C	`conf`	Plot Composition by Mapping Situation Calculus Schemas into Petri Net Representation. ICEC Edirlei Soares de Lima, António L. Furtado, Bruno Feijó, Marco A. Casanova
2022	J	`jnl`	Procedural generation of branching quests for games. Entertain. Comput. Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2021	—	`conf`	Adaptive Branching Quests Based on Automated Planning and Story Arcs. SBGames Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2021	C	`conf`	Computational Narrative Blending Based on Planning. ICEC Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2020	J	`jnl`	Adaptive storytelling based on personality and preference modeling. Entertain. Comput. Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2020	—	`conf`	DSL Based Approach for Building Model-Driven Questionnaires. ICEIS (Revised Selected Papers) Luciane Calixto de Araujo, Marco A. Casanova, Luiz André P. Paes Leme, António L. Furtado
2020	—	`conf`	SLang: A Domain-specific Language for Survey Questionnaires. ICEIS (2) Luciane C. Araújo, Marco A. Casanova, Luiz André P. Paes Leme, António L. Furtado
2019	—	`conf`	Procedural Generation of Quests for Games Using Genetic Algorithms and Automated Planning. SBGames Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2018	J	`jnl`	Information and Data Management at PUC-Rio and UFMG. Proc. VLDB Endow. António L. Furtado, Nivio Ziviani
2018	—	`conf`	Personality and Preference Modeling for Adaptive Storytelling. SBGames Edirlei Soares de Lima, Bruno Feijó, António L. Furtado, Vinicius M. Gottin
2018	J	`jnl`	Player behavior and personality modeling for interactive storytelling in games. Entertain. Comput. Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2018	J	`jnl`	Video-based interactive storytelling using real-time video compositing techniques. Multim. Tools Appl. Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2017	B	`conf`	An Analysis of Degree Curricula through Mining Student Records. ICALT Vinicius M. Gottin, Haydée Guillot Jiménez, Anna Carolina Finamore, Marco A. Casanova, António L. Furtado, Bernardo Pereira Nunes
2017	—	`conf`	Network Traversal as an Aid to Plot Analysis and Composition. SBGames Edirlei Soares de Lima, Vinicius M. Gottin, Bruno Feijó, António L. Furtado
2017	A	`conf`	Searching Linked Data with a Twist of Serendipity. CAiSE Jeronimo S. A. Eichler, Marco A. Casanova, António L. Furtado, Lívia Ruback, Luiz André P. Paes Leme, Giseli Rabello Lopes, Bernardo Pereira Nunes, Alessandra Raffaetà, Chiara Renso
2016	J	`jnl`	Storytelling variants based on semiotic relations. Entertain. Comput. Edirlei Soares de Lima, Bruno Feijó, Marco Antonio Casanova, António L. Furtado
2015	C	`conf`	Storytelling Variants: The Case of Little Red Riding Hood. ICEC Edirlei Soares de Lima, António L. Furtado, Bruno Feijó
2014	A	`conf`	A Semiotic Approach to Conceptual Modelling. ER António L. Furtado, Marco A. Casanova, Simone Diniz Junqueira Barbosa
2014	C	`conf`	Conceptual Model and System for Genre-Focused Interactive Storytelling. ICEC Börje F. Karlsson, António L. Furtado
2014	J	`jnl`	Draw your own story: Paper and pencil interactive storytelling. Entertain. Comput. Edirlei Soares de Lima, Bruno Feijó, Simone D. J. Barbosa, António L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer
2014	C	`conf`	Hierarchical generation of dynamic and nondeterministic quests in games. Advances in Computer Entertainment Edirlei Soares de Lima, Bruno Feijó, António L. Furtado
2014	J	`jnl`	Plot Generation with Character-Based Decisions. Comput. Entertain. Simone D. J. Barbosa, Fabio A. Guilherme da Silva, António L. Furtado, Marco A. Casanova
2014	J	`jnl`	Publishing deep web geographic data. GeoInformatica Helena Piccinini, Marco A. Casanova, Luiz André P. Paes Leme, António L. Furtado
2013	—	`conf`	A Nondeterministic Temporal Planning Model for Generating Narratives with Continuous Change in Interactive Storytelling. AIIDE Paulo Abelha, Vinicius M. Gottin, Angelo E. M. Ciarlini, Eric T. Araujo, António L. Furtado, Bruno Feijó, Fabio A. Guilherme da Silva, Cesar Tadeu Pozzer
2013	C	`conf`	Non-branching Interactive Comics. Advances in Computer Entertainment Edirlei Soares de Lima, Bruno Feijó, António L. Furtado, Simone Diniz Junqueira Barbosa, Cesar Tadeu Pozzer, Angelo E. M. Ciarlini
2012	A	`conf`	Automatic Video Editing for Video-Based Interactive Storytelling. ICME Edirlei Soares de Lima, Bruno Feijó, António L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer
2012	—	`conf`	Constraint Reuse in DL-Lite Core with Arbitrary Number Restrictions. AMW Marco A. Casanova, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal, José Antônio Fernandes de Macêdo, Eveline R. Sacramento
2012	C	`conf`	Dealing with inconsistencies in linked data mashups. IDEAS Eveline R. Sacramento, Marco A. Casanova, Karin Koogan Breitman, António L. Furtado, José Antônio Fernandes de Macêdo, Vânia Maria Ponte Vidal
2012	C	`conf`	Information-Gathering Events in Story Plots. ICEC Fabio A. Guilherme da Silva, António L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer, Bruno Feijó, Edirlei Soares de Lima
2012	—	`ch.`	On the Problem of Matching Database Schemas. Conquering Complexity Marco A. Casanova, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal, José Antônio Fernandes de Macêdo
2012	—	`conf`	Operations over Lightweight Ontologies. OTM Conferences (2) Marco A. Casanova, José Antônio Fernandes de Macêdo, Eveline R. Sacramento, Ângela M. A. Pinheiro, Vânia Maria Ponte Vidal, Karin Koogan Breitman, António L. Furtado
2012	C	`conf`	Social Interaction for Interactive Storytelling. ICEC Edirlei Soares de Lima, Bruno Feijó, Cesar Tadeu Pozzer, Angelo E. M. Ciarlini, Simone Diniz Junqueira Barbosa, António L. Furtado, Fabio A. Guilherme da Silva
2012	J	`jnl`	Three Decades of Research on Database Design at PUC-Rio. J. Inf. Data Manag. Marco Antonio Casanova, Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, António L. Furtado
2011	C	`conf`	Draw Your Own Story: Paper and Pencil Interactive Storytelling. ICEC Edirlei Soares de Lima, Bruno Feijó, Simone Diniz Junqueira Barbosa, António L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer
2011	—	`conf`	Multimodal, Multi-user and Adaptive Interaction for Interactive Storytelling Applications. SBGames Edirlei Soares de Lima, Bruno Feijó, Simone Diniz Junqueira Barbosa, Fabio A. Guilherme da Silva, António L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer
2011	—	`conf`	The Role of Constraints in Linked Data. OTM Conferences (2) Marco A. Casanova, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal, José Antônio Fernandes de Macêdo, Raphael do Vale Amaral Gomes, Percy Enrique Rivera Salas
2010	—	`conf`	A Decision-Making Process for Digital Storytelling. SBGames Simone Diniz Junqueira Barbosa, António L. Furtado, Marco A. Casanova
2010	—	`conf`	Director of Photography and Music Director for Interactive Storytelling. SBGames Edirlei Everson Soares de Lima, Bruno Feijó, António L. Furtado, Cesar Tadeu Pozzer, Angelo E. M. Ciarlini
2010	J	`jnl`	Modeling interactive storytelling genres as application domains. J. Intell. Inf. Syst. Angelo E. M. Ciarlini, Marco A. Casanova, António L. Furtado, Paulo A. S. Veloso
2010	—	`conf`	Modeling the Mediated Schema Constraints. ECBS Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal
2010	J	`jnl`	OWL schema matching. J. Braz. Comput. Soc. Luiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, António L. Furtado
2010	J	`jnl`	Revising the constraints of lightweight mediated schemas. Data Knowl. Eng. Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal
2010	—	`conf`	W-Ray: A Strategy to Publish Deep Web Geographic Data. ER Workshops Helena Piccinini, Melissa Lemos, Marco A. Casanova, António L. Furtado
2009	A	`conf`	A Frame Manipulation Algebra for ER Logical Stage Modelling. ER António L. Furtado, Marco A. Casanova, Karin Koogan Breitman, Simone Diniz Junqueira Barbosa
2009	C	`conf`	A Plot-Manipulation Algebra to Support Digital Storytelling. ICEC Börje F. Karlsson, Simone Diniz Junqueira Barbosa, António L. Furtado, Marco A. Casanova
2009	A	`conf`	A Strategy to Revise the Constraints of the Mediated Schema. ER Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal
2009	J	`jnl`	Event relations in plan-based plot composition. Comput. Entertain. Angelo E. M. Ciarlini, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado
2009	—	`conf`	Instance-Based OWL Schema Matching. ICEIS Luiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, António L. Furtado
2009	—	`conf`	Support Vector Machines for Cinematography Real-Time Camera Control in Storytelling Environments. SBGames Edirlei Everson Soares de Lima, Cesar Tadeu Pozzer, Marcos Cordeiro d'Ornellas, Angelo E. M. Ciarlini, Bruno Feijó, António L. Furtado
2009	—	`conf`	Virtual cinematography director for interactive storytelling. Advances in Computer Entertainment Technology Edirlei E. S. de Lima, Cesar Tadeu Pozzer, Marcos Cordeiro d'Ornellas, Angelo E. M. Ciarlini, Bruno Feijó, António L. Furtado
2008	A	`conf`	Analysis and Reuse of Plots Using Similarity and Analogy. ER António L. Furtado, Marco A. Casanova, Simone Diniz Junqueira Barbosa, Karin Koogan Breitman
2008	—	`conf`	Conciliating coherence and high responsiveness in interactive storytelling. DIMEA Marcelo M. Camanho, Angelo E. M. Ciarlini, António L. Furtado, Cesar Tadeu Pozzer, Bruno Feijó
2008	C	`conf`	Database Mediation Using Multi-agent Systems. SEW Luiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, António L. Furtado
2008	—	`conf`	Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy. ICEIS (3-2) Marco A. Casanova, Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, António L. Furtado
2008	C	`conf`	Planning and Interaction Levels for TV Storytelling. ICIDS Angelo E. M. Ciarlini, Marcelo M. Camanho, Thiago R. Dória, António L. Furtado, Cesar Tadeu Pozzer, Bruno Feijó
2008	J	`jnl`	Process pipeline scheduling. J. Syst. Softw. Melissa Lemos, Marco A. Casanova, António L. Furtado
2007	J	`jnl`	Adding flexibility to workflows through incremental planning. Innov. Syst. Softw. Eng. Abílio Fernandes, Angelo E. M. Ciarlini, António L. Furtado, Michael G. Hinchey, Marco A. Casanova, Karin Koogan Breitman
2007	A	`conf`	Conceptual modeling by analogy and metaphor. CIKM Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado
2007	—	`conf`	Similarity and Analogy over Application Domains. SBBD Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, António L. Furtado, Marco A. Casanova
2007	C	`conf`	Using Analogy to Promote Conceptual Modeling Reuse. ISoLA Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado, Michael G. Hinchey
2006	C	`conf`	Semi-automated Workflow Synthesis. ISoLA Abílio Fernandes, Karin Koogan Breitman, Tatiana Almeida S. C. Vieira, Marco A. Casanova, António L. Furtado
2005	—	`conf`	A logic-based tool for interactive generation and dramatization of stories. Advances in Computer Entertainment Technology Angelo E. M. Ciarlini, Cesar Tadeu Pozzer, António L. Furtado, Bruno Feijó
2004	—	`conf`	Narratives over Real-life and Fictional Domains. SBBD António L. Furtado
2003	—	`conf`	Towards a Plan-based Learning Environment. PGLDB Angelo E. M. Ciarlini, António L. Furtado
2002	J	`jnl`	Cognitive and affective Motivation in Conceptual Modelling. Rev. Colomb. de Computación António L. Furtado, Angelo E. M. Ciarlini
2002	A	`conf`	Understanding and Simulating Narratives in the Context of Information Systems. ER Angelo E. M. Ciarlini, António L. Furtado
2001	A	`conf`	Constructing Libraries of Typical Plans. CAiSE António L. Furtado, Angelo E. M. Ciarlini
2000	C	`conf`	A Formal Framework for Modelling at the Behavioural Level. EJC Angelo E. M. Ciarlini, Paulo A. S. Veloso, António L. Furtado
2000	C	`conf`	Generating Narratives from Plots Using Schema Information. NLDB António L. Furtado, Angelo E. M. Ciarlini
1999	—	`conf`	Interactive Multistage Simulation of Goal-Driven Agents. SBBD Angelo E. M. Ciarlini, António L. Furtado
1999	J	`jnl`	Interactive multistage simulation of goal-driven agents. J. Braz. Comput. Soc. Angelo E. M. Ciarlini, António L. Furtado
1999	A	`conf`	Operational Characterization of Genre in Literary and Real-life Domains. ER António L. Furtado, Angelo E. M. Ciarlini
1999	C	`conf`	Simulating the Intertaction of Database Agents. DEXA Angelo E. M. Ciarlini, António L. Furtado
1998	C	`conf`	Towards a Cooperative Question-Answering Model. FQAS Galeno J. de Sena, António L. Furtado
1997	—	`conf`	Narratives and Temporal Databases: An Interdisciplinary Perspective. Conceptual Modeling António L. Furtado
1997	—	`conf`	Plots of Narratives over Temporal Databases. DEXA Workshop António L. Furtado, Angelo E. M. Ciarlini
1996	—	`conf`	A Hybrid Formal Theory of Plan Recognition and Its Implementation. SBIA José Helano Matos Nogueira, António L. Furtado, José de Jesús Pérez Alcázar
1994	A	`conf`	Designing a User-Oriented Query Modification Facility in Object-Oriented Database Systems CAiSE Karl Aberer, Wolfgang Klas, António L. Furtado
1993	J	`jnl`	Avoiding Misconstruals in Database Systems: A Default Logic Approach. IEEE Trans. Knowl. Data Eng. Andrea S. Hemerly, Marco A. Casanova, António L. Furtado
1993	C	`conf`	Towards Cooperativeness in Geographic Databases. DEXA Andrea S. Hemerly, António L. Furtado, Marco A. Casanova
1992	A	`conf`	A Declarative Conceptual Modelling Language: Description and Example Applications. CAiSE Marco A. Casanova, Andrea S. Hemerly, António L. Furtado
1992	J	`jnl`	Analogy by generalization - and the quest of the grail. ACM SIGPLAN Notices António L. Furtado
1991	J	`jnl`	A Software Tool for Modular Database Design. ACM Trans. Database Syst. Marco A. Casanova, António L. Furtado, Luiz Tucherman
1991	A	`conf`	Cooperative Behavior Through Request Modification. ER Andrea S. Hemerly, Marco A. Casanova, António L. Furtado
1990	A	`conf`	Plan and Schedule Generation over Temporal Databases. ER António L. Furtado, Marco A. Casanova
1990	J	`jnl`	The CHRIS consultant-a tool for database design and rapid prototyping. Inf. Syst. Luiz Tucherman, Marco A. Casanova, António L. Furtado
1989	A*	`conf`	Optimization of Relational Schemas Containing Inclusion Dependencies. VLDB Marco A. Casanova, Luiz Tucherman, António L. Furtado, Anelise P. Braga
1988	A*	`conf`	Enforcing Inclusion Dependencies and Referencial Integrity. VLDB Marco A. Casanova, Luiz Tucherman, António L. Furtado
1988	J	`jnl`	Iteration for applicative languages. ACM SIGPLAN Notices António L. Furtado, Paulo A. S. Veloso
1988	J	`jnl`	String Pattern-Matching in Prolog. Comput. Lang. Marco A. Casanova, António L. Furtado
1988	J	`jnl`	Towards functional programming in Prolog. ACM SIGPLAN Notices António L. Furtado
1988	—	`conf`	Update-Oriented Database Structures. Expert Database Conf. Luiz Tucherman, António L. Furtado
1987	A	`conf`	The CHRIS Consultant. ER António L. Furtado, Marco A. Casanova, Luiz Tucherman
1986	—	`conf`	A Framework for Design/Redesign Experts. Expert Database Conf. António L. Furtado, Marco A. Casanova, Luiz Tucherman
1986	—	`ch.`	Towards simpler and yet complete formal specificapions. Trends in Information Systems Paulo A. S. Veloso, António L. Furtado
1986	—	`conf`	Transforming Constraints into Logic Programs: A Case Study. DS-2 António L. Furtado, Marco A. Casanova, Luiz Tucherman
1985	A*	`conf`	A Tool for Modular Database Design. VLDB Luiz Tucherman, António L. Furtado, Marco A. Casanova
1985	J	`jnl`	An Informal Approach to Formal (Algebraic) Specifications. Comput. J. António L. Furtado, T. S. E. Maibaum
1985	—	`conf`	Towards Simpler and Yet Complete Formal Specifications TFAIS Paulo A. S. Veloso, António L. Furtado
1985	—	`ch.`	Updating Relational Views. Query Processing in Database Systems António L. Furtado, Marco A. Casanova
1984	J	`jnl`	An Informal Approach to Formal Specifications. SIGMOD Rec. António L. Furtado
1984	—	`conf`	Expert Helpers to Data-Based Information Systems. Expert Database Workshop António L. Furtado, C. M. O. Moura
1984	A*	`conf`	Formal Data Base Specification - An Eclectic Perspective. PODS Marco A. Casanova, Paulo A. S. Veloso, António L. Furtado
1984	J	`jnl`	Generalized set comparison. ACM SIGPLAN Notices António L. Furtado
1984	J	`jnl`	Towards multi-level and modular conceptual schema specifications. Inf. Syst. Ulrich Schiel, António L. Furtado, Erich J. Neuhold, Marco A. Casanova
1983	—	`conf`	A Grammatical Approach to Data Bases. IFIP Congress António L. Furtado, Paulo A. S. Veloso, Marco A. Casanova
1983	A*	`conf`	A Pragmatic Approach to Structured Database Design. VLDB Luiz Tucherman, António L. Furtado, Marco A. Casanova
1983	J	`jnl`	An Informal Approach to Formal Specifications. SIGMOD Rec. António L. Furtado
1983	J	`jnl`	Multi-level specifications based on traces. ACM SIGSOFT Softw. Eng. Notes Paulo A. S. Veloso, António L. Furtado
1983	A	`conf`	View Constructs for the Specification and Design of External Schemas. ER Paulo A. S. Veloso, António L. Furtado
1982	A*	`conf`	A Temporal Framework for Database Specifications. VLDB José Mauro Volkmer de Castilho, Marco A. Casanova, António L. Furtado
1982	J	`jnl`	Instructional graphics packages to be used with a line printer. ACM SIGCSE Bull. António L. Furtado, A. A. B. Furtado, F. A. Messeder
1982	—	`conf`	On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory Marco A. Casanova, António L. Furtado
1982	—	`conf`	Specification of data bases through rewriting rules. Graph-Grammars and Their Application to Computer Science António L. Furtado, Paulo A. S. Veloso
1982	—	`conf`	Stepwise Construction of Algebraic Specifications. Advances in Data Base Theory Paulo A. S. Veloso, António L. Furtado
1981	J	`jnl`	Conceptual modeling of data base operations. Int. J. Parallel Program. Clesio Saraiva dos Santos, T. S. E. Maibaum, António L. Furtado
1981	J	`jnl`	Dynamic modelling of a simple existence constraint. Inf. Syst. António L. Furtado, Clesio Saraiva dos Santos, José Mauro Volkmer de Castilho
1981	J	`jnl`	Horizontal Decomposition to Improve a Non-BCNF Scheme. SIGMOD Rec. António L. Furtado
1981	J	`jnl`	Procedural specifications and implementations for abstract data types. ACM SIGPLAN Notices António L. Furtado, Paulo A. S. Veloso
1981	A*	`conf`	Systematic Derivation of Complementary Specifications VLDB Paulo A. S. Veloso, José Mauro Volkmer de Castilho, António L. Furtado
1981	A	`conf`	Verification and Testing of S-ER Representations. ER António L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho
1980	—	`conf`	Towards Constructive Axiomatic Specifications. Workshop on Data Abstraction, Databases and Conceptual Modelling Clesio Saraiva dos Santos, António L. Furtado, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho
1979	A	`conf`	A Data Type Approach to the Entity-Relationship Approach. ER Clesio Saraiva dos Santos, Erich J. Neuhold, António L. Furtado
1979	J	`jnl`	Data schemata based on directed graphs. Int. J. Parallel Program. C. C. Gotlieb, António L. Furtado
1979	A*	`ed.`	Fifth International Conference on Very Large Data Bases, October 3-5, 1979, Rio de Janeiro, Brazil, Proceedings. António L. Furtado, Howard L. Morgan
1979	J	`jnl`	Permitting updates through views of data bases. Inf. Syst. António L. Furtado, Kenneth C. Sevcik, Clesio Saraiva dos Santos
1978	J	`jnl`	Formal aspects of the relational model. Inf. Syst. António L. Furtado
1978	J	`jnl`	Implementing a Data Definition Facility Driven by Graph Grammars. Comput. Lang. P. B. Barroso, António L. Furtado
1978	—	`conf`	Transformations of Data Base Structures. Graph-Grammars and Their Application to Computer Science and Biology António L. Furtado
1977	—	`conf`	An Algebra of Quotient Relations. SIGMOD Conference António L. Furtado, Larry Kerschberg
1976	J	`jnl`	Characterizing sets of data structures by the connectivity relation. Int. J. Parallel Program. António L. Furtado
1973	J	`jnl`	An Algorithm for Obtaining the Chromatic Number and an Optimal Coloring of a Graph. Inf. Process. Lett. S. I. Roschke, António L. Furtado