| 2019 |
J |
jnl |
IEEE Trans. Knowl. Data Eng.
Xing Niu, Raghav Kapoor, Boris Glavic, Dieter Gawlick, Zhen Hua Liu, Vasudha Krishnaswamy, Venkatesh Radhakrishnan
|
| 2018 |
J |
jnl |
CoRR
Xing Niu, Raghav Kapoor, Boris Glavic, Dieter Gawlick, Zhen Hua Liu, Vasudha Krishnaswamy, Venkatesh Radhakrishnan
|
| 2018 |
J |
jnl |
IEEE Trans. Knowl. Data Eng.
Bahareh Sadat Arab, Dieter Gawlick, Vasudha Krishnaswamy, Venkatesh Radhakrishnan, Boris Glavic
|
| 2017 |
A* |
conf |
ICDE
Xing Niu, Raghav Kapoor, Boris Glavic, Dieter Gawlick, Zhen Hua Liu, Venkatesh Radhakrishnan
|
| 2016 |
A |
conf |
CIKM
Bahareh Sadat Arab, Dieter Gawlick, Vasudha Krishnaswamy, Venkatesh Radhakrishnan, Boris Glavic
|
| 2016 |
J |
jnl |
CoRR
Bahareh Arab, Dieter Gawlick, Vasudha Krishnaswamy, Venkatesh Radhakrishnan, Boris Glavic
|
| 2015 |
— |
conf |
TaPP
Xing Niu, Boris Glavic, Dieter Gawlick, Zhen Hua Liu, Vasudha Krishnaswamy, Venkatesh Radhakrishnan
|
| 2014 |
— |
conf |
TAPP
Bahareh Arab, Dieter Gawlick, Venkatesh Radhakrishnan, Hao Guo, Boris Glavic
|
| 2011 |
— |
conf |
TaPP
Dieter Gawlick, Venkatesh Radhakrishnan
|
| 2002 |
J |
jnl |
Inf. Comput.
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
|
| 1998 |
J |
jnl |
CoRR
Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan
|
| 1998 |
J |
jnl |
SIAM J. Comput.
Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan
|
| 1998 |
J |
jnl |
J. Algorithms
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
|
| 1998 |
J |
jnl |
CoRR
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, Richard Edwin Stearns
|
| 1998 |
J |
jnl |
SIAM J. Comput.
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, Richard Edwin Stearns
|
| 1997 |
J |
jnl |
Theor. Comput. Sci.
Sven Oliver Krumke, Madhav V. Marathe, Hartmut Noltemeier, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz
|
| 1997 |
J |
jnl |
Theor. Comput. Sci.
Madhav V. Marathe, Venkatesh Radhakrishnan, Harry B. Hunt III, S. S. Ravi
|
| 1996 |
— |
conf |
Satisfiability Problem: Theory and Applications
Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan
|
| 1994 |
A |
conf |
ESA
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
|
| 1994 |
— |
conf |
FSTTCS
Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns
|
| 1994 |
A* |
conf |
STOC
Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan
|
| 1993 |
— |
conf |
FSTTCS
Venkatesh Radhakrishnan, Sven Oliver Krumke, Madhav V. Marathe, Daniel J. Rosenkrantz, S. S. Ravi
|
| 1993 |
B |
conf |
WG
Madhav V. Marathe, Venkatesh Radhakrishnan, Harry B. Hunt III, S. S. Ravi
|
| 1992 |
A |
conf |
STACS
Venkatesh Radhakrishnan, Harry B. Hunt III, Richard Edwin Stearns
|