Udi Boker Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Nachum Dershowitz [1] [2] [3] [4] [5] [6]
2Orna Kupferman [7]

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)