Stephen Cook - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2024

Dynamic- X-Y: A Tool for Learning Dynamic Alert Suppression Policies in AIOpsKaran Bhukar, Harshit Kumar, Seema Nagar, Pooja Aggarwal, Ian Manning, Rohan Arora, Ruchi Mahindru, Amit Paradkar, Matthew Thornhill, Stephen Cook, Jack Buggins. comsnets 2024: 291-293 [doi]

2022

Hybrid Approach for Modelling the Uptake of Residential Solar PV Systems, with Case Study Application in Melbourne, AustraliaMagnus Moglia, Christian A Nygaard, Stephen Glackin, Stephen Cook, Sorada Tapsuwan. jasss, 25(4), 2022. [doi]

2017

Application of System Dynamics to Evaluate the Social and Economic Benefits of Infrastructure ProjectsTiep Nguyen, Stephen Cook, Vernon Ireland. systems, 5(2):29, 2017. [doi]

2014

Autonomy, Trust, and TransportationAndrew Lacher, Robert Grabowski, Stephen Cook. aaaiss 2014: [doi]

2012

The Turing Computational ModelJuris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao. acm 2012: [doi]

2010

Formal Theories for Linear AlgebraStephen Cook, Lila Fontes. csl 2010: 245-259 [doi]

Complexity theory for operators in analysisAkitoshi Kawamura, Stephen Cook. stoc 2010: 495-502 [doi]

2007

Relativizing Small Complexity Classes and Their TheoriesKlaus Aehlig, Stephen Cook, Phuong Nguyen. csl 2007: 374-388 [doi]

Consequences of the provability of ::::NP:::: SUBSET OF OR EQUAL TO ::::P/poly::::Stephen Cook, Jan Krajícek. JSYML, 72(4):1353-1371, 2007. [doi]

Software and systems engineering process capability in the South Australian defence industryElena Sitnikova, Trent Kroeger, Stephen Cook. isse, 3(2):129-139, 2007. [doi]

2005

Quantified propositional calculus and a second-order theory for NC:::1:::Stephen Cook, Tsuyoshi Morioka. AML, 44(6):711-749, 2005. [doi]

2000

Efficiently Approximable Real-Valued FunctionsValentine Kabanets, Charles Rackoff, Stephen Cook. eccc, 7(34), 2000. [doi]

1996

1 and the power of logical theoriesStephen Cook. dimacs 1998: 73-92

1986

Upper and Lower Time Bounds for Parallel Random Access Machines without Simultaneous WritesStephen Cook, Cynthia Dwork, Rüdiger Reischuk. SICOMP, 15(1):87-97, 1986.

1983

The Recognition of Deterministic CFL s in Small Time and SpaceBurchard von Braunmühl, Stephen Cook, Kurt Mehlhorn, Rutger Verbeek. iandc, 56(1/2):34-51, January/February 1983.

1982

Bounds on the Time for Parallel RAM s to Compute Simple FunctionsStephen Cook, Cynthia Dwork. stoc 1982: 231-233

1974

Storage Requirements for Deterministic Polynomial Time Recognizable LanguagesStephen Cook, Ravi Sethi. stoc 1974: 33-39

Sign in or sign up to see more results.

runs on WebDSL