The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Rakesh M. Verma" ( http://dblp.L3S.de/Authors/Rakesh_M._Verma )

URL (Homepage):  http://rodin.cs.uh.edu/~rmverma/  Author page on DBLP  Author page in RDF  Community of Rakesh M. Verma in ASPL-2

Publication years (Num. hits)
1986-1995 (17) 1996-2001 (15) 2002-2008 (16) 2009-2014 (15) 2015-2017 (25) 2018-2019 (14)
Publication types (Num. hits)
article(39) inproceedings(59) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 58 occurrences of 48 keywords

Results
Found 103 publication records. Showing 102 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rakesh M. Verma, Samaneh Karimi, Daniel Lee, Omprakash Gnawali, Azadeh Shakery Newswire versus Social Media for Disaster Response and Recovery. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alan T. Sherman, Linda Oliva, Enis Golaszewski, Dhananjay S. Phatak, Travis Scheponik, Geoffrey L. Herman, Dong San Choi, Spencer E. Offenberger, Peter Peterson, Josiah Dykstra, Gregory V. Bard, Ankur Chattopadhyay, Filipo Sharevski, Rakesh M. Verma, Ryan Vrecenar The CATS Hackathon: Creating and Refining Test Items for Cybersecurity Concept Inventories. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Avisha Das, Rakesh M. Verma Automated email Generation for Targeted Attacks using Natural Language. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Samaneh Karimi, Azadeh Shakery, Rakesh M. Verma Online News Media Website Ranking Using User Generated Content. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Rakesh M. Verma, Victor Zeng, Houtan Faridi Data Quality for Security Challenges: Case Studies of Phishing, Malware and Intrusion Detection Datasets. Search on Bibsonomy CCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Houtan Faridi, Srivathsan Srinivasagopalan, Rakesh M. Verma Parameter Tuning and Confidence Limits of Malware Clustering. Search on Bibsonomy CODASPY The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luis F. T. Moraes, Shahryar Baki, Rakesh M. Verma, Daniel Lee Identifying reference spans: topic modeling and word embeddings help IR. Search on Bibsonomy Int. J. on Digital Libraries The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Samaneh Karimi, Luis F. T. Moraes, Avisha Das, Azadeh Shakery, Rakesh M. Verma Citance-based retrieval and summarization using IR and machine learning. Search on Bibsonomy Scientometrics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Houtan Faridi, Srivathsan Srinivasagopalan, Rakesh M. Verma Performance Evaluation of Features and Clustering Algorithms for Malware. Search on Bibsonomy ICDM Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gal Egozi, Rakesh M. Verma Phishing Email Detection Using Robust NLP Techniques. Search on Bibsonomy ICDM Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma Security Analytics: Adapting Data Science for Security Challenges. Search on Bibsonomy IWSPA@CODASPY The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Boris Chernis, Rakesh M. Verma Machine Learning Methods for Software Vulnerability Detection. Search on Bibsonomy IWSPA@CODASPY The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Murat Kantarcioglu (eds.) Proceedings of the Fourth ACM International Workshop on Security and Privacy Analytics, IWSPA@CODASPY 2018, Tempe, AZ, USA, March 19-21, 2018 Search on Bibsonomy IWSPA@CODASPY The full citation details ... 2018 DBLP  BibTeX  RDF
1Luis F. T. De Moraes, Avisha Das, Samaneh Karimi, Rakesh M. Verma University of Houston @ CL-SciSumm 2018. Search on Bibsonomy BIRNDL@SIGIR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma Uniqueness of Normal Forms for Shallow Term Rewrite Systems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Daniel Lee Extractive Summarization: Limits, Compression, Generalized Model and Heuristics. Search on Bibsonomy Computación y Sistemas The full citation details ... 2017 DBLP  BibTeX  RDF
1Rakesh M. Verma, Daniel Lee Extractive Summarization: Limits, Compression, Generalized Model and Heuristics. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alan T. Sherman, Melissa Dark, Agnes Chan, Rylan Chong, Thomas Morris, Linda Oliva, John A. Springer, Bhavani M. Thuraisingham, Christopher Vatcher, Rakesh M. Verma, Susanne Wetzel The INSuRE Project: CAE-Rs Collaborate to Engage Students in Cybersecurity Research. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Luis F. T. Moraes, Shahryar Baki, Rakesh M. Verma, Daniel Lee Identifying Reference Spans: Topic Modeling and Word Embeddings help IR. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alan T. Sherman, Melissa Dark, Agnes Chan, Rylan Chong, Thomas Morris, Linda Oliva, John A. Springer, Bhavani M. Thuraisingham, Christopher Vatcher, Rakesh M. Verma, Susanne Wetzel INSuRE: Collaborating Centers of Academic Excellence Engage Students in Cybersecurity Research. Search on Bibsonomy IEEE Security & Privacy The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shahryar Baki, Rakesh M. Verma, Arjun Mukherjee, Omprakash Gnawali Scaling and Effectiveness of Email Masquerade Attacks: Exploiting Natural Language Generation. Search on Bibsonomy AsiaCCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Ayman El Aassal Comprehensive Method for Detecting Phishing EmailsUsing Correlation-based Analysis and User Participation. Search on Bibsonomy CODASPY The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Bhavani M. Thuraisingham (eds.) Proceedings of the 3rd ACM on International Workshop on Security And Privacy Analytics, IWSPA@CODASPY 2017, Scottsdale, Arizona, USA, March 24, 2017 Search on Bibsonomy IWSPA@CODASPY The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Avisha Das What's in a URL: Fast Feature Extraction and Malicious URL Detection. Search on Bibsonomy IWSPA@CODASPY The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vasanthi Vuppuluri, Shahryar Baki, An Nguyen, Rakesh M. Verma ICE: Idiom and Collocation Extractor for Research and Education. Search on Bibsonomy EACL (Software Demonstrations) The full citation details ... 2017 DBLP  BibTeX  RDF
1Samaneh Karimi, Luis F. T. Moraes, Avisha Das, Rakesh M. Verma University of Houston @ CL-SciSumm 2017: Positional language Models, Structural Correspondence Learning and Textual Entailment. Search on Bibsonomy BIRNDL@SIGIR (2) The full citation details ... 2017 DBLP  BibTeX  RDF
1Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma Uniqueness of Normal Forms for Shallow Term Rewrite Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Rakesh M. Verma, Michaël Rusinowitch (eds.) Proceedings of the 2016 ACM on International Workshop on Security And Privacy Analytics, IWSPA@CODASPY 2016, New Orleans, LA, USA, March 11, 2016 Search on Bibsonomy IWSPA@CODASPY The full citation details ... 2016 DBLP  BibTeX  RDF
1Luis F. T. Moraes, Shahryar Baki, Rakesh M. Verma, Daniel Lee University of Houston at CL-SciSumm 2016: SVMs with tree kernels and Sentence Similarity. Search on Bibsonomy BIRNDL@JCDL The full citation details ... 2016 DBLP  BibTeX  RDF
1Rakesh M. Verma, Vasanthi Vuppuluri, An Nguyen, Arjun Mukherjee, Ghita Mammar, Shahryar Baki, Reed Armstrong Mining the Web for Collocations: IR Models of Term Associations. Search on Bibsonomy CICLing (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Narasimha Shashidhar, Chadi Kari, Rakesh M. Verma The Efficacy of Epidemic Algorithms on Detecting Node Replicas in Wireless Sensor Networks. Search on Bibsonomy J. Sensor and Actuator Networks The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Murat Kantarcioglu, David J. Marchette, Ernst L. Leiss, Thamar Solorio Security Analytics: Essential Data Analytics Knowledge for Cybersecurity Professionals and Students. Search on Bibsonomy IEEE Security & Privacy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Vasanthi Vuppuluri A New Approach for Idiom Identification Using Meanings and the Web. Search on Bibsonomy RANLP The full citation details ... 2015 DBLP  BibTeX  RDF
1Wenyaw Chan, George Cybenko, Murat Kantarcioglu, Ernst L. Leiss, Thamar Solorio, Bhavani M. Thuraisingham, Rakesh M. Verma Panel: Essential Data Analytics Knowledge forCyber-security Professionals and Students. Search on Bibsonomy IWSPA@CODASPY The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Keith Dyer On the Character of Phishing URLs: Accurate and Robust Statistical Learning Classifiers. Search on Bibsonomy CODASPY The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stephen Huang, Rakesh M. Verma (eds.) Proceedings of the 2015 ACM International Workshop on International Workshop on Security and Privacy Analytics, IWSPA@CODASPY 2015, San Antonio, TX, USA, March 4, 2015 Search on Bibsonomy IWSPA@CODASPY The full citation details ... 2015 DBLP  BibTeX  RDF
1Rakesh M. Verma, Nirmala Rai Phish-IDetector: Message-Id Based Automatic Phishing Detection. Search on Bibsonomy SECRYPT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhimin Gao, Nicholas DeSalvo, Pham Dang Khoa, Seung-Hun Kim, Lei Xu 0012, Won Woo Ro, Rakesh M. Verma, Weidong Shi Integrity Protection for Big Data Processing with Dynamic Redundancy Computation. Search on Bibsonomy ICAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tayfun Tuna, Mahima Joshi, Varun Varghese, Rucha Deshpande, Jaspal Subhlok, Rakesh M. Verma Topic based segmentation of classroom videos. Search on Bibsonomy FIE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tanmay Thakur, Rakesh M. Verma Catching Classical and Hijack-Based Phishing Attacks. Search on Bibsonomy ICISS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Bailey E. Basile Modeling and analysis of LEAP, a key management protocol for wireless sensor networks. Search on Bibsonomy SECON The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Nabil Hossain Semantic Feature Selection for Text with Application to Phishing Email Detection. Search on Bibsonomy ICISC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma New Undecidability Results for Properties of Term Rewrite Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Narasimha Shashidhar, Nabil Hossain Two-Pronged Phish Snagging. Search on Bibsonomy ARES The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Araly Barrera, Rakesh M. Verma Combining Syntax and Semantics for Automatic Extractive Single-Document Summarization. Search on Bibsonomy CICLing (2) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Narasimha Shashidhar, Nabil Hossain Detecting Phishing Emails the Natural Language Way. Search on Bibsonomy ESORICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Araly Barrera, Rakesh M. Verma Automated extractive single-document summarization: beating the baselines with a new approach. Search on Bibsonomy SAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Araly Barrera, Rakesh M. Verma, Ryan Vincent SemQuest: University of Houston's Semantics-based Question Answering System. Search on Bibsonomy TAC The full citation details ... 2011 DBLP  BibTeX  RDF
1Julian Zinn, Rakesh M. Verma A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sam Blackshear, Rakesh M. Verma R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF key distribution protocols, wireless sensor networks
1Araly Barrera, Rakesh M. Verma A Ranking-based Approach for Multiple-document Information Extraction. Search on Bibsonomy TAC The full citation details ... 2010 DBLP  BibTeX  RDF
1Nicholas R. Radcliffe, Rakesh M. Verma Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems. Search on Bibsonomy FSTTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zhiyao Liang, Rakesh M. Verma Correcting and Improving the NP Proof for Cryptographic Protocol Insecurity. Search on Bibsonomy ICISS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF insecurity, Cryptographic protocols, secrecy, NP
1Wenshan Yu, Rakesh M. Verma Visualization of rule-based programming. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF module, expression, graphical interface, rule-based programming
1Zhiyao Liang, Rakesh M. Verma Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF insider, authentication, formal method, cryptographic protocol, undecidability, secrecy
1Zhiyao Liang, Rakesh M. Verma Complexity of Checking Freshness of Cryptographic Protocols. Search on Bibsonomy ICISS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Athena, NP-completeness, Cryptographic protocols, undecidability, replay attack, model checker, freshness, challenge response
1Rakesh M. Verma, David Kent, Ping Chen Semantic Multi-Document Update Summarization Techniques. Search on Bibsonomy TAC The full citation details ... 2008 DBLP  BibTeX  RDF
1Ping Chen, Rakesh M. Verma, Janet C. Meininger, Wenyaw Chan Semantic Analysis of Association Rules. Search on Bibsonomy FLAIRS Conference The full citation details ... 2008 DBLP  BibTeX  RDF
1Ping Chen, Rakesh M. Verma A Query-Based Medical Information Summarization System Using Ontology Knowledge. Search on Bibsonomy CBMS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Information Retrieval, Text Summarization, UMLS, Biomedical Ontology
1Michal Armoni, Susan H. Rodger, Moshe Y. Vardi, Rakesh M. Verma Automata theory: its relevance to computer science students and course contents. Search on Bibsonomy SIGCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF automata course, curriculum, relevance
1Rakesh M. Verma, Ara Hayrapetyan A new decidability technique for ground term rewriting systems with applications. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma
1Rakesh M. Verma A visual and interactive automata theory course emphasizing breadth of automata. Search on Bibsonomy ITiCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF string automata, formal languages, tree automata, rule-based programming
1Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Rewriting, Confluence, Terms
1Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma Deciding confluence of certain term rewriting systems in polynomial time. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bas Luttik, Piet Rodenburg, Rakesh M. Verma Remarks on Thatte's transformation of term rewriting systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma On the Confluence of Linear Shallow Term Rewrite Systems. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Sarah Hwang On the Structure of Counterexamples to Symmetric Orderings for BDD's. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma Algorithms and reductions for rewriting problems II. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Sanjiv Behl K-tree/forest: efficient indexes for boolean queries. Search on Bibsonomy SIGIR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF keyword tree, keyword-based retrieval, parallelization, indexing
1Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez Algorithms and Reductions for Rewriting Problems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2001 DBLP  BibTeX  RDF
1Mark van den Brand, Rakesh M. Verma RULE2001 - Foreword. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sanjiv Behl, Rakesh M. Verma Efficient declustering techniques for temporal access structures. Search on Bibsonomy ADC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF parallelization, temporal databases, access methods, declustering
1Rakesh M. Verma Static Analysis Techniques for Equational Logic Programming Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Peter J. Varman, Rakesh M. Verma Tight Bounds for Prefetching and Buffer Management Algorithms for Parallel I/O Systems. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF multiple-disk systems, algorithms, caching, prefetching, Parallel I/O, buffer management, competitive ratio, external memory
1Rakesh M. Verma, Shalitha Senanayake LarrowR2: A Laboratory fro Rapid Term Graph Rewriting. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez Algorithms and Reductions for Rewriting Problems. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Paliath Narendran, Michaël Rusinowitch, Rakesh M. Verma RPO Constraint Solving Is in NP. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Shou-Hsuan Stephen Huang, Hongfei Liu, Rakesh M. Verma On Embedding Rectangular Meshes into Rectangular Meshes of Smaller Aspect Ratio. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Peter J. Varman, Rakesh M. Verma An Efficient Multiversion Access STructure. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Transaction-time database, I/O complexity, data structures, indexing, access methods, multidimensional data
1Rakesh M. Verma General Techniques for Analyzing Recursive Algorithms with Applications. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma Unique Normal Forms for Nonlinear Term Rewriting Systems: Root Overlaps. Search on Bibsonomy FCT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Shou-Hsuan Stephen Huang, Hongfei Liu, Rakesh M. Verma A New Combinatorial Approach to Optimal Embeddings of Rectangles. Search on Bibsonomy Algorithmica The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter J. Varman, Rakesh M. Verma Tight Bounds for Prefetching and Buffer Management Algorithms for Parallel I/O Systems. Search on Bibsonomy FSTTCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma Transformations and Confluence for Rewrite Systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma A Theory of Using History for Equational Systems with Applications. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF congruence-closure algorithm, rewrite system transformation, term rewrite systems, proof theory, equational logic
1Rakesh M. Verma Unique Normal Forms and Confluence of Rewrite Systems: Persistence. Search on Bibsonomy IJCAI The full citation details ... 1995 DBLP  BibTeX  RDF
1Rakesh M. Verma A General Method and a Master Theorem for Divide-and-Conquer Recurrences with Applications. Search on Bibsonomy J. Algorithms The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Shou-Hsuan Stephen Huang, Hongfei Liu, Rakesh M. Verma A New Combinatorial Approach to Optimal Embeddings of Rectangles. Search on Bibsonomy IPPS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma Smaran: A Congruence-Closure Based System for Equational Computations. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Shou-Hsuan Stephen Huang, Hongfei Liu, Rakesh M. Verma On Embeddings of Rectangles into Optimal Squares. Search on Bibsonomy ICPP (3) The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma Strings, Trees, and Patterns. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, I. V. Ramakrishnan Tight Complexity Bounds for Term Matching Problems Search on Bibsonomy Inf. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma A Theory of Using History for Equational Systems with Applications (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF translation scheme, equational systems, congruence closure based simplifier, consistent convergent systems, priority rewrite systems, normal forms
1Rakesh M. Verma, I. V. Ramakrishnan Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems. Search on Bibsonomy ICALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1R. Ramesh 0001, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan Term Matching on Parallel Computers. Search on Bibsonomy J. Log. Program. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, Steven W. Reyner An Analysis of a Good Algorithm for the Subtree Problem, Corrected. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, I. V. Ramakrishnan Some Complexity Theoretic Aspects of AC Rewriting. Search on Bibsonomy STACS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Rakesh M. Verma, I. V. Ramakrishnan Optimal Time Bounds for Parallel Term Matching. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF optimal bounds, parallel term matching, complexity
Displaying result #1 - #100 of 102 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license