David Scott Warren

◀ ▶ joint publications with C. R. Ramakrishnan 0001

> Home > Persons > David Scott Warren

Publications

2008
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/SinghRRWW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/SinghRRWW08
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong:
A methodology for in-network evaluation of integrated logical-statistical models. SenSys 2008: 197-210
2007
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ker/RamakrishnanRW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ker/RamakrishnanRW07
C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren:
XcelLog: a deductive spreadsheet system. Knowl. Eng. Rev. 22(3): 269-279 (2007)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/SinghRRSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/SinghRRSW07
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren:
Security policy analysis using deductive spreadsheets. FMSE 2007: 42-50
2006
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/RamakrishnanRW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/RamakrishnanRW06
C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren:
Deductive Spreadsheets Using Tabled Logic Programming. ICLP 2006: 391-405
2000
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/RamakrishnanRSW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/RamakrishnanRSW00
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren:
Specification and evaluation of logic-based model checking. ACM SIGSOFT Softw. Eng. Notes 25(1): 73-74 (2000)
1999
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DongDRRRSSSW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DongDRRRSSSW99
Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren:
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS 1999: 74-88
1998
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/CuiDDKRRRSW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/CuiDDKRRRSW98
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren:
Logic Programming and Model Checking. PLILP/ALP 1998: 1-20
1997
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/RamakrishnanRRSSW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/RamakrishnanRRSSW97
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren:
Efficient Model Checking Using Tabled Resolution. CAV 1997: 143-154
1996
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/DawsonRW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/DawsonRW96
Steven Dawson, C. R. Ramakrishnan, David Scott Warren:
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. PLDI 1996: 117-126
1995
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/DawsonRRSSSW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/DawsonRRSSSW95
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren:
Unification Factoring for Efficient Execution of Logic Programs. POPL 1995: 247-258

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.