| 2009 | ||
|---|---|---|
| 7 | Udi Boker, Orna Kupferman: Co-ing Büchi Made Tight and Useful. LICS 2009: 245-254 | |
| 2008 | ||
| 6 | Udi Boker, Nachum Dershowitz: The Church-Turing Thesis over Arbitrary Domains. Pillars of Computer Science 2008: 199-229 | |
| 2006 | ||
| 5 | Udi Boker, Nachum Dershowitz: A hypercomputational alien. Applied Mathematics and Computation 178(1): 44-57 (2006) | |
| 4 | Udi Boker, Nachum Dershowitz: Abstract Effective Models. Electr. Notes Theor. Comput. Sci. 135(3): 15-23 (2006) | |
| 3 | Udi Boker, Nachum Dershowitz: Comparing Computational Power. Logic Journal of the IGPL 14(5): 633-647 (2006) | |
| 2005 | ||
| 2 | Udi Boker, Nachum Dershowitz: How to Compare the Power of Computational Models. CiE 2005: 54-64 | |
| 1 | Udi Boker, Nachum Dershowitz: Comparing Computational Power CoRR abs/cs/0510069: (2005) | |
| 1 | Nachum Dershowitz | [1] [2] [3] [4] [5] [6] |
| 2 | Orna Kupferman | [7] |