Udi Boker

	2011
16		Shaull Almagor, Udi Boker, Orna Kupferman: What's Decidable about Weighted Automata? ATVA 2011: 482-491
15		Udi Boker, Thomas A. Henzinger: Determinizing Discounted-Sum Automata. CSL 2011: 82-96
14		Udi Boker, Orna Kupferman: Co-Büching Them All. FOSSACS 2011: 184-198
13		Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman: Temporal Specifications with Accumulative Values. LICS 2011: 43-52
	2010
12		Udi Boker, Orna Kupferman, Avital Steinitz: Parityizing Rabin and Streett. FSTTCS 2010: 412-423
11		Udi Boker, Nachum Dershowitz: Three Paths to Effectiveness. Fields of Logic and Computation 2010: 135-146
10		Udi Boker, Orna Kupferman: The Quest for a Tight Translation of Büchi to co-Büchi Automata. Fields of Logic and Computation 2010: 147-164
9		Udi Boker, Orna Kupferman, Adin Rosenberg: Alternation Removal in Büchi Automata. ICALP (2) 2010: 76-87
	2009
8		Udi Boker, Orna Kupferman: Co-ing Büchi Made Tight and Useful. LICS 2009: 245-254
7		Udi Boker, Nachum Dershowitz: The influence of domain interpretations on computational models. Applied Mathematics and Computation 215(4): 1323-1339 (2009)
	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)

Coauthor Index

1	Shaull Almagor	[16]
2	Krishnendu Chatterjee	[13]
3	Nachum Dershowitz	[1] [2] [3] [4] [5] [6] [7] [11]
4	Thomas A. Henzinger	[13] [15]
5	Orna Kupferman	[8] [9] [10] [12] [13] [14] [16]
6	Adin Rosenberg	[9]
7	Avital Steinitz	[12]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page