default search action
António L. Furtado 0001
António Luz Furtado – António Furtado 0001
Person information
- affiliation: Pontifical Catholic University of Rio de Janeiro, Brazil
- award: Peter P. Chen Award, 2014
Other persons with the same name
- António Furtado 0002 — Universidade Nova de Lisboa (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j45]Edirlei Soares de Lima, Margot M. E. Neggers, Bruno Feijó, Marco A. Casanova, António L. Furtado:
An AI-powered approach to the semiotic reconstruction of narratives. Entertain. Comput. 52: 100810 (2025) - 2024
- [i5]Edirlei Soares de Lima, Margot M. E. Neggers, António L. Furtado:
Multigenre AI-powered Story Composition. CoRR abs/2405.06685 (2024) - [i4]Edirlei Soares de Lima, Marco A. Casanova, António L. Furtado:
Imagining from Images with an AI Storytelling Tool. CoRR abs/2408.11517 (2024) - 2023
- [j44]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
Managing the plot structure of character-based interactive narratives in games. Entertain. Comput. 47: 100590 (2023) - [c95]Edirlei Soares de Lima, Marco A. Casanova, Bruno Feijó, António L. Furtado:
Semiotic Structuring in Movie Narrative Generation. ICEC 2023: 161-175 - [c94]Vinicius Martins, Camila T. Ramalho, Lucas Cordeiro Marques, Juliana Alves Pereira, Alessandro F. Garcia, Carlos Lucena, Bruno Feijó, António L. Furtado:
Analyzing a Semantics-Aware Bug Seeding Tool's Efficacy: A qualitative study with the SemSeed tool. SBES 2023: 246-256 - [c93]Edirlei Soares de Lima, Bruno Feijó, Marco A. Casanova, António L. Furtado:
ChatGeppetto - an AI-powered Storyteller. SBGames 2023: 28-37 - [c92]João Pinheiro, Wendy Victorio, Eduardo Nascimento, Antony Seabra, Yenier Izquierdo, Grettel García, Gustavo M. C. Coelho, Melissa Lemos, Luiz André P. Paes Leme, António Furtado, Marco A. Casanova:
On the Construction of Database Interfaces Based on Large Language Models. WEBIST 2023: 373-380 - [i3]António L. Furtado, Marco A. Casanova, Edirlei Soares de Lima:
Some Preliminary Steps Towards Metaverse Logic. CoRR abs/2307.05574 (2023) - 2022
- [j43]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
Procedural generation of branching quests for games. Entertain. Comput. 43: 100491 (2022) - [c91]Edirlei Soares de Lima, António L. Furtado, Bruno Feijó, Marco A. Casanova:
Plot Composition by Mapping Situation Calculus Schemas into Petri Net Representation. ICEC 2022: 61-75 - [c90]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
A Character-based Model for Interactive Storytelling in Games. SBGAMES 2022: 1-6 - [c89]Gustavo Amaral Costa dos Santos, Augusto Baffa, Jean-Pierre Briot, Bruno Feijó, António L. Furtado:
An adaptive music generation architecture for games based on the deep learning Transformer model. SBGAMES 2022: 1-6 - [i2]Edirlei Soares de Lima, António L. Furtado, Bruno Feijó, Marco A. Casanova:
A Note on Process Modelling: Combining Situation Calculus and Petri Nets. CoRR abs/2207.00317 (2022) - [i1]Gustavo Amaral Costa dos Santos, Augusto Baffa, Jean-Pierre Briot, Bruno Feijó, António Luz Furtado:
An adaptive music generation architecture for games based on the deep learning Transformer mode. CoRR abs/2207.01698 (2022) - 2021
- [c88]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
Computational Narrative Blending Based on Planning. ICEC 2021: 289-303 - [c87]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
Adaptive Branching Quests Based on Automated Planning and Story Arcs. SBGames 2021: 9-18 - 2020
- [j42]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
Adaptive storytelling based on personality and preference modeling. Entertain. Comput. 34: 100342 (2020) - [c86]Luciane C. Araújo, Marco A. Casanova, Luiz André P. Paes Leme, António L. Furtado:
SLang: A Domain-specific Language for Survey Questionnaires. ICEIS (2) 2020: 133-144 - [c85]Luciane Calixto de Araujo, Marco A. Casanova, Luiz André P. Paes Leme, António L. Furtado:
DSL Based Approach for Building Model-Driven Questionnaires. ICEIS (Revised Selected Papers) 2020: 458-480
2010 – 2019
- 2019
- [c84]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
Procedural Generation of Quests for Games Using Genetic Algorithms and Automated Planning. SBGames 2019: 144-153 - 2018
- [j41]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
Player behavior and personality modeling for interactive storytelling in games. Entertain. Comput. 28: 32-48 (2018) - [j40]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
Video-based interactive storytelling using real-time video compositing techniques. Multim. Tools Appl. 77(2): 2333-2357 (2018) - [j39]António L. Furtado, Nivio Ziviani:
Information and Data Management at PUC-Rio and UFMG. Proc. VLDB Endow. 11(12): 2114-2129 (2018) - [c83]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado, Vinicius M. Gottin:
Personality and Preference Modeling for Adaptive Storytelling. SBGames 2018: 187-196 - 2017
- [c82]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:
Searching Linked Data with a Twist of Serendipity. CAiSE 2017: 495-510 - [c81]Vinicius M. Gottin, Haydée Guillot Jiménez, Anna Carolina Finamore, Marco A. Casanova, António L. Furtado, Bernardo Pereira Nunes:
An Analysis of Degree Curricula through Mining Student Records. ICALT 2017: 276-280 - [c80]Edirlei Soares de Lima, Vinicius M. Gottin, Bruno Feijó, António L. Furtado:
Network Traversal as an Aid to Plot Analysis and Composition. SBGames 2017: 144-154 - 2016
- [j38]Edirlei Soares de Lima, Bruno Feijó, Marco Antonio Casanova, António L. Furtado:
Storytelling variants based on semiotic relations. Entertain. Comput. 17: 31-44 (2016) - 2015
- [c79]Edirlei Soares de Lima, António L. Furtado, Bruno Feijó:
Storytelling Variants: The Case of Little Red Riding Hood. ICEC 2015: 286-300 - 2014
- [j37]Simone D. J. Barbosa, Fabio A. Guilherme da Silva, António L. Furtado, Marco A. Casanova:
Plot Generation with Character-Based Decisions. Comput. Entertain. 12(3): 2:1-2:21 (2014) - [j36]Edirlei Soares de Lima, Bruno Feijó, Simone D. J. Barbosa, António L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer:
Draw your own story: Paper and pencil interactive storytelling. Entertain. Comput. 5(1): 33-41 (2014) - [j35]Helena Piccinini, Marco A. Casanova, Luiz André P. Paes Leme, António L. Furtado:
Publishing deep web geographic data. GeoInformatica 18(4): 769-792 (2014) - [c78]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado:
Hierarchical generation of dynamic and nondeterministic quests in games. Advances in Computer Entertainment 2014: 24:1-24:10 - [c77]António L. Furtado, Marco A. Casanova, Simone Diniz Junqueira Barbosa:
A Semiotic Approach to Conceptual Modelling. ER 2014: 1-12 - [c76]Börje F. Karlsson, António L. Furtado:
Conceptual Model and System for Genre-Focused Interactive Storytelling. ICEC 2014: 27-35 - [c75]Edirlei Soares de Lima, Simone Diniz Junqueira Barbosa, Bruno Feijó, António Luz Furtado:
Building Keyword-Indexed Virtual Libraries in a Logic Programming Environment. WebMedia 2014: 75-82 - 2013
- [c74]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado, Simone Diniz Junqueira Barbosa, Cesar Tadeu Pozzer, Angelo E. M. Ciarlini:
Non-branching Interactive Comics. Advances in Computer Entertainment 2013: 230-245 - [c73]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:
A Nondeterministic Temporal Planning Model for Generating Narratives with Continuous Change in Interactive Storytelling. AIIDE 2013 - 2012
- [j34]Marco Antonio Casanova, Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, António L. Furtado:
Three Decades of Research on Database Design at PUC-Rio. J. Inf. Data Manag. 3(1): 17-32 (2012) - [c72]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:
Constraint Reuse in DL-Lite Core with Arbitrary Number Restrictions. AMW 2012: 2-11 - [c71]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:
Social Interaction for Interactive Storytelling. ICEC 2012: 1-15 - [c70]Fabio A. Guilherme da Silva, António L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer, Bruno Feijó, Edirlei Soares de Lima:
Information-Gathering Events in Story Plots. ICEC 2012: 30-44 - [c69]Edirlei Soares de Lima, Bruno Feijó, António L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer:
Automatic Video Editing for Video-Based Interactive Storytelling. ICME 2012: 806-811 - [c68]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:
Dealing with inconsistencies in linked data mashups. IDEAS 2012: 175-180 - [c67]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:
Operations over Lightweight Ontologies. OTM Conferences (2) 2012: 646-663 - [p3]Marco A. Casanova, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal, José Antônio Fernandes de Macêdo:
On the Problem of Matching Database Schemas. Conquering Complexity 2012: 431-461 - 2011
- [c66]Edirlei Soares de Lima, Bruno Feijó, Simone Diniz Junqueira Barbosa, António L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer:
Draw Your Own Story: Paper and Pencil Interactive Storytelling. ICEC 2011: 1-12 - [c65]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:
The Role of Constraints in Linked Data. OTM Conferences (2) 2011: 781-799 - [c64]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:
Multimodal, Multi-user and Adaptive Interaction for Interactive Storytelling Applications. SBGames 2011: 206-214 - 2010
- [j33]Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal:
Revising the constraints of lightweight mediated schemas. Data Knowl. Eng. 69(12): 1274-1301 (2010) - [j32]Luiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, António L. Furtado:
OWL schema matching. J. Braz. Comput. Soc. 16(1): 21-34 (2010) - [j31]Angelo E. M. Ciarlini, Marco A. Casanova, António L. Furtado, Paulo A. S. Veloso:
Modeling interactive storytelling genres as application domains. J. Intell. Inf. Syst. 35(3): 347-381 (2010) - [c63]Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal:
Modeling the Mediated Schema Constraints. ECBS 2010: 393-402 - [c62]Helena Piccinini, Melissa Lemos, Marco A. Casanova, António L. Furtado:
W-Ray: A Strategy to Publish Deep Web Geographic Data. ER Workshops 2010: 2-11 - [c61]Simone Diniz Junqueira Barbosa, António L. Furtado, Marco A. Casanova:
A Decision-Making Process for Digital Storytelling. SBGames 2010: 1-11 - [c60]Edirlei Everson Soares de Lima, Bruno Feijó, António L. Furtado, Cesar Tadeu Pozzer, Angelo E. M. Ciarlini:
Director of Photography and Music Director for Interactive Storytelling. SBGames 2010: 129-137
2000 – 2009
- 2009
- [j30]Angelo E. M. Ciarlini, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado:
Event relations in plan-based plot composition. Comput. Entertain. 7(4): 55:1-55:37 (2009) - [c59]Edirlei E. S. de Lima, Cesar Tadeu Pozzer, Marcos Cordeiro d'Ornellas, Angelo E. M. Ciarlini, Bruno Feijó, António L. Furtado:
Virtual cinematography director for interactive storytelling. Advances in Computer Entertainment Technology 2009: 263-270 - [c58]António L. Furtado, Marco A. Casanova, Karin Koogan Breitman, Simone Diniz Junqueira Barbosa:
A Frame Manipulation Algebra for ER Logical Stage Modelling. ER 2009: 9-24 - [c57]Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal:
A Strategy to Revise the Constraints of the Mediated Schema. ER 2009: 265-279 - [c56]Luiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, António L. Furtado:
Instance-Based OWL Schema Matching. ICEIS 2009: 14-26 - [c55]Börje F. Karlsson, Simone Diniz Junqueira Barbosa, António L. Furtado, Marco A. Casanova:
A Plot-Manipulation Algebra to Support Digital Storytelling. ICEC 2009: 132-144 - [c54]Edirlei Everson Soares de Lima, Cesar Tadeu Pozzer, Marcos Cordeiro d'Ornellas, Angelo E. M. Ciarlini, Bruno Feijó, António L. Furtado:
Support Vector Machines for Cinematography Real-Time Camera Control in Storytelling Environments. SBGames 2009: 44-51 - [c53]Marcelo de Melo Camanho, Angelo Ernani Maia Ciarlini, António Luz Furtado, Bruno Feijó, Cesar Tadeu Pozzer:
A Model for Interactive TV Storytelling. SBGames 2009: 197-206 - 2008
- [j29]António Furtado, Karin K. Breitman, Marco A. Casanova, Simone D. J. Barbosa:
Applying Analogy to Schema Generation. Braz. J. Inf. Syst. 1(1) (2008) - [j28]Melissa Lemos, Marco A. Casanova, António L. Furtado:
Process pipeline scheduling. J. Syst. Softw. 81(3): 307-327 (2008) - [c52]Marcelo M. Camanho, Angelo E. M. Ciarlini, António L. Furtado, Cesar Tadeu Pozzer, Bruno Feijó:
Conciliating coherence and high responsiveness in interactive storytelling. DIMEA 2008: 427-434 - [c51]António L. Furtado, Marco A. Casanova, Simone Diniz Junqueira Barbosa, Karin Koogan Breitman:
Analysis and Reuse of Plots Using Similarity and Analogy. ER 2008: 355-368 - [c50]Marco A. Casanova, Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, António L. Furtado:
Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy. ICEIS (3-2) 2008: 43-48 - [c49]Angelo E. M. Ciarlini, Marcelo M. Camanho, Thiago R. Dória, António L. Furtado, Cesar Tadeu Pozzer, Bruno Feijó:
Planning and Interaction Levels for TV Storytelling. ICIDS 2008: 198-209 - [c48]Luiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, António L. Furtado:
Database Mediation Using Multi-agent Systems. SEW 2008: 125-133 - 2007
- [j27]Abílio Fernandes, Angelo E. M. Ciarlini, António L. Furtado, Michael G. Hinchey, Marco A. Casanova, Karin Koogan Breitman:
Adding flexibility to workflows through incremental planning. Innov. Syst. Softw. Eng. 3(4): 291-302 (2007) - [c47]Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado:
Conceptual modeling by analogy and metaphor. CIKM 2007: 865-868 - [c46]Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, António L. Furtado, Michael G. Hinchey:
Using Analogy to Promote Conceptual Modeling Reuse. ISoLA 2007: 111-122 - [c45]Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, António L. Furtado, Marco A. Casanova:
Similarity and Analogy over Application Domains. SBBD 2007: 238-252 - 2006
- [c44]Abílio Fernandes, Karin Koogan Breitman, Tatiana Almeida S. C. Vieira, Marco A. Casanova, António L. Furtado:
Semi-automated Workflow Synthesis. ISoLA 2006: 332-334 - 2005
- [c43]Angelo E. M. Ciarlini, Cesar Tadeu Pozzer, António L. Furtado, Bruno Feijó:
A logic-based tool for interactive generation and dramatization of stories. Advances in Computer Entertainment Technology 2005: 133-140 - 2004
- [c42]António L. Furtado:
Narratives over Real-life and Fictional Domains. SBBD 2004: 4-12 - 2003
- [c41]Angelo E. M. Ciarlini, António L. Furtado:
Towards a Plan-based Learning Environment. PGLDB 2003 - 2002
- [j26]António L. Furtado, Angelo E. M. Ciarlini:
Cognitive and affective Motivation in Conceptual Modelling. Rev. Colomb. de Computación 3(2) (2002) - [c40]Angelo E. M. Ciarlini, António L. Furtado:
Understanding and Simulating Narratives in the Context of Information Systems. ER 2002: 291-306 - 2001
- [c39]António L. Furtado, Angelo E. M. Ciarlini:
Constructing Libraries of Typical Plans. CAiSE 2001: 124-139 - 2000
- [c38]Angelo E. M. Ciarlini, Paulo A. S. Veloso, António L. Furtado:
A Formal Framework for Modelling at the Behavioural Level. EJC 2000: 107-122 - [c37]António L. Furtado, Angelo E. M. Ciarlini:
Generating Narratives from Plots Using Schema Information. NLDB 2000: 17-29
1990 – 1999
- 1999
- [j25]Angelo E. M. Ciarlini, António L. Furtado:
Interactive multistage simulation of goal-driven agents. J. Braz. Comput. Soc. 6(2) (1999) - [c36]Angelo E. M. Ciarlini, António L. Furtado:
Simulating the Intertaction of Database Agents. DEXA 1999: 499-510 - [c35]António L. Furtado, Angelo E. M. Ciarlini:
Operational Characterization of Genre in Literary and Real-life Domains. ER 1999: 460-474 - [c34]Angelo E. M. Ciarlini, António L. Furtado:
Interactive Multistage Simulation of Goal-Driven Agents. SBBD 1999: 73-87 - 1998
- [c33]Galeno J. de Sena, António L. Furtado:
Towards a Cooperative Question-Answering Model. FQAS 1998: 354-365 - 1997
- [c32]António L. Furtado, Angelo E. M. Ciarlini:
Plots of Narratives over Temporal Databases. DEXA Workshop 1997: 590-595 - [c31]António L. Furtado:
Narratives and Temporal Databases: An Interdisciplinary Perspective. Conceptual Modeling 1997: 73-86 - 1996
- [c30]José Helano Matos Nogueira, António L. Furtado, José de Jesús Pérez Alcázar:
A Hybrid Formal Theory of Plan Recognition and Its Implementation. SBIA 1996: 31-40 - 1994
- [c29]Karl Aberer, Wolfgang Klas, António L. Furtado:
Designing a User-Oriented Query Modification Facility in Object-Oriented Database Systems. CAiSE 1994: 380-393 - 1993
- [j24]Andrea S. Hemerly, Marco A. Casanova, António L. Furtado:
Avoiding Misconstruals in Database Systems: A Default Logic Approach. IEEE Trans. Knowl. Data Eng. 5(6): 994-996 (1993) - [c28]Andrea S. Hemerly, António L. Furtado, Marco A. Casanova:
Towards Cooperativeness in Geographic Databases. DEXA 1993: 373-376 - 1992
- [j23]António L. Furtado:
Analogy by generalization - and the quest of the grail. ACM SIGPLAN Notices 27(1): 105-113 (1992) - [c27]Marco A. Casanova, Andrea S. Hemerly, António L. Furtado:
A Declarative Conceptual Modelling Language: Description and Example Applications. CAiSE 1992: 589-611 - 1991
- [j22]Marco A. Casanova, António L. Furtado, Luiz Tucherman:
A Software Tool for Modular Database Design. ACM Trans. Database Syst. 16(2): 209-234 (1991) - [c26]Andrea S. Hemerly, Marco A. Casanova, António L. Furtado:
Cooperative Behavior Through Request Modification. ER 1991: 607-621 - 1990
- [j21]Luiz Tucherman, Marco A. Casanova, António L. Furtado:
The CHRIS consultant-a tool for database design and rapid prototyping. Inf. Syst. 15(2): 187-195 (1990) - [c25]António L. Furtado, Marco A. Casanova:
Plan and Schedule Generation over Temporal Databases. ER 1990: 235-248
1980 – 1989
- 1989
- [c24]Marco A. Casanova, Luiz Tucherman, António L. Furtado, Anelise P. Braga:
Optimization of Relational Schemas Containing Inclusion Dependencies. VLDB 1989: 317-325 - 1988
- [j20]Marco A. Casanova, António L. Furtado:
String Pattern-Matching in Prolog. Comput. Lang. 13(3/4): 149-170 (1988) - [j19]António L. Furtado:
Towards functional programming in Prolog. ACM SIGPLAN Notices 23(3): 43-52 (1988) - [j18]António L. Furtado, Paulo A. S. Veloso:
Iteration for applicative languages. ACM SIGPLAN Notices 23(12): 86-94 (1988) - [c23]Luiz Tucherman, António L. Furtado:
Update-Oriented Database Structures. Expert Database Conf. 1988: 185-203 - [c22]Marco A. Casanova, Luiz Tucherman, António L. Furtado:
Enforcing Inclusion Dependencies and Referencial Integrity. VLDB 1988: 38-49 - 1987
- [c21]António L. Furtado, Marco A. Casanova, Luiz Tucherman:
The CHRIS Consultant. ER 1987: 515-532 - 1986
- [c20]António L. Furtado, Marco A. Casanova, Luiz Tucherman:
Transforming Constraints into Logic Programs: A Case Study. DS-2 1986: 137-149 - [c19]António L. Furtado, Marco A. Casanova, Luiz Tucherman:
A Framework for Design/Redesign Experts. Expert Database Conf. 1986: 423-438 - [p2]Paulo A. S. Veloso, António L. Furtado:
Towards simpler and yet complete formal specificapions. Trends in Information Systems 1986: 257-271 - 1985
- [j17]António L. Furtado, T. S. E. Maibaum:
An Informal Approach to Formal (Algebraic) Specifications. Comput. J. 28(1): 59-67 (1985) - [c18]Paulo A. S. Veloso, António L. Furtado:
Towards Simpler and Yet Complete Formal Specifications. TFAIS 1985: 174-188 - [c17]Luiz Tucherman, António L. Furtado, Marco A. Casanova:
A Tool for Modular Database Design. VLDB 1985: 436-447 - [p1]António L. Furtado, Marco A. Casanova:
Updating Relational Views. Query Processing in Database Systems 1985: 127-142 - 1984
- [j16]