BibTeX records: David Spelt

• > Home > Persons > David Spelt

@article{DBLP:journals/concurrency/SpeltE01,
  author       = {David Spelt and
                  Susan Even},
  title        = {Compensation methods to support cooperative applications: {A} case
                  study in automated verification of schema requirements for an advanced
                  transaction model},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {13},
  number       = {11},
  pages        = {1013--1032},
  year         = {2001},
  url          = {https://doi.org/10.1002/cpe.610},
  doi          = {10.1002/CPE.610},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/SpeltE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Spelt99,
  author       = {David Spelt},
  title        = {Verification Support for Object Database Design},
  school       = {University of Twente, Enschede, Netherlands},
  year         = {1999},
  url          = {http://purl.utwente.nl/publications/17908},
  timestamp    = {Mon, 13 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Spelt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoopw/EvenS99a,
  author       = {Susan Even and
                  David Spelt},
  editor       = {Ana M. D. Moreira and
                  Serge Demeyer},
  title        = {Compensation Methods to Support Generic Graph Editing: {A} Case Study
                  in Automated Verification of Schema Requirements for an Advanced Transaction
                  Model},
  booktitle    = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
                  Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1743},
  pages        = {216--217},
  publisher    = {Springer},
  year         = {1999},
  timestamp    = {Mon, 15 Jun 2020 17:08:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/EvenS99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/SpeltE99,
  author       = {David Spelt and
                  Susan Even},
  editor       = {Rance Cleaveland},
  title        = {A Theorem Prover-Based Analysis Tool for Object-Oriented Databases},
  booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, 5th
                  International Conference, {TACAS} '99, Held as Part of the European
                  Joint Conferences on the Theory and Practice of Software, ETAPS'99,
                  Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1579},
  pages        = {375--389},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49059-0\_26},
  doi          = {10.1007/3-540-49059-0\_26},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/SpeltE99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dbpl/SpeltB97,
  author       = {David Spelt and
                  Herman Balsters},
  editor       = {Sophie Cluet and
                  Richard Hull},
  title        = {Automatic Verification of Transactions on an Object-Oriented Database},
  booktitle    = {Database Programming Languages, 6th International Workshop, DBPL-6,
                  Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1369},
  pages        = {396--412},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64823-2\_22},
  doi          = {10.1007/3-540-64823-2\_22},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/dbpl/SpeltB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}