| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Antonio L. Furtado Angelo E. M. Ciarlini , Antonio L. Furtado: Towards a Plan-based Learning Environment. PGLDB 2003 Angelo E. M. Ciarlini , Antonio L. Furtado: Understanding and Simulating Narratives in the Context of Information Systems. ER 2002 : 291-306 Antonio L. Furtado, Angelo E. M. Ciarlini : Cognitive and affective Motivation in Conceptual Modelling. Revista Comlombiana de Computación 3 (2): (2002) Antonio L. Furtado, Angelo E. M. Ciarlini : Constructing Libraries of Typical Plans. CAiSE 2001 : 124-139 Angelo E. M. Ciarlini , Paulo A. S. Veloso , Antonio L. Furtado: A Formal Framework for Modelling at the Behavioural Level. EJC 2000 : 107-122 Antonio L. Furtado, Angelo E. M. Ciarlini : Generating Narratives from Plots Using Schema Information. NLDB 2000 : 17-29 Angelo E. M. Ciarlini , Antonio L. Furtado: Simulating the Intertaction of Database Agents. DEXA 1999 : 499-510 Antonio L. Furtado, Angelo E. M. Ciarlini : Operational Characterization of Genre in Literary and Real-life Domains. ER 1999 : 460-474 Angelo E. M. Ciarlini , Antonio L. Furtado: Interactive Multistage Simulation of Goal-Driven Agents. SBBD 1999 : 73-87 Angelo E. M. Ciarlini , Antonio L. Furtado: Interactive multistage simulation of goal-driven agents. J. Braz. Comp. Soc. 6 (2): (1999) Galeno J. de Sena , Antonio L. Furtado: Towards a Cooperative Question-Answering Model. FQAS 1998 : 354-365 Antonio L. Furtado: Narratives and Temporal Databases: An Interdisciplinary Perspective. Conceptual Modeling 1997 : 73-86 Antonio L. Furtado, Angelo E. M. Ciarlini : Plots of Narratives over Temporal Databases. DEXA Workshop 1997 : 590-595 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 Karl Aberer , Wolfgang Klas , Antonio L. Furtado: Designing a User-Oriented Query Modification Facility in Object-Oriented Database Systems CAiSE 1994 : 380-393 Andrea S. Hemerly , Antonio L. Furtado, Marco A. Casanova : Towards Cooperativeness in Geographic Databases. DEXA 1993 : 373-376 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) Marco A. Casanova , Andrea S. Hemerly , Antonio L. Furtado: A Declarative Conceptual Modelling Language: Description and Example Applications. CAiSE 1992 : 589-611 Antonio L. Furtado: Analogy by generalization - and the quest of the grail. SIGPLAN Notices 27 (1): 105-113 (1992) Andrea S. Hemerly , Marco A. Casanova , Antonio L. Furtado: Cooperative Behavior Through Request Modification. ER 1991 : 607-621 Marco A. Casanova , Antonio L. Furtado, L. Tuckerman : A Software Tool for Modular Database Design. ACM Trans. Database Syst. 16 (2): 209-234 (1991) Antonio L. Furtado, Marco A. Casanova : Plan and Schedule Generation over Temporal Databases. ER 1990 : 235-248 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) Marco A. Casanova , Luiz Tucherman , Antonio L. Furtado, Anelise P. Braga : Optimization of Relational Schemas Containing Inclusion Dependencies. VLDB 1989 : 317-325 Luiz Tucherman , Antonio L. Furtado: Update-Oriented Database Structures. Expert Database Conf. 1988 : 185-203 Marco A. Casanova , Luiz Tucherman , Antonio L. Furtado: Enforcing Inclusion Dependencies and Referencial Integrity. VLDB 1988 : 38-49 Marco A. Casanova , Antonio L. Furtado: String Pattern-Matching in Prolog. Comput. Lang. 13 (3/4): 149-170 (1988) Antonio L. Furtado, Paulo A. S. Velosa : Iteration for applicative languages. SIGPLAN Notices 23 (12): 86-94 (1988) Antonio L. Furtado: Towards functional programming in Prolog. SIGPLAN Notices 23 (3): 43-52 (1988) Antonio L. Furtado, Marco A. Casanova , Luiz Tucherman : The CHRIS Consultant. ER 1987 : 515-532 Antonio L. Furtado, Marco A. Casanova , Luiz Tucherman : Transforming Constraints into Logic Programs: A Case Study. DS-2 1986 : 137-149 Antonio L. Furtado, Marco A. Casanova , Luiz Tucherman : A Framework for Design/Redesign Experts. Expert Database Conf. 1986 : 423-438 Paulo A. S. Veloso , Antonio L. Furtado: Towards Simpler and Yet Complete Formal Specifications TFAIS 1985 : 174-188 Luiz Tucherman , Antonio L. Furtado, Marco A. Casanova : A Tool for Modular Database Design. VLDB 1985 : 436-447 Antonio L. Furtado, Marco A. Casanova : Updating Relational Views. Query Processing in Database Systems 1985 : 127-142 Antonio L. Furtado, T. S. E. Maibaum : An Informal Approach to Formal (Algebraic) Specifications. Comput. J. 28 (1): 59-67 (1985) Antonio L. Furtado, C. M. O. Moura : Expert Helpers to Data-Based Information Systems. Expert Database Workshop 1984 : 581-596 Marco A. Casanova , Paulo A. S. Veloso , Antonio L. Furtado: Formal Data Base Specification - An Eclectic Perspective. PODS 1984 : 110-118 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) Antonio L. Furtado: An Informal Approach to Formal Specifications. SIGMOD Record 14 (1): 45-54 (1984) Paulo A. S. Veloso , Antonio L. Furtado: View Constructs for the Specification and Design of External Schemas. ER 1983 : 637-650 Antonio L. Furtado, Paulo A. S. Veloso , Marco A. Casanova : A Grammatical Approach to Data Bases. IFIP Congress 1983 : 705-710 Luiz Tucherman , Antonio L. Furtado, Marco A. Casanova : A Pragmatic Approach to Structured Database Design. VLDB 1983 : 219-231 Antonio L. Furtado: An Informal Approach to Formal Specifications. SIGMOD Record 13 (3): 32-41 (1983) Marco A. Casanova , Antonio L. Furtado: On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982 : 211-236 Paulo A. S. Veloso , Antonio L. Furtado: Stepwise Construction of Algebraic Specifications. Advances in Data Base Theory 1982 : 321-352 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 José Mauro V. de Castilho , Marco A. Casanova , Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982 : 280-291 Antonio L. Furtado, Paulo A. S. Veloso , José Mauro V. de Castilho : Verification and Testing of S-ER Representations. ER 1981 : 123-147 Paulo A. S. Veloso , José Mauro V. de Castilho , Antonio L. Furtado: Systematic Derivation of Complementary Specifications VLDB 1981 : 409-421 Antonio L. Furtado, Clesio Saraiva dos Santos , José Mauro V. de Castilho : Dynamic modelling of a simple existence constraint. Inf. Syst. 6 (1): 73-80 (1981) Antonio L. Furtado: Horizontal Decomposition to Improve a Non-BCNF Scheme. SIGMOD Record 12 (1): 26-32 (1981) Clesio Saraiva dos Santos , Antonio L. Furtado, José Mauro V. de Castilho , Sergio E. R. de Carvalho : Towards Constructive Axiomatic Specifications. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980 : 183-185 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 Clesio Saraiva dos Santos , Erich J. Neuhold , Antonio L. Furtado: A Data Type Approach to the Entity-Relationship Approach. ER 1979 : 103-119 Antonio L. Furtado, Kenneth C. Sevcik , Clesio Saraiva dos Santos : Permitting updates through views of data bases. Inf. Syst. 4 (4): 269-283 (1979) Antonio L. Furtado: Transformations of Data Base Structures. Graph-Grammars and Their Application to Computer Science and Biology 1978 : 224-236 P. B. Barroso , Antonio L. Furtado: Implementing a Data Definition Facility Driven by Graph Grammars. Comput. Lang. 3 (2): 65-74 (1978) Antonio L. Furtado: Formal aspects of the relational model. Inf. Syst. 3 (2): 131-140 (1978) Antonio L. Furtado, Larry Kerschberg : An Algebra of Quotient Relations. SIGMOD Conference 1977 : 1-8 S. I. Roschke , Antonio L. Furtado: An Algorithm for Obtaining the Chromatic Number and an Optimal Coloring of a Graph. Inf. Process. Lett. 2 (2): 34-38 (1973) 1 [ 47 ] 2 [ 48 ] 3 [ 4 ] 4 [ 38 ] 5 [ 9 ] 6 [ 14 ] [ 17 ] [ 19 ] [ 20 ] [ 23 ] [ 24 ] [ 27 ] [ 28 ] [ 30 ] [ 31 ] [ 32 ] [ 35 ] [ 36 ] [ 38 ] [ 39 ] [ 40 ] [ 41 ] [ 42 ] [ 44 ] [ 45 ] [ 46 ] 7 [ 9 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] 8 [ 49 ] [ 52 ] [ 53 ] [ 54 ] [ 55 ] [ 56 ] [ 57 ] [ 58 ] [ 59 ] [ 60 ] [ 61 ] 9 [ 42 ] [ 44 ] [ 45 ] [ 46 ] 10 [ 2 ] 11 [ 47 ] 12 [ 26 ] 13 [ 8 ] 14 [ 25 ] 15 [ 7 ] [ 23 ] 16 [ 48 ] 17 [ 1 ] 18 [ 6 ] [ 7 ] [ 9 ] [ 11 ] 19 [ 23 ] 20 [ 51 ] 21 [ 6 ] 22 [ 19 ] [ 28 ] [ 30 ] [ 31 ] [ 32 ] [ 36 ] [ 37 ] [ 38 ] [ 39 ] 23 [ 41 ] 24 [ 34 ] 25 [ 12 ] [ 13 ] [ 15 ] [ 16 ] [ 20 ] [ 21 ] [ 24 ] [ 29 ] [ 57 ]  ©2004 Association for Computing Machinery |
