IV Ramakrishnan
IV Ramakrishnan
Professor of Computer Science, Assoc. Dean of Research, College of Engr. & Applied Sciences
確認したメール アドレス: cs.stonybrook.edu
タイトル
引用先
引用先
Efficient model checking using tabled resolution
YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ...
International Conference on Computer Aided Verification, 143-154, 1997
2891997
Logic based modeling and analysis of workflows
H Davulcu, M Kifer, CR Ramakrishnan, IV Ramakrishnan
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998
2601998
Efficient access mechanisms for tabled logic programs
IV Ramakrishnan, P Rao, K Sagonas, T Swift, DS Warren
The Journal of Logic Programming 38 (1), 31-54, 1999
214*1999
More than meets the eye: a survey of screen-reader browsing strategies
Y Borodin, JP Bigham, G Dausch, IV Ramakrishnan
Proceedings of the 2010 International Cross Disciplinary Conference on Web …, 2010
1852010
Modeling and analysis of interactions in virtual enterprises
H Davulcu, M Kifer, LR Pokorny, CR Ramakrishnan, IV Ramakrishnan, ...
Proceedings Ninth International Workshop on Research Issues on Data …, 1999
1321999
A layered architecture for querying dynamic web content
H Davulcu, J Freire, M Kifer, IV Ramakrishnan
Proceedings of the 1999 ACM SIGMOD international conference on Management of …, 1999
1241999
Hearsay: Enabling audio browsing on hypertext content
IV Ramakrishnan, A Stent, G Yang
Proceedings of the 13th international conference on World Wide Web, 80-89, 2004
1202004
Nonlinear pattern matching in trees
R Ramesh, IV Ramakrishnan
Journal of the ACM (JACM) 39 (2), 295-316, 1992
1181992
Csurf: a context-driven non-visual web-browser
JU Mahmud, Y Borodin, IV Ramakrishnan
Proceedings of the 16th international conference on World Wide Web, 31-40, 2007
1152007
Ontominer: Bootstrapping and populating ontologies from domain-specific web sites
H Davalcu, S Vadrevu, S Nagarajan, IV Ramakrishnan
IEEE Intelligent Systems 18 (5), 24-33, 2003
1132003
Automatic annotation of content-rich html documents: Structural and semantic analysis
S Mukherjee, G Yang, IV Ramakrishnan
International Semantic Web Conference, 533-549, 2003
1012003
A framework for building privacy-conscious composite web services
W Xu, VN Venkatakrishnan, R Sekar, IV Ramakrishnan
2006 IEEE International Conference on Web Services (ICWS'06), 655-662, 2006
972006
XMC: A logic-programming-based verification toolset
CR Ramakrishnan, IV Ramakrishnan, SA Smolka, Y Dong, X Du, ...
International Conference on Computer Aided Verification, 576-580, 2000
932000
CTR-S: a logic for specifying contracts in semantic web services
H Davulcu, M Kifer, IV Ramakrishnan
Proceedings of the 13th international World Wide Web conference on Alternate …, 2004
912004
Programming in equational logic: Beyond strong sequentiality
RC Sekar, IV Ramakrishnan
Information and Computation 104 (1), 78-109, 1993
911993
Term Indexing.
IV Ramakrishnan, RC Sekar, A Voronkov
Handbook of Automated Reasoning 2, 1853-1964, 2001
882001
Model-Carrying Code (MCC) a new paradigm for mobile-code security
R Sekar, CR Ramakrishnan, IV Ramakrishnan, SA Smolka
Proceedings of the 2001 workshop on New security paradigms, 23-30, 2001
852001
Automatic discovery of semantic structures in html documents
SMGYW Tan, IV Ramakrishnan
ICDAR 2003, 245, 2003
782003
Associative-commutative discrimination nets
L Bachmair, T Chen, IV Ramakrishnan
Colloquium on Trees in Algebra and Programming, 61-74, 1993
761993
Term indexing
R Sekar, IV Ramakrishnan, A Voronkov
Handbook of automated reasoning, 1853-1964, 2001
732001
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20