Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs143.bht:"

 download as .bib file

@proceedings{DBLP:journals/corr/LoweW14,
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.143},
  doi          = {10.4204/EPTCS.143},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LoweW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Al-HumaimeedyF14,
  author       = {Abeer S. Al{-}Humaimeedy and
                  Maribel Fern{\'{a}}ndez},
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {General dynamic recovery for compensating {CSP}},
  booktitle    = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  pages        = {3--16},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.143.1},
  doi          = {10.4204/EPTCS.143.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Al-HumaimeedyF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Bartha14,
  author       = {Mikl{\'{o}}s Bartha},
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {Quantum Turing automata},
  booktitle    = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  pages        = {17--31},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.143.2},
  doi          = {10.4204/EPTCS.143.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bartha14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Blakey14,
  author       = {Ed Blakey},
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {Ray tracing - computing the incomputable?},
  booktitle    = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  pages        = {32--40},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.143.3},
  doi          = {10.4204/EPTCS.143.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Blakey14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Jiresch14,
  author       = {Eugen Jiresch},
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {Towards a GPU-based implementation of interaction nets},
  booktitle    = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  pages        = {41--53},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.143.4},
  doi          = {10.4204/EPTCS.143.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Jiresch14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Mayordomo14,
  author       = {Elvira Mayordomo},
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {Effective dimension in some general metric spaces},
  booktitle    = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  pages        = {67--75},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.143.6},
  doi          = {10.4204/EPTCS.143.6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Mayordomo14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/NagyV14,
  author       = {Benedek Nagy and
                  S{\'{a}}ndor V{\'{a}}lyi},
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {Computing discrete logarithm by interval-valued paradigm},
  booktitle    = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  pages        = {76--86},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.143.7},
  doi          = {10.4204/EPTCS.143.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NagyV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/PaulyB14,
  author       = {Arno Pauly and
                  Matthew de Brecht},
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {Non-deterministic computation and the Jayne-Rogers Theorem},
  booktitle    = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  pages        = {87--96},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.143.8},
  doi          = {10.4204/EPTCS.143.8},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/PaulyB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Sanders14,
  author       = {Sam Sanders},
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {Algorithm and proof as {\(\Omega\)}-invariance and transfer: {A} new
                  model of computation in nonstandard analysis},
  booktitle    = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  pages        = {97--109},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.143.9},
  doi          = {10.4204/EPTCS.143.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Sanders14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1204-6695,
  author       = {Aleks Kissinger and
                  Alex Merry and
                  Matvey Soloviev},
  editor       = {Benedikt L{\"{o}}we and
                  Glynn Winskel},
  title        = {Pattern Graph Rewrite Systems},
  booktitle    = {Proceedings 8th International Workshop on Developments in Computational
                  Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
  series       = {{EPTCS}},
  volume       = {143},
  pages        = {54--66},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.143.5},
  doi          = {10.4204/EPTCS.143.5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1204-6695.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.