MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Amitabha Roy" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

K.: Improved probabilistic models for 802.11 protocol verification
by Amitabha Roy, K. Gopinath — 2005 — In: Proc. 17th International Conference on Computer Aided Verification (CAV’05), LNCS
…Improved Probabilistic Models for 802.11 Protocol Verification Amitabha Roy and K. Gopinath…
Cited by 2 (0 self) – Add To MetaCart

Definability of Languages by Generalized First-Order Formulas over (N
by Amitabha Roy, Howard Straubing — 2006 — In 23rd Symp. on Theoretical Aspects of Comp. Sci. (STACS’06
…Definability of Languages by Generalized First-Order Formulas over (N,+) Amitabha Roy and Howard…
Cited by 4 (1 self) – Add To MetaCart

Improved Probabilistic Models for 802.11 Protocol Verification
by Amitabha Roy And, Amitabha Roy, K. Gopinath — 2005 — In: Proc. 17th International Conference on Computer Aided Verification (CAV’05), LNCS
…Improved Probabilistic Models for 802.11 Protocol Verification Amitabha Roy and K. Gopinath…
Add To MetaCart

The Complexity of Symmetry-Breaking Formulas
by Eugene M. Luks, Amitabha Roy — 2002 — Annals of Mathematics and Artificial Intelligence
… University of Oregon Eugene, OR 97403 luks@(email omitted); Amitabha Roy Department of Computer Science…
Cited by 4 (0 self) – Add To MetaCart

Symmetry Breaking in Constraint Satisfaction
by Eugene M. Luks, Amitabha Roy — 2001 — in Proc. Int. Conf. Artif. Intell
… University of Oregon Eugene, OR 97403 luks@(email omitted); Amitabha Roy Department of Computer Science…
Cited by 3 (0 self) – Add To MetaCart

Combinatorics of singly-repairable families
by Eugene M. Luks, Amitabha Roy — 2005 — Electronic Journal of Combinatorics
… of Oregon, Eugene, OR 97403. luks@(email omitted); Amitabha Roy Computer Science Department, Boston College…
Cited by 1 (1 self) – Add To MetaCart

Symmetry-Breaking Predicates for Search Problems
by James Crawford , Matthew Ginsberg, Eugene Luks, Amitabha Roy — 1996
…@(email omitted); Eugene Luks Amitabha Roy Department of Computer Science The University of Oregon Eugene, OR 97403…
Cited by 108 (0 self) – Add To MetaCart

Fault Tolerant Boolean Satisfiability
by Eugene M. Luks, Amitabha Roy, Christopher Wilson
… Eugene, OR 97403, USA aroy@(email omitted); Amitabha Roy Dept. of Computer Science Boston College…
Add To MetaCart

Incomplete quadratic exponential sums in several variables
by Eduardo Duenez, Steven J. Miller, Amitabha Roy, Howard — J. Number Theory
… VARIABLES EDUARDO DUENEZ, STEVEN J. MILLER, AMITABHA ROY, AND HOWARD STRAUBING Abstract. We consider…
Cited by 1 (0 self) – Add To MetaCart

Symmetry Breaking And Fault Tolerance In Boolean Satisfiability
by Amitabha Roy, Dr. Andrzej Proskurowski, Dr. Eugene, M. Luks — 2001
… SYMMETRY BREAKING AND FAULT TOLERANCE IN BOOLEAN SATISFIABILITY by AMITABHA ROY A DISSERTATION…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB