@inproceedings(Exact,
author = "Andreas Blass and Nachum Dershowitz and Yuri Gurevich",
year = "2010",
title = "Exact Exploration and Hanging Algorithms",
booktitle = "Proceedings of the 19th EACSL Annual Conferences on Computer Science Logic (Brno, Czech Republic)",
series = "Lecture Notes in Computer Science",
volume = "6247",
publisher = "Springer",
address = "Berlin, Germany",
pages = "140--154",
doi = "10.1007/978-3-642-15205-4\_14",
note = "Available at \url {http://nachum.org/papers/HangingAlgorithms.pdf} (viewed June 3, 2011); longer version at \burl {http://nachum.org/papers/ExactExploration.pdf} (viewed May 27, 2011)",
)
@article(Simulation,
author = "Udi Boker and Nachum Dershowitz",
year = "2006",
title = "Comparing Computational Power",
journal = "Logic Journal of the IGPL",
volume = "14",
number = "5",
pages = "633--648",
doi = "10.1007/978-3-540-78127-1",
)
@incollection(CT_ASM,
author = "Udi Boker and Nachum Dershowitz",
year = "2008",
title = "The {Church}-{Turing} Thesis over Arbitrary Domains",
editor = "Arnon Avron and Nachum Dershowitz and Alexander Rabinovich",
booktitle = "Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday",
series = "Lecture Notes in Computer Science",
volume = "4800",
publisher = "Springer",
pages = "199--229",
doi = "10.1007/978-3-642-15205-4\_14",
note = "Available at \url {http://nachum.org/papers/ArbitraryDomains.pdf} (viewed Aug. 11, 2010)",
)
@article(RAM,
author = "Stephen~A. Cook and Robert~A. Reckhow",
year = "1973",
title = "Time-Bounded Random Access Machines",
journal = "Journal of Computer Systems Science",
volume = "7",
pages = "73--80",
doi = "10.1145/800152.804898",
note = "Available at \url {http://www.cs.berkeley.edu/~christos/classics/Deutsch\_quantum\_theory.pdf} (viewed June 3, 2011)",
)
@inproceedings(Generic,
author = "Nachum Dershowitz",
year = "2012",
title = "The Generic Model of Computation",
booktitle = "Proceedings of the Seventh International Workshop on Developments in Computational Models (DCM 2011, July 2012, Zurich, Switzerland)",
series = "Electronic Proceedings in Theoretical Computer Science",
note = "Available at \url {http://nachum.org/papers/Generic.pdf} (viewed July 13, 2012)",
)
@article(BSL,
author = "Nachum Dershowitz and Yuri Gurevich",
year = "2008",
title = "A Natural Axiomatization of Computability and Proof of {Church's Thesis}",
journal = "Bulletin of Symbolic Logic",
volume = "14",
number = "3",
pages = "299--350",
doi = "10.2178/bsl/1231081370",
note = "Available at \url {http://nachum.org/papers/Church.pdf} (viewed Apr. 15, 2009)",
)
@incollection(Lipari,
author = "Yuri Gurevich",
year = "1995",
title = "Evolving Algebras 1993: {Lipari} Guide",
editor = "Egon B{\"o}rger",
booktitle = "Specification and Validation Methods",
publisher = "Oxford University Press",
pages = "9--36",
note = "Available at \url {http://research.microsoft.com/~gurevich/opera/103.pdf} (viewed Apr. 15, 2009)",
)
@article(ASM-Theorem-Gurevich,
author = "Yuri Gurevich",
year = "2000",
title = "Sequential Abstract State Machines Capture Sequential Algorithms",
journal = "ACM Transactions on Computational Logic",
volume = "1",
number = "1",
pages = "77--111",
doi = "10.1145/343369.343384",
note = "Available at \url {http://research.microsoft.com/~gurevich/opera/141.pdf} (viewed Apr. 15, 2009)",
)
@article(Parberry,
author = "Ian Parberry",
year = "1986",
title = "Parallel Speedup of Sequential Machines: {A} Defense of Parallel Computation Thesis",
journal = "SIGACT News",
volume = "18",
number = "1",
pages = "54--67",
doi = "10.1145/8312.8317",
)
@incollection(TermGraph,
author = "Detlef Plump",
year = "1999",
title = "Term Graph Rewriting",
editor = "H.~Ehrig and G.~Engels and H.-J. Kreowski and G.~Rozenberg",
booktitle = "Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools",
chapter = "1",
volume = "volume 2",
publisher = "World Scientific",
pages = "3--61",
doi = "10.1142/9789812815149",
note = "Available at \url {http://www.informatik.uni-bremen.de/agbkb/lehre/rbs/texte/Termgraph rewriting.pdf} (viewed June 3, 2011)",
)
@article(dagRepr,
author = "Comandure Seshadhri and Anil Seth and Somenath Biswas",
year = "2007",
title = "RAM Simulation of {BGS} Model of Abstract-State-Machines",
journal = "Fundamenta Informaticae",
volume = "77",
number = "1--2",
pages = "175--185",
note = "Available at \url {http://www.cse.iitk.ac.in/users/sb/papers/asm2ram.pdf} (viewed June 3, 2011)",
)