dblp.uni-trier.dewww.uni-trier.de

Yoav Rodeh

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
15EEAmos Korman, David Peleg, Yoav Rodeh: Constructing Labeling Schemes Through Universal Matrices. ISAAC 2006: 409-418
14EEYoav Rodeh, Ofer Strichman: Building small equality graphs for deciding equality logic with uninterpreted functions. Inf. Comput. 204(1): 26-59 (2006)
2004
13EEAmos Korman, David Peleg, Yoav Rodeh: Labeling Schemes for Dynamic Tree Networks. Theory Comput. Syst. 37(1): 49-75 (2004)
2003
12EEMichael Langberg, Amir Pnueli, Yoav Rodeh: The ROBDD Size of Simple CNF Formulas. CHARME 2003: 363-377
11EESharon Keidar, Yoav Rodeh: Searching for Counter-Examples Adaptively. IWFM 2003
10EEAmir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). Inf. Comput. 184(1): 227 (2003)
2002
9EEAmos Korman, David Peleg, Yoav Rodeh: Labeling Schemes for Dynamic Tree Networks. STACS 2002: 76-87
8EEAmir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: The Small Model Property: How Small Can It Be? Inf. Comput. 178(1): 279-293 (2002)
2001
7EEYoav Rodeh, Ofer Strichman: Finite Instantiations in Equivalence Logic with Uninterpreted Functions. CAV 2001: 144-154
6EEIlan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh: The Temporal Logic Sugar. CAV 2001: 363-367
5EEAmir Pnueli, Yoav Rodeh, Ofer Strichman: Range Allocation for Equivalence Logic. FSTTCS 2001: 317-333
4 Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh: Efficient Detection of Vacuity in Temporal Model Checking. Formal Methods in System Design 18(2): 141-163 (2001)
1999
3EEAmir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469
1997
2 Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh: Efficient Detection of Vacuity in ACTL Formulaas. CAV 1997: 279-290
1 Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal: RuleBase: Model Checking at IBM. CAV 1997: 480-483

Coauthor Index

1Ilan Beer [1] [2] [4] [6]
2Shoham Ben-David [1] [2] [4] [6]
3Cindy Eisner [1] [2] [4] [6]
4Dana Fisman [6]
5Daniel Geist [1]
6Leonid Gluhovsky [1]
7Anna Gringauze [6]
8Tamir Heyman [1]
9Sharon Keidar [11]
10Amos Korman [9] [13] [15]
11Avner Landver [1]
12Michael Langberg [12]
13P. Paanah [1]
14David Peleg [9] [13] [15]
15Amir Pnueli [3] [5] [8] [10] [12]
16G. Ronin [1]
17Michael Siegel [3] [8] [10]
18Ofer Strichman [3] [5] [7] [8] [10] [14]
19Yaron Wolfsthal (Yaron Wolfstahl) [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)