Search dblp for Publications

export results for "toc:db/conf/tfais/tfais85.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tfais/AndersonC85,
  author    = {T. Lougenia Anderson and
               B. B. Claghorn},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {{ADE:} Mapping between the External and Conceptual Levels},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {34--48},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 14:27:38 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/AndersonC85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/BracchiP85,
  author    = {Giampio Bracchi and
               Barbara Pernici},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {Specification of Control Aspects in Office Information Systems},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {208--221},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/BracchiP85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/Carmo85,
  author    = {Jos{\'{e}} Carmo},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {The {INFOLOG} Branching Logic of Events},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {158--173},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/Carmo85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/DemoLG85,
  author    = {G. Barbara Demo and
               Antonio Di Leva and
               Piercarlo Giolito},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {An Entity-Relationship Query Language},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {19--33},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/DemoLG85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/FlintL85,
  author    = {Randell S. Flint and
               Nancy G. Leveson},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {The {PAMS} Approach to Modeling Database Activity},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {222--236},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/FlintL85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/HorndaschSY85,
  author    = {Angelika Horndasch and
               Rudi Studer and
               Ramin Yasdi},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {An Approach to Conceptual Schema Design of Information Systems},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {116--129},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/HorndaschSY85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/Jansson85,
  author    = {Carl Gustaf Jansson},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {A Framework for Representation},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {130--144},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/Jansson85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/Kung85,
  author    = {C. Kung},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {A Tableaux Approach for Consistency Checking},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {189--207},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/Kung85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/LipeckEG85,
  author    = {Udo W. Lipeck and
               Hans{-}Dieter Ehrich and
               Martin Gogolla},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {Specifying Admissibility of Dynamic Database Behaviour Using Temporal
               Logic},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {145--157},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/LipeckEG85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/MarkR85,
  author    = {Leo Mark and
               Nick Roussopoulos},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {The New Database Architecture Framework - {A} Progress Report},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {1--18},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/MarkR85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/Morgenstern85,
  author    = {Matthew Morgenstern},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {Connections among Application Based Objects in Directed Edge-Labelled
               Hypergraphs},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {79--99},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/Morgenstern85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/Pletat85,
  author    = {Udo Pletat},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {A Graphtheoretic Semantics for Semantic Data Models},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {100--115},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/Pletat85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/Richter85,
  author    = {Gernot Richter},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {Clocks and their Use for Time Modeling},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {49--66},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/Richter85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/Schiel85,
  author    = {Ulrich Schiel},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {Time and Space in Information Systems},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {67--78},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/Schiel85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/VelosoF85,
  author    = {Paulo A. S. Veloso and
               Antonio L. Furtado},
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {Towards Simpler and Yet Complete Formal Specifications},
  booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  pages     = {174--188},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/VelosoF85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tfais/1985,
  editor    = {Am{\'{\i}}lcar Sernadas and
               Janis A. Bubenko Jr. and
               Antoni Oliv{\'{e}}},
  title     = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
               Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
               16-18 April 1985},
  publisher = {Elsevier/North-Holland},
  year      = {1985},
  isbn      = {0-444-87706-1},
  timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tfais/1985.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics