Travelled to:
1 × Canada
1 × Germany
1 × Sweden
4 × USA
Collaborated with:
D.J.Rosenkrantz H.B.H.III M.V.Marathe P.M.L.II S.K.Shukla V.Radhakrishnan A.Adiga C.J.Kuhlman S.S.Ravi
Talks about:
problem (3) complex (3) approxim (2) determinist (1) constraint (1) satisfact (1) distribut (1) translat (1) succinct (1) stochast (1)
Person: Richard Edwin Stearns
DBLP: Stearns:Richard_Edwin
Contributed to:
Wrote 7 papers:
- CIAA-2015-AdigaKMRRS #complexity
- Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems (AA, CJK, MVM, SSR, DJR, RES), pp. 21–34.
- SAT-2001-HuntMS #complexity #constraints #probability #problem #quantifier
- Complexity and Approximability of Quantified and Stochastic Constraint Satisfaction Problems (HBHI, MVM, RES), pp. 217–230.
- ICALP-1996-ShuklaHRS #complexity #finite #on the #problem #process #relational
- On the Complexity of Relational Problems for Finite State Processes (SKS, HBHI, DJR, RES), pp. 466–477.
- STOC-1994-MaratheHSR #approximate #problem #specification
- Approximation schemes for PSPACE-complete problems for succinct specifications (MVM, HBHI, RES, VR), pp. 468–477.
- SIGMOD-1981-StearnsR #concurrent #database #distributed #using
- Distributed Database Concurrency Controls Using Before-Values (RES, DJR), pp. 74–83.
- STOC-1973-LewisRS
- Attributed Translations (PMLI, DJR, RES), pp. 160–171.
- STOC-1969-RosenkrantzS #top-down
- Properties of Deterministic Top Down Grammars (DJR, RES), pp. 165–180.