default search action
António L. 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
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]Ulrich Schiel, António L. Furtado, Erich J. Neuhold, Marco A. Casanova:
Towards multi-level and modular conceptual schema specifications. Inf. Syst. 9(1): 43-57 (1984) - [j15]António L. Furtado:
An Informal Approach to Formal Specifications. SIGMOD Rec. 14(1): 45-54 (1984) - [j14]António L. Furtado:
Generalized set comparison. ACM SIGPLAN Notices 19(9): 12-15 (1984) - [c16]António L. Furtado, C. M. O. Moura:
Expert Helpers to Data-Based Information Systems. Expert Database Workshop 1984: 581-596 - [c15]Marco A. Casanova, Paulo A. S. Veloso, António L. Furtado:
Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118 - 1983
- [j13]António L. Furtado:
An Informal Approach to Formal Specifications. SIGMOD Rec. 13(3): 32-41 (1983) - [j12]Paulo A. S. Veloso, António L. Furtado:
Multi-level specifications based on traces. ACM SIGSOFT Softw. Eng. Notes 8(1): 17-19 (1983) - [c14]Paulo A. S. Veloso, António L. Furtado:
View Constructs for the Specification and Design of External Schemas. ER 1983: 637-650 - [c13]António L. Furtado, Paulo A. S. Veloso, Marco A. Casanova:
A Grammatical Approach to Data Bases. IFIP Congress 1983: 705-710 - [c12]Luiz Tucherman, António L. Furtado, Marco A. Casanova:
A Pragmatic Approach to Structured Database Design. VLDB 1983: 219-231 - 1982
- [j11]António L. Furtado, A. A. B. Furtado, F. A. Messeder:
Instructional graphics packages to be used with a line printer. ACM SIGCSE Bull. 14(4): 12-15 (1982) - [c11]Marco A. Casanova, António L. Furtado:
On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982: 211-236 - [c10]Paulo A. S. Veloso, António L. Furtado:
Stepwise Construction of Algebraic Specifications. Advances in Data Base Theory 1982: 321-352 - [c9]António L. Furtado, Paulo A. S. Veloso:
Specification of data bases through rewriting rules. Graph-Grammars and Their Application to Computer Science 1982: 102-114 - [c8]Marco A. Casanova, José Mauro Volkmer de Castilho, António Luz Furtado:
Properties of Conceptual and External Database Schemas. Formal Description of Programming Concepts 1982: 409-430 - [c7]José Mauro Volkmer de Castilho, Marco A. Casanova, António L. Furtado:
A Temporal Framework for Database Specifications. VLDB 1982: 280-291 - 1981
- [j10]Clesio Saraiva dos Santos, T. S. E. Maibaum, António L. Furtado:
Conceptual modeling of data base operations. Int. J. Parallel Program. 10(5): 299-314 (1981) - [j9]António L. Furtado, Clesio Saraiva dos Santos, José Mauro Volkmer de Castilho:
Dynamic modelling of a simple existence constraint. Inf. Syst. 6(1): 73-80 (1981) - [j8]António L. Furtado:
Horizontal Decomposition to Improve a Non-BCNF Scheme. SIGMOD Rec. 12(1): 26-32 (1981) - [j7]António L. Furtado, Paulo A. S. Veloso:
Procedural specifications and implementations for abstract data types. ACM SIGPLAN Notices 16(3): 53-62 (1981) - [c6]António L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho:
Verification and Testing of S-ER Representations. ER 1981: 123-147 - [c5]Paulo A. S. Veloso, José Mauro Volkmer de Castilho, António L. Furtado:
Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421 - 1980
- [c4]Clesio Saraiva dos Santos, António L. Furtado, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho:
Towards Constructive Axiomatic Specifications. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 183-185
1970 – 1979
- 1979
- [j6]C. C. Gotlieb, António L. Furtado:
Data schemata based on directed graphs. Int. J. Parallel Program. 8(1): 39-73 (1979) - [j5]António L. Furtado, Kenneth C. Sevcik, Clesio Saraiva dos Santos:
Permitting updates through views of data bases. Inf. Syst. 4(4): 269-283 (1979) - [c3]Clesio Saraiva dos Santos, Erich J. Neuhold, António L. Furtado:
A Data Type Approach to the Entity-Relationship Approach. ER 1979: 103-119 - [e1]António L. Furtado, Howard L. Morgan:
Fifth International Conference on Very Large Data Bases, October 3-5, 1979, Rio de Janeiro, Brazil, Proceedings. IEEE Computer Society 1979 [contents] - 1978
- [j4]P. B. Barroso, António L. Furtado:
Implementing a Data Definition Facility Driven by Graph Grammars. Comput. Lang. 3(2): 65-74 (1978) - [j3]António L. Furtado:
Formal aspects of the relational model. Inf. Syst. 3(2): 131-140 (1978) - [c2]António L. Furtado:
Transformations of Data Base Structures. Graph-Grammars and Their Application to Computer Science and Biology 1978: 224-236 - 1977
- [c1]António L. Furtado, Larry Kerschberg:
An Algebra of Quotient Relations. SIGMOD Conference 1977: 1-8 - 1976
- [j2]António L. Furtado:
Characterizing sets of data structures by the connectivity relation. Int. J. Parallel Program. 5(2): 89-109 (1976) - 1973
- [j1]S. I. Roschke, António L. Furtado:
An Algorithm for Obtaining the Chromatic Number and an Optimal Coloring of a Graph. Inf. Process. Lett. 2(2): 34-38 (1973)
Coauthor Index
aka: Simone Diniz Junqueira Barbosa
aka: Karin Koogan Breitman
aka: Marco Antonio Casanova
aka: Angelo Ernani Maia Ciarlini
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint