


Остановите войну!
for scientists:
Antonio L. Furtado
Antonio Luz Furtado
Person information

- affiliation: Pontifical Catholic University of Rio de Janeiro, Brazil
- award: Peter P. Chen Award, 2014
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [c88]Edirlei Soares de Lima
, Bruno Feijó
, Antonio L. Furtado
:
Computational Narrative Blending Based on Planning. ICEC 2021: 289-303 - [c87]Edirlei Soares de Lima
, Bruno Feijó, Antonio L. Furtado:
Adaptive Branching Quests Based on Automated Planning and Story Arcs. SBGames 2021: 9-18 - 2020
- [j41]Edirlei Soares de Lima
, Bruno Feijó, Antonio 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, Antonio 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
, Antonio 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ó, Antonio L. Furtado:
Procedural Generation of Quests for Games Using Genetic Algorithms and Automated Planning. SBGames 2019: 144-153 - 2018
- [j40]Edirlei Soares de Lima
, Bruno Feijó, Antonio L. Furtado:
Player behavior and personality modeling for interactive storytelling in games. Entertain. Comput. 28: 32-48 (2018) - [j39]Edirlei Soares de Lima
, Bruno Feijó, Antonio L. Furtado:
Video-based interactive storytelling using real-time video compositing techniques. Multim. Tools Appl. 77(2): 2333-2357 (2018) - [j38]Antonio 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ó, Antonio 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, Antonio 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, Antonio 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ó, Antonio L. Furtado:
Network Traversal as an Aid to Plot Analysis and Composition. SBGames 2017: 144-154 - 2016
- [j37]Edirlei Soares de Lima
, Bruno Feijó, Marco Antonio Casanova, Antonio L. Furtado:
Storytelling variants based on semiotic relations. Entertain. Comput. 17: 31-44 (2016) - 2015
- [c79]Edirlei Soares de Lima
, Antonio L. Furtado, Bruno Feijó:
Storytelling Variants: The Case of Little Red Riding Hood. ICEC 2015: 286-300 - 2014
- [j36]Simone D. J. Barbosa
, Fabio A. Guilherme da Silva, Antonio L. Furtado, Marco A. Casanova:
Plot Generation with Character-Based Decisions. Comput. Entertain. 12(3): 2:1-2:21 (2014) - [j35]Edirlei Soares de Lima
, Bruno Feijó, Simone D. J. Barbosa
, Antonio 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) - [j34]Helena Piccinini, Marco A. Casanova
, Luiz André P. Paes Leme
, Antonio L. Furtado:
Publishing deep web geographic data. GeoInformatica 18(4): 769-792 (2014) - [c78]Edirlei Soares de Lima
, Bruno Feijó, Antonio L. Furtado:
Hierarchical generation of dynamic and nondeterministic quests in games. Advances in Computer Entertainment 2014: 24:1-24:10 - [c77]Antonio L. Furtado, Marco A. Casanova, Simone Diniz Junqueira Barbosa
:
A Semiotic Approach to Conceptual Modelling. ER 2014: 1-12 - [c76]Börje F. Karlsson, Antonio 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ó, Antonio Luz Furtado:
Building Keyword-Indexed Virtual Libraries in a Logic Programming Environment. WebMedia 2014: 75-82 - 2013
- [c74]Edirlei Soares de Lima
, Bruno Feijó, Antonio 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, Antonio 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
- [j33]Marco Antonio Casanova, Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, Antonio 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, Antonio 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
, Antonio L. Furtado, Fabio A. Guilherme da Silva:
Social Interaction for Interactive Storytelling. ICEC 2012: 1-15 - [c70]Fabio A. Guilherme da Silva, Antonio 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ó, Antonio 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
, Antonio 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
, Antonio L. Furtado:
Operations over Lightweight Ontologies. OTM Conferences (2) 2012: 646-663 - [p3]Marco A. Casanova, Karin Koogan Breitman
, Antonio 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
, Antonio 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, Antonio 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, Antonio L. Furtado, Angelo E. M. Ciarlini, Cesar Tadeu Pozzer:
Multimodal, Multi-user and Adaptive Interaction for Interactive Storytelling Applications. SBGames 2011: 206-214 - 2010
- [j32]Marco A. Casanova
, Tanara Lauschner, Luiz André P. Paes Leme
, Karin Koogan Breitman
, Antonio L. Furtado, Vânia Maria Ponte Vidal:
Revising the constraints of lightweight mediated schemas. Data Knowl. Eng. 69(12): 1274-1301 (2010) - [j31]Luiz André P. Paes Leme
, Marco A. Casanova
, Karin Koogan Breitman
, Antonio L. Furtado:
OWL schema matching. J. Braz. Comput. Soc. 16(1): 21-34 (2010) - [j30]Angelo E. M. Ciarlini, Marco A. Casanova
, Antonio 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
, Antonio L. Furtado, Vânia Maria Ponte Vidal:
Modeling the Mediated Schema Constraints. ECBS 2010: 393-402 - [c62]Helena Piccinini, Melissa Lemos, Marco A. Casanova
, Antonio L. Furtado:
W-Ray: A Strategy to Publish Deep Web Geographic Data. ER Workshops 2010: 2-11 - [c61]Simone Diniz Junqueira Barbosa
, Antonio L. Furtado, Marco A. Casanova
:
A Decision-Making Process for Digital Storytelling. SBGames 2010: 1-11 - [c60]Edirlei Everson Soares de Lima
, Bruno Feijó, Antonio 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
- [j29]Angelo E. M. Ciarlini, Simone Diniz Junqueira Barbosa
, Marco A. Casanova
, Antonio 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ó, Antonio L. Furtado:
Virtual cinematography director for interactive storytelling. Advances in Computer Entertainment Technology 2009: 263-270 - [c58]Antonio 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
, Antonio 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
, Antonio L. Furtado:
Instance-Based OWL Schema Matching. ICEIS 2009: 14-26 - [c55]Börje F. Karlsson, Simone Diniz Junqueira Barbosa
, Antonio 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ó, Antonio 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, Antonio Luz Furtado, Bruno Feijó, Cesar Tadeu Pozzer:
A Model for Interactive TV Storytelling. SBGames 2009: 197-206 - 2008
- [j28]Melissa Lemos, Marco A. Casanova
, Antonio L. Furtado:
Process pipeline scheduling. J. Syst. Softw. 81(3): 307-327 (2008) - [c52]Marcelo M. Camanho, Angelo E. M. Ciarlini, Antonio L. Furtado, Cesar Tadeu Pozzer, Bruno Feijó:
Conciliating coherence and high responsiveness in interactive storytelling. DIMEA 2008: 427-434 - [c51]Antonio 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, Antonio 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, Antonio 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
, Antonio L. Furtado:
Database Mediation Using Multi-agent Systems. SEW 2008: 125-133 - 2007
- [j27]Abílio Fernandes, Angelo E. M. Ciarlini, Antonio 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
, Antonio L. Furtado:
Conceptual modeling by analogy and metaphor. CIKM 2007: 865-868 - [c46]Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Antonio L. Furtado, Michael G. Hinchey:
Using Analogy to Promote Conceptual Modeling Reuse. ISoLA 2007: 111-122 - [c45]Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, Antonio 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
, Antonio L. Furtado:
Semi-automated Workflow Synthesis. ISoLA 2006: 332-334 - 2005
- [c43]Angelo E. M. Ciarlini, Cesar Tadeu Pozzer, Antonio 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]Antonio L. Furtado:
Narratives over Real-life and Fictional Domains. SBBD 2004: 4-12 - 2003
- [c41]Angelo E. M. Ciarlini, Antonio L. Furtado:
Towards a Plan-based Learning Environment. PGLDB 2003 - 2002
- [j26]Antonio 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, Antonio L. Furtado:
Understanding and Simulating Narratives in the Context of Information Systems. ER 2002: 291-306 - 2001
- [c39]Antonio 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, Antonio L. Furtado:
A Formal Framework for Modelling at the Behavioural Level. EJC 2000: 107-122 - [c37]Antonio 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, Antonio L. Furtado:
Interactive multistage simulation of goal-driven agents. J. Braz. Comput. Soc. 6(2) (1999) - [c36]Angelo E. M. Ciarlini, Antonio L. Furtado:
Simulating the Intertaction of Database Agents. DEXA 1999: 499-510 - [c35]Antonio 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, Antonio L. Furtado:
Interactive Multistage Simulation of Goal-Driven Agents. SBBD 1999: 73-87 - 1998
- [c33]Galeno J. de Sena, Antonio L. Furtado:
Towards a Cooperative Question-Answering Model. FQAS 1998: 354-365 - 1997
- [c32]Antonio L. Furtado, Angelo E. M. Ciarlini:
Plots of Narratives over Temporal Databases. DEXA Workshop 1997: 590-595 - [c31]Antonio L. Furtado:
Narratives and Temporal Databases: An Interdisciplinary Perspective. Conceptual Modeling 1997: 73-86 - 1996
- [c30]José Helano Matos Nogueira, Antonio 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, Antonio 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
, Antonio 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, Antonio L. Furtado, Marco A. Casanova:
Towards Cooperativeness in Geographic Databases. DEXA 1993: 373-376 - 1992
- [j23]Antonio 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, Antonio L. Furtado:
A Declarative Conceptual Modelling Language: Description and Example Applications. CAiSE 1992: 589-611 - 1991
- [j22]Marco A. Casanova
, Antonio 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, Antonio L. Furtado:
Cooperative Behavior Through Request Modification. ER 1991: 607-621 - 1990
- [j21]Luiz Tucherman, Marco A. Casanova, Antonio L. Furtado:
The CHRIS consultant-a tool for database design and rapid prototyping. Inf. Syst. 15(2): 187-195 (1990) - [c25]Antonio 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, Antonio L. Furtado, Anelise P. Braga:
Optimization of Relational Schemas Containing Inclusion Dependencies. VLDB 1989: 317-325 - 1988
- [j20]Marco A. Casanova, Antonio L. Furtado:
String Pattern-Matching in Prolog. Comput. Lang. 13(3/4): 149-170 (1988) - [j19]Antonio L. Furtado:
Towards functional programming in Prolog. ACM SIGPLAN Notices 23(3): 43-52 (1988) - [j18]Antonio L. Furtado, Paulo A. S. Veloso:
Iteration for applicative languages. ACM SIGPLAN Notices 23(12): 86-94 (1988) - [c23]Luiz Tucherman, Antonio L. Furtado:
Update-Oriented Database Structures. Expert Database Conf. 1988: 185-203 - [c22]Marco A. Casanova, Luiz Tucherman, Antonio L. Furtado:
Enforcing Inclusion Dependencies and Referencial Integrity. VLDB 1988: 38-49 - 1987
- [c21]Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman:
The CHRIS Consultant. ER 1987: 515-532 - 1986
- [c20]Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman:
Transforming Constraints into Logic Programs: A Case Study. DS-2 1986: 137-149 - [c19]Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman:
A Framework for Design/Redesign Experts. Expert Database Conf. 1986: 423-438 - [p2]Paulo A. S. Veloso, Antonio L. Furtado:
Towards simpler and yet complete formal specificapions. Trends in Information Systems 1986: 257-271 - 1985
- [j17]Antonio 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, Antonio L. Furtado:
Towards Simpler and Yet Complete Formal Specifications. TFAIS 1985: 174-188 - [c17]Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova:
A Tool for Modular Database Design. VLDB 1985: 436-447 - [p1]Antonio L. Furtado, Marco A. Casanova:
Updating Relational Views. Query Processing in Database Systems 1985: 127-142 - 1984
- [j16]Ulrich Schiel, Antonio L. Furtado, Erich J. Neuhold, Marco A. Casanova:
Towards multi-level and modular conceptual schema specifications. Inf. Syst. 9(1): 43-57 (1984) - [j15]Antonio L. Furtado:
An Informal Approach to Formal Specifications. SIGMOD Rec. 14(1): 45-54 (1984) - [j14]Antonio L. Furtado:
Generalized set comparison. ACM SIGPLAN Notices 19(9): 12-15 (1984) - [c16]Antonio 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, Antonio L. Furtado:
Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118 - 1983
- [j13]Antonio L. Furtado:
An Informal Approach to Formal Specifications. SIGMOD Rec. 13(3): 32-41 (1983) - [j12]Paulo A. S. Veloso, Antonio L. Furtado:
Multi-level specifications based on traces. ACM SIGSOFT Softw. Eng. Notes 8(1): 17-19 (1983) - [c14]Paulo A. S. Veloso, Antonio L. Furtado:
View Constructs for the Specification and Design of External Schemas. ER 1983: 637-650 - [c13]Antonio L. Furtado, Paulo A. S. Veloso, Marco A. Casanova:
A Grammatical Approach to Data Bases. IFIP Congress 1983: 705-710 - [c12]Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova:
A Pragmatic Approach to Structured Database Design. VLDB 1983: 219-231 - 1982
- [j11]Antonio 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, Antonio 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, Antonio L. Furtado:
Stepwise Construction of Algebraic Specifications. Advances in Data Base Theory 1982: 321-352 - [c9]Antonio 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, Antonio 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, Antonio L. Furtado:
A Temporal Framework for Database Specifications. VLDB 1982: 280-291 - 1981
- [j10]C. S. dos Santos, T. S. E. Maibaum, Antonio L. Furtado:
Conceptual modeling of data base operations. Int. J. Parallel Program. 10(5): 299-314 (1981) - [j9]Antonio 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]Antonio L. Furtado:
Horizontal Decomposition to Improve a Non-BCNF Scheme. SIGMOD Rec. 12(1): 26-32 (1981) - [j7]Antonio L. Furtado, Paulo A. S. Veloso:
Procedural specifications and implementations for abstract data types. ACM SIGPLAN Notices 16(3): 53-62 (1981) - [c6]Antonio 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, Antonio L. Furtado:
Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421 - 1980
- [c4]Clesio Saraiva dos Santos, Antonio 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, Antonio L. Furtado:
Data schemata based on directed graphs. Int. J. Parallel Program. 8(1): 39-73 (1979) - [j5]Antonio 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, Antonio L. Furtado:
A Data Type Approach to the Entity-Relationship Approach. ER 1979: 103-119 - [e1]Antonio 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, Antonio L. Furtado:
Implementing a Data Definition Facility Driven by Graph Grammars. Comput. Lang. 3(2): 65-74 (1978) - [j3]