Search results for "I. V. Ramakrishnan"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jalal Mahmud, I. V. Ramakrishnan	Transaction models for Web accessibility.	World Wide Web	2012	DBLP DOI BibTeX RDF
1	Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan	Parameter Learning in PRISM Programs with Continuous Random Variables	CoRR	2012	DBLP BibTeX RDF
1	I. V. Ramakrishnan, J. J. Tithi, A. Bagate, V. Khot, Faisal Ahmed, D. Harrington, R. Talati	Organizing RadLex lexicon for efficient retrieval of radiology documents.	SIGHIT Record	2012	DBLP DOI BibTeX RDF
1	Yevgen Borodin, Andrii Sovyak, Alexander Dimitriyadi, Yury Puzis, Valentyn Melnyk, Faisal Ahmed, Glenn Dausch, I. V. Ramakrishnan	Universal and ubiquitous web access with Capti.	W4A	2012	DBLP DOI BibTeX RDF
1	Faisal Ahmed, Yevgen Borodin, Yury Puzis, I. V. Ramakrishnan	Why read if you can skim: towards enabling faster screen reading.	W4A	2012	DBLP DOI BibTeX RDF
1	Yury Puzis, Yevgen Borodin, Faisal Ahmed, I. V. Ramakrishnan	An intuitive accessible web automation user interface.	W4A	2012	DBLP DOI BibTeX RDF
1	Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan	Inference in Probabilistic Logic Programs with Continuous Random Variables	CoRR	2011	DBLP BibTeX RDF
1	Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, I. V. Ramakrishnan	Tightly coupling visual and linguistic features for enriching audio-based web browsing experience.	CIKM	2011	DBLP DOI BibTeX RDF
1	Supriya Garg, I. V. Ramakrishnan, Klaus Mueller	A visual analytics approach to model learning.	IEEE VAST	2010	DBLP DOI BibTeX RDF
1	Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan	Mixture model based label association techniques for web accessibility.	UIST	2010	DBLP DOI BibTeX RDF
1	Muhammad Asiful Islam, Faisal Ahmed, Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan	Improving Accessibility of Transaction-centric Web Objects.	SDM	2010	DBLP BibTeX RDF
1	Yevgen Borodin, Jeffrey P. Bigham, Glenn Dausch, I. V. Ramakrishnan	More than meets the eye: a survey of screen-reader browsing strategies.	W4A	2010	DBLP DOI BibTeX RDF
1	Yevgen Borodin, Faisal Ahmed, Muhammad Asiful Islam, Yury Puzis, Valentyn Melnyk, Song Feng, I. V. Ramakrishnan, Glenn Dausch	Hearsay: a new generation context-driven multi-modal assistive web browser.	WWW	2010	DBLP DOI BibTeX RDF	assistive browser, web accessibility, multi-modal, blind users, screen reader, audio interface
1	Faisal Ahmed, Muhammad Asiful Islam, Yevgen Borodin, I. V. Ramakrishnan	Assistive web browsing with touch interfaces.	ASSETS	2010	DBLP DOI BibTeX RDF
1	I. V. Ramakrishnan, Jalal Mahmud, Yevgen Borodin, Muhammad Asiful Islam, Faisal Ahmed	Bridging the Web Accessibility Divide.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Yevgen Borodin, Glenn Dausch, I. V. Ramakrishnan	TeleWeb: accessible service for web browsing via phone.	W4A	2009	DBLP DOI BibTeX RDF	TeleWeb, phone browser, telephony service, web browser, older adults, blind users, screen reader, HearSay
1	Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan	Automated construction of web accessibility models from transaction click-streams.	WWW	2009	DBLP DOI BibTeX RDF	machine learning, context, process models, web transaction
1	Saikat Mukherjee, I. V. Ramakrishnan	Automated Semantic Analysis of Schematic Data.	World Wide Web	2008	DBLP DOI BibTeX RDF	semantic partitioning, semantic bookmarks, semantic wrappers, assistive browsing, mobile-devices browsing, learning-based semantics
1	Supriya Garg, Julia Eunju Nam, I. V. Ramakrishnan, Klaus Mueller	Model-driven Visual Analytics.	IEEE VAST	2008	DBLP DOI BibTeX RDF
1	Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan	Exploiting Structured Reference Data for Unsupervised Text Segmentation with Conditional Random Fields.	SDM	2008	DBLP BibTeX RDF
1	Yevgen Borodin, Jeffrey P. Bigham, Amanda Stent, I. V. Ramakrishnan	Towards one world web with HearSay3.	W4A	2008	DBLP DOI BibTeX RDF	collaborative accessibility, multilingual browser, web browser, blind users, screen reader, dynamic content, HearSay
1	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	DBLP DOI BibTeX RDF	in-network analysis, logical-statistical models, sensor networks
1	Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan	Assistive browser for conducting web transactions.	IUI	2008	DBLP DOI BibTeX RDF	shallow knowledge-base, segments, context, partitioning, web transaction
1	Yevgen Borodin, Jeffrey P. Bigham, Rohit Raman, I. V. Ramakrishnan	What's new?: making web page updates accessible.	ASSETS	2008	DBLP DOI BibTeX RDF	non-visual aural interface, web browser, blind users, screen reader, dynamic content, hearsay
1	C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren	XcelLog: a deductive spreadsheet system.	Knowledge Eng. Review	2007	DBLP DOI BibTeX RDF
1	Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan	Precise specification matching for adaptive reuse in embedded systems.	J. Applied Logic	2007	DBLP DOI BibTeX RDF
1	Zan Sun, Jalal Mahmud, I. V. Ramakrishnan, Saikat Mukherjee	Model-directed Web transactions under constrained modalities.	TWEB	2007	DBLP DOI BibTeX RDF	content adaption, assistive device, Web transaction
1	Hai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan	A General Approach for Partitioning Web Page Content Based on Geometric and Style Information.	ICDAR	2007	DBLP DOI BibTeX RDF
1	Chang Zhao, Jalal Mahmud, I. V. Ramakrishnan, Subramanyam Swaminathan	Computing Statistical Profiles of Active Sites in Proteins.	SDM	2007	DBLP BibTeX RDF
1	Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan, Amanda Stent	The HearSay non-visual web browser.	W4A	2007	DBLP DOI BibTeX RDF	context-directed browsing, navigation, web accessibility, browser, screen-reader, VoiceXML, non-visual, HearSay
1	Yevgen Borodin, Jalal Mahmud, Asad Ahmed, I. V. Ramakrishnan	WebVAT: Web Page Visualization and Analysis Tool.	ICWE	2007	DBLP DOI BibTeX RDF
1	Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan	Csurf: a context-driven non-visual web-browser.	WWW	2007	DBLP DOI BibTeX RDF	CSurf, semantic blocks, context, partitioning, web accessibility, screen-reader, voice browser, non-visual, HearSay
1	Yevgen Borodin, Jalal Mahmud, I. V. Ramakrishnan	Context browsing with mobiles - when less is more.	MobiSys	2007	DBLP DOI BibTeX RDF	context-directed browsing, semantic blocks, partitioning, PDA, CMo, content adaptation, mobile browsing
1	Radu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka	Learning Cycle-Linear Hybrid Automata for Excitable Cells.	HSCC	2007	DBLP DOI BibTeX RDF
1	Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan	Combating information overload in non-visual web access using context.	IUI	2007	DBLP DOI BibTeX RDF	CSurf, information rearrangement, voice browsing, user interface, context, screen-reader, web navigation
1	Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren	Security policy analysis using deductive spreadsheets.	FMSE	2007	DBLP DOI BibTeX RDF	SELinux policy, security policy analysis, vulnerability analysis
1	Susan E. Brennan, Klaus Mueller, Greg Zelinsky, I. V. Ramakrishnan, David Scott Warren, Arie E. Kaufman	Toward a Multi-Analyst, Collaborative Framework for Visual Analytics.	IEEE VAST	2006	DBLP DOI BibTeX RDF
1	Saikat Mukherjee, Chang Zhao, I. V. Ramakrishnan	Profiling Protein Families from Partially Aligned Sequences.	SDM	2006	DBLP BibTeX RDF
1	Zan Sun, Amanda Stent, I. V. Ramakrishnan	Dialog generation for voice browsing.	W4A	2006	DBLP DOI BibTeX RDF
1	C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren	Deductive Spreadsheets Using Tabled Logic Programming.	ICLP	2006	DBLP DOI BibTeX RDF
1	Zan Sun, Jalal Mahmud, Saikat Mukherjee, I. V. Ramakrishnan	Model-directed web transactions under constrained modalities.	WWW	2006	DBLP DOI BibTeX RDF	assisstive device, content adaption, web transaction
1	Wei Xu, V. N. Venkatakrishnan, R. Sekar, I. V. Ramakrishnan	A Framework for Building Privacy-Conscious Composite Web Services.	ICWS	2006	DBLP DOI BibTeX RDF
1	Jalal Mahmud, Yevgen Borodin, Dipanjan Das, I. V. Ramakrishnan	Improving non-visual web access using context.	ASSETS	2006	DBLP DOI BibTeX RDF	CSurf, information rearrangement, voice browsing, user interface, context, partitioning, screen-reader, web navigation, assistive device, non-visual
1	Saikat Mukherjee, I. V. Ramakrishnan, Amarjeet Singh	Bootstrapping Semantic Annotations for Content-Rich HTML Documents.	ICDE	2005	DBLP DOI BibTeX RDF
1	Saikat Mukherjee, I. V. Ramakrishnan	Browsing fatigue in handhelds: semantic bookmarking spells relief.	WWW	2005	DBLP DOI BibTeX RDF	Web page partitioning, handheld device content adaptation, semantic bookmarking
1	Wei Xu, R. Sekar, I. V. Ramakrishnan, V. N. Venkatakrishnan	An approach for realizing privacy-preserving web-based services.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	web service, privacy, information flow
1	Prabhdeep Singh, R. Bhimavarapu, Hasan Davulcu, Chitta Baral, Seungchan Kim, Huan Liu, Michael L. Bittner, I. V. Ramakrishnan	BioLog: A Browser Based Collaboration and Resource Navigation Assistant for BioMedical Researchers.	DILS	2005	DBLP DOI BibTeX RDF
1	Vineet Enagandula, Niraj Juthani, I. V. Ramakrishnan, Devashish Rawal, Ritwick Vidyasagar	BlackBoardNV: a system for enabling non-visual access to the blackboard course management system.	ASSETS	2005	DBLP DOI BibTeX RDF	audio output, audio/keyboard input, web page partitioning, web-based assistive course management, web-content analysis
1	Abhik Roychoudhury, I. V. Ramakrishnan	Inductively Verifying Invariant Properties of Parameterized Systems.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	induction proofs, logic programming, program transformations, concurrent systems, unfolding, folding, parameterized systems
1	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan	An unfold/fold transformation framework for definite logic programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	inductive theorem proving, Logic programming, program transformation, unfolding, folding
1	Zoé Lacroix, Kaushal Parekh, Hasan Davulcu, I. V. Ramakrishnan, Nikeeta Julasana	Automating the Biological Data Collection Process with Agents.	CSB	2004	DBLP DOI BibTeX RDF
1	I. V. Ramakrishnan, Amanda Stent, Guizhen Yang	Hearsay: enabling audio browsing on hypertext content.	WWW	2004	DBLP DOI BibTeX RDF	audio browser, World Wide Web, user interface, HTML, semantic analysis, structural analysis, VoiceXML
1	Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan	CTR-S: a logic for specifying contracts in semantic web services.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	web services, services composition, contracts
1	Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan	Online Justification for Tabled Logic Programs.	FLOPS	2004	DBLP DOI BibTeX RDF
1	Saikat Mukherjee, I. V. Ramakrishnan	Taming the Unstructured: Creating Structured Content from Partially Labeled Schematic Text Sequences.	CoopIS/DOA/ODBASE	2004	DBLP DOI BibTeX RDF
1	Nikeeta Julasana, Akshat Khandelwal, Anupama Lolage, Prabhdeep Singh, Priyanka Vasudevan, Hasan Davulcu, I. V. Ramakrishnan	WinAgent: a system for creating and executing personal information assistants using a web browser.	IUI	2004	DBLP DOI BibTeX RDF	XML, machine learning, agents, web, browser
1	Hasan Davulcu, Zoé Lacroix, Kaushal Parekh, I. V. Ramakrishnan, Nikeeta Julasana	Exploiting Agent and Database Technologies for Biological Data Collection.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
1	Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer	Semantic bookmarking for non-visual web access.	ASSETS	2004	DBLP DOI BibTeX RDF	assistive browsing, semantic partitioning, bookmarks
1	Hasan Davulcu, Srinivas Vadrevu, Saravanakumar Nagarajan, I. V. Ramakrishnan	OntoMiner: Bootstrapping and Populating Ontologies from Domain-Specific Web Sites.	IEEE Intelligent Systems	2003	DBLP DOI BibTeX RDF	ontology, Semantic Web, Web mining, information integration
1	Guizhen Yang, Saikat Mukherjee, I. V. Ramakrishnan	On Precision and Recall of Multi-Attribute Data Extraction from Semistructured Sources.	ICDM	2003	DBLP DOI BibTeX RDF
1	Guizhen Yang, Saikat Mukherjee, Wenfang Tan, I. V. Ramakrishnan, Hasan Davulcu	On the Power of Semantic Partitioning of Web Documents.	IIWeb	2003	DBLP BibTeX RDF
1	Saikat Mukherjee, Guizhen Yang, Wenfang Tan, I. V. Ramakrishnan	Automatic Discovery of Semantic Structures in HTML Documents.	ICDAR	2003	DBLP DOI BibTeX RDF
1	Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan	Online Justification for Tabled Logic Programs.	ICLP	2003	DBLP DOI BibTeX RDF
1	Saikat Mukherjee, Guizhen Yang, I. V. Ramakrishnan	Automatic Annotation of Content-Rich HTML Documents: Structural and Semantic Analysis.	International Semantic Web Conference	2003	DBLP DOI BibTeX RDF
1	Guizhen Yang, I. V. Ramakrishnan, Michael Kifer	On the complexity of schema inference from web pages in the presence of nullable data attributes.	CIKM	2003	DBLP DOI BibTeX RDF	data mining, machine learning, world wide web, web mining, data extraction, wrapper induction, schema inference
1	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.	Int. J. Found. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan	Extraction Techniques for Mining Services from Web Sources.	ICDM	2002	DBLP DOI BibTeX RDF
1	Hasan Davulcu, Saikat Mukherjee, I. V. Ramakrishnan	A Clustering Technique for Mining Data from Text Tables.	SDM	2002	DBLP BibTeX RDF
1	Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan	Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
1	Prashant Choudhari, Hasan Davulcu, Abhishek Joglekar, Akshay More, Saikat Mukherjee, Supriya Patil, I. V. Ramakrishnan	YellowPager: a tool for ontology-based mining of service directories from web sources.	SIGIR	2002	DBLP DOI BibTeX RDF
1	Hasan Davulcu, Saikat Mukherjee, Arvind Seth, I. V. Ramakrishnan	CuTeX: a system for extracting data from text tables.	SIGIR	2002	DBLP DOI BibTeX RDF
1	Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan	Justification Based on Program Transformation.	LOPSTR	2002	DBLP DOI BibTeX RDF
1	R. Ramesh, I. V. Ramakrishnan, R. C. Sekar	Automata-driven efficient subterm unification.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	I. V. Ramakrishnan, R. C. Sekar, Andrei Voronkov	Term Indexing.	Handbook of Automated Reasoning	2001	DBLP BibTeX RDF
1	I. V. Ramakrishnan (eds.)	Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings	PADL	2001	DBLP BibTeX RDF
1	Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma	Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.	ICLP	2001	DBLP DOI BibTeX RDF
1	Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan	Speculative Beats Conservative Justification.	ICLP	2001	DBLP DOI BibTeX RDF
1	R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka	Model-Carrying Code (MCC): a new paradigm for mobile-code security.	NSPW	2001	DBLP DOI BibTeX RDF	information assurance, mobile code security
1	Abhik Roychoudhury, I. V. Ramakrishnan	Automated Inductive Verification of Parameterized Protocols.	CAV	2001	DBLP DOI BibTeX RDF
1	I. V. Ramakrishnan	Current Trends in Logic Programming: Prospects and Promises.	PADL	2000	DBLP DOI BibTeX RDF
1	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka	Verification of Parameterized Systems Using Logic Program Transformations.	TACAS	2000	DBLP DOI BibTeX RDF
1	Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron	Congruence Closure Modulo Associativity and Commutativity.	FroCos	2000	DBLP DOI BibTeX RDF
1	Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan	Justifying proofs using memo tables.	PPDP	2000	DBLP DOI BibTeX RDF
1	C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan	XMC: A Logic-Programming-Based Verification Toolset.	CAV	2000	DBLP DOI BibTeX RDF
1	Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan	Computational Aspects of Resilient Data Extraction from Semistructured Sources.	PODS	2000	DBLP DOI BibTeX RDF
1	Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan	Design and Implementation of the Physical Layer in WebBases: The XRover Experience.	Computational Logic	2000	DBLP BibTeX RDF
1	I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren	Efficient Access Mechanisms for Tabled Logic Programs.	J. Log. Program.	1999	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan	Generalized Unfold/fold Transformation Systems for Normal Logic Programs.	ICLP	1999	DBLP BibTeX RDF
1	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.	ASIAN	1999	DBLP DOI BibTeX RDF
1	Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan	A Layered Architecture for Querying Dynamic Web Content.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
1	Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari	Normalization via Rewrite Closures.	RTA	1999	DBLP DOI BibTeX RDF
1	Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao	A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.	Fuji International Symposium on Functional and Logic Programming	1999	DBLP DOI BibTeX RDF
1	Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan	A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.	PPDP	1999	DBLP DOI BibTeX RDF
1	Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson	Modeling and Analysis of Interactions in Virtual Enterprises. (PDF / PS)	RIDE	1999	DBLP DOI BibTeX RDF	transaction logic, security, verification, workflows, mediation, Virtual enterprises, temporal dependencies
1	Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka	Tabulation-based Induction Proofs with Application to Automated Verification.	TAPD	1998	DBLP BibTeX RDF
1	Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan	On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution.	IJCSLP	1998	DBLP BibTeX RDF
1	Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar	A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Optimization of Logic Programs, Program Specialization, Determinacy
1	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	DBLP DOI BibTeX RDF
1	Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan	Logic Based Modeling and Analysis of Workflows.	PODS	1998	DBLP DOI BibTeX RDF

Publications of "I. V. Ramakrishnan" ( http://dblp.L3S.de/Authors/I._V._Ramakrishnan )