dblp.uni-trier.dewww.uni-trier.de

R. C. Sekar Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2002
22 C. R. Ramakrishnan, R. C. Sekar: Model-Based Analysis of Configuration Vulnerabilities. Journal of Computer Security 10(1/2): 189-209 (2002)
2001
21 I. V. Ramakrishnan, R. C. Sekar, Andrei Voronkov: Term Indexing. Handbook of Automated Reasoning 2001: 1853-1964
20EER. Ramesh, I. V. Ramakrishnan, R. C. Sekar: Automata-driven efficient subterm unification. Theor. Comput. Sci. 254(1-2): 187-223 (2001)
1998
19EEAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL 1998: 196-205
1997
18EER. C. Sekar, I. V. Ramakrishnan, Prateek Mishra: On the power and limitations of strictness analysis. J. ACM 44(3): 505-525 (1997)
17 Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: EQUALS - A Fast Parallel Implementation of a Lazy Language. J. Funct. Program. 7(2): 183-217 (1997)
1995
16 C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Symbolic Constraint Solving Framework for Analysis of Logic Programs. PEPM 1995: 12-23
15EER. C. Sekar, I. V. Ramakrishnan: Fast Strictness Analysis Based on Demand Propagation. ACM Trans. Program. Lang. Syst. 17(6): 896-937 (1995)
14 R. C. Sekar, R. Ramesh, I. V. Ramakrishnan: Adaptive Pattern Matching. SIAM J. Comput. 24(6): 1207-1234 (1995)
1994
13 R. C. Sekar, Yow-Jian Lin, C. R. Ramakrishnan: Modelling techniques for evolving distributed applications. FORTE 1994: 461-476
12EER. Ramesh, I. V. Ramakrishnan, R. C. Sekar: Automata-Driven Efficient Subterm Unification. FSTTCS 1994: 288-299
1993
11 Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Extracting Determinacy in Logic Programs. ICLP 1993: 424-438
10 A. Arango, Lisa Bahler, Peter Bates, Munir Cochinwala, David Cohrs, Robert Fish, Gita Gopal, Nancy D. Griffeth, Gary E. Herman, Takako M. Hickey, K. C. Lee, Will E. Leland, Carlyn Lowery, Victor Mak, John F. Patterson, Lillian Ruston, Mark Segal, R. C. Sekar, Mario P. Vecchi, Abel Weinrib, Sze-Ying Wuu: The Touring Machine System. Commun. ACM 36(1): 68-77 (1993)
9 R. C. Sekar, I. V. Ramakrishnan: Programming in Equational Logic: Beyond Strong Sequentiality Inf. Comput. 104(1): 78-109 (1993)
1992
8EER. C. Sekar, I. V. Ramakrishnan: Programming with Equations: A Framework for Lazy Parallel Evaluation. CADE 1992: 618-632
7EER. C. Sekar, R. Ramesh, I. V. Ramakrishnan: Adaptive Pattern Matching. ICALP 1992: 247-260
6EEOwen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. LISP and Functional Programming 1992: 335-344
5 R. C. Sekar, Yow-Jian Lin, Sanjai Narain: On Modelling and Reasoning About Hybrid Systems. PSTV 1992: 115-129
1991
4 R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan: On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. POPL 1991: 37-48
1990
3 R. C. Sekar, I. V. Ramakrishnan: Programming in Equational Logic: Beyond Strong Sequentiality LICS 1990: 230-241
2 R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan: Small Domains Spell Fast Strictness Analysis. POPL 1990: 169-183
1989
1EER. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan: Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution. RTA 1989: 404-418

Coauthor Index

1A. Arango [10]
2Lisa Bahler [10]
3Peter Bates [10]
4Munir Cochinwala [10]
5David Cohrs [10]
6Steven Dawson [11]
7Robert Fish [10]
8Gita Gopal [10]
9Nancy D. Griffeth [10]
10Gary E. Herman [10]
11Takako M. Hickey [10]
12Owen Kaser [6] [17]
13K. C. Lee [10]
14Will E. Leland [10]
15Yow-Jian Lin [5] [13]
16Carlyn Lowery [10]
17Victor Mak [10]
18Prateek Mishra [4] [18]
19Sanjai Narain [5]
20John F. Patterson [10]
21Shaunak Pawagi [1] [2] [6]
22C. R. Ramakrishnan [6] [11] [13] [16] [17] [19] [22]
23I. V. Ramakrishnan [1] [2] [3] [4] [6] [7] [8] [9] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21]
24R. Ramesh [7] [12] [14] [20]
25Abhik Roychoudhury [19]
26Lillian Ruston [10]
27Mark Segal [10]
28Mario P. Vecchi [10]
29Andrei Voronkov [21]
30Abel Weinrib [10]
31Sze-Ying Wuu [10]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)