Rakesh M. Verma

175 papers A* 8A 12B 12C 3Misc 13Journal 66Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Guided Perturbation Sensitivity (GPS): Detecting Adversarial Text via Embedding Stability and Word Importance. AAAI Bryan E. Tuck, Rakesh M. Verma
2026	Misc	`ed.`	Information Systems Security - 21st International Conference, ICISS 2025, Indore, India, December 16-20, 2025, Proceedings ICISS Neminath Hubballi, Rakesh M. Verma, Shyamasundar Rudrapatna K.
2026	B	`conf`	LeTMEMo: Leveraging Topic Modeling for Evaluating (Closed-Vocabulary) Models. IDA Vu Minh Hoang Dang, Rakesh M. Verma
2025	—	`conf`	An Agent-Based Model for Evaluating Connected and Autonomous Vehicles, Collective Behaviors and Traffic System Performance. SP (Workshops) Rajkumar Konka, Rakesh M. Verma, Shun Cao, Yunpeng Zhang
2025	J	`jnl`	Assessing Representation Stability for Transformer Models. CoRR Bryan E. Tuck, Rakesh M. Verma
2025	J	`jnl`	Autoencoder-Based Framework to Capture Vocabulary Quality in NLP. CoRR Vu Minh Hoang Dang, Rakesh M. Verma
2025	J	`jnl`	Domain-independent deception: a new taxonomy and linguistic analysis. Frontiers Big Data Rakesh M. Verma, Nachum Dershowitz, Victor Zeng, Dainis Boumber, Xuting Liu
2025	J	`jnl`	Orthographic Constraint Satisfaction and Human Difficulty Alignment in Large Language Models. CoRR Bryan E. Tuck, Rakesh M. Verma
2025	J	`jnl`	Real-Time, Evidence-Based Alerts for Protection From Phishing Attacks. IEEE Trans. Dependable Secur. Comput. Shahryar Baki, Fatima Zahra Qachfar, Rakesh M. Verma, Ryan Kennedy, Daniel Jones
2025	B	`conf`	Unmasking the Imposters: How Censorship and Domain Adaptation Affect the Detection of Machine-Generated Tweets. COLING Bryan E. Tuck, Rakesh M. Verma
2025	B	`conf`	Vocabulary Quality in NLP Datasets: An Autoencoder-Based Framework Across Domains and Languages. IDA Vu Minh Hoang Dang, Rakesh M. Verma
2024	J	`jnl`	A Roadmap for Multilingual, Multimodal Domain Independent Deception Detection. CoRR Dainis Boumber, Rakesh M. Verma, Fatima Zahra Qachfar
2024	B	`conf`	All Your LLMs Belong to Us: Experiments with a New Extortion Phishing Dataset. DBSec Fatima Zahra Qachfar, Rakesh M. Verma
2024	A	`conf`	Blue Sky: Multilingual, Multimodal Domain Independent Deception Detection. SDM Dainis Boumber, Rakesh M. Verma, Fatima Zahra Qachfar
2024	—	`conf`	Data Quality in NLP: Metrics and a Comprehensive Taxonomy. IDA (1) Vu Minh Hoang Dang, Rakesh M. Verma
2024	—	`conf`	DetectiveReDASers at HSD-2Lang 2024: A New Pooling Strategy with Cross-lingual Augmentation and Ensembling for Hate Speech Detection in Low-resource Languages. CASE Fatima Zahra Qachfar, Bryan Tuck, Rakesh M. Verma
2024	—	`conf`	Domain Independent Deception Detection: Feature Sets, LIWC Efficacy, and Synthetic Data Challenges. IWSPA@CODASPY Casey Hanks, Shanina Ko, Emily Nguyen, Rakesh M. Verma
2024	—	`conf`	Domain-Agnostic Adapter Architecture for Deception Detection: Extensive Evaluations with the DIFrauD Benchmark. LREC/COLING Dainis Boumber, Fatima Zahra Qachfar, Rakesh M. Verma
2024	J	`jnl`	Domain-Independent Deception: A New Taxonomy and Linguistic Analysis. CoRR Rakesh M. Verma, Nachum Dershowitz, Victor Zeng, Dainis Boumber, Xuting Liu
2024	Misc	`conf`	Effects of Soft-Domain Transfer and Named Entity Information on Deception Detection. ICISS Steven Triplett, Simon Minami, Rakesh M. Verma
2024	J	`jnl`	Effects of Soft-Domain Transfer and Named Entity Information on Deception Detection. CoRR Steven Triplett, Simon Minami, Rakesh M. Verma
2024	J	`jnl`	Homograph Attacks on Maghreb Sentiment Analyzers. CoRR Fatima Zahra Qachfar, Rakesh M. Verma
2024	—	`conf`	LLMs for Explainable Few-shot Deception Detection. IWSPA@CODASPY Dainis Boumber, Bryan E. Tuck, Rakesh M. Verma, Fatima Zahra Qachfar
2024	J	`jnl`	Pitfalls of Publishing in the Age of LLMs. AI Matters Rakesh M. Verma, Nachum Dershowitz
2024	—	`ed.`	Proceedings of the 10th ACM International Workshop on Security and Privacy Analytics, IWSPA 2024, Porto, Portugal, 21 June 2024 IWSPA@CODASPY Hongxin Hu, Andrew H. Sung, Rakesh M. Verma
2024	J	`jnl`	The Pitfalls of Publishing in the Age of LLMs: Strange and Surprising Adventures with a High-Impact NLP Journal. CoRR Rakesh M. Verma, Nachum Dershowitz
2024	J	`jnl`	Unmasking the Imposters: In-Domain Detection of Human vs. Machine-Generated Tweets. CoRR Bryan E. Tuck, Rakesh M. Verma
2023	—	`conf`	Adversarial Robustness of Phishing Email Detection Models. IWSPA@CODASPY Parisa Mehdi Gholampour, Rakesh M. Verma
2023	—	`conf`	DetectiveRedasers at ArAIEval Shared Task: Leveraging Transformer Ensembles for Arabic Deception Detection. ArabicNLP Bryan Tuck, Fatima Zahra Qachfar, Dainis Boumber, Rakesh M. Verma
2023	J	`jnl`	Enhancement of Twitter event detection using news streams. Nat. Lang. Eng. Samaneh Karimi, Azadeh Shakery, Rakesh M. Verma
2023	—	`ed.`	Proceedings of the 9th ACM International Workshop on Security and Privacy Analytics, IWSPA@CODASPY 2023, Charlotte, NC, USA, 26 April 2023. IWSPA@CODASPY David J. Marchette, Andrew H. Sung, Rakesh M. Verma
2023	—	`conf`	ReDASPersuasion at ArAIEval Shared Task: Multilingual and Monolingual Models For Arabic Persuasion Detection. ArabicNLP Fatima Zahra Qachfar, Rakesh M. Verma
2023	—	`conf`	ReDASPersuasion at SemEval-2023 Task 3: Persuasion Detection using Multilingual Transformers and Language Agnostic Features. SemEval@ACL Fatima Zahra Qachfar, Rakesh M. Verma
2023	J	`jnl`	Rebutting Rebuttals. Commun. ACM Nachum Dershowitz, Rakesh M. Verma
2023	J	`jnl`	Sixteen Years of Phishing User Studies: What Have We Learned? IEEE Trans. Dependable Secur. Comput. Shahryar Baki, Rakesh M. Verma
2023	—	`conf`	USDOT Tier-1 University Transportation Center for Advancing Cybersecurity Research and Education. MOST Yunpeng Jack Zhang, Kailai Wang, Lingguang Song, Amaury Lendasse, Houbing Herbert Song, Zhu Han, Rakesh M. Verma, Arlei Silva, Carlos E. Rubio-Medrano, Zhixia Richard Li, Guohui Zhang
2022	—	`ed.`	CODASPY '22: Twelveth ACM Conference on Data and Application Security and Privacy, Baltimore, MD, USA, April 24 - 27, 2022 CODASPY Anupam Joshi, Maribel Fernández, Rakesh M. Verma
2022	C	`conf`	Data Quality and Linguistic Cues for Domain-independent Deception Detection. BDCAT Casey Hanks, Rakesh M. Verma
2022	—	`conf`	Does Deception Leave a Content Independent Stylistic Trace? CODASPY Victor Zeng, Xuting Liu, Rakesh M. Verma
2022	J	`jnl`	Domain-Independent Deception: Definition, Taxonomy and the Linguistic Cues Debate. CoRR Rakesh M. Verma, Nachum Dershowitz, Victor Zeng, Xuting Liu
2022	—	`ed.`	IWSPA@CODASPY 2022: Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics, Baltimore, MD, USA, April 27, 2022 IWSPA@CODASPY Andrew H. Sung, Rakesh M. Verma, Roland H. C. Yap
2022	—	`conf`	Leveraging Synthetic Data and PU Learning For Phishing Email Detection. CODASPY Fatima Zahra Qachfar, Rakesh M. Verma, Arjun Mukherjee
2022	—	`conf`	Software Vulnerability Detection via Multimodal Deep Learning. STM Xin Zhou, Rakesh M. Verma
2022	A	`conf`	Vulnerability Detection via Multimodal Learning: Datasets and Analysis. AsiaCCS Xin Zhou, Rakesh M. Verma
2021	—	`ed.`	CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, Virtual Event, USA, April 26-28, 2021 CODASPY Anupam Joshi, Barbara Carminati, Rakesh M. Verma
2021	A	`conf`	Capacity Expansion in Cybersecurity: Challenges and Prospects. SIGCSE Rakesh M. Verma
2021	Misc	`conf`	Claim Verification Using a Multi-GAN Based Model. RANLP Amartya Hatua, Arjun Mukherjee, Rakesh M. Verma
2021	J	`jnl`	Claim Verification using a Multi-GAN based Model. CoRR Amartya Hatua, Arjun Mukherjee, Rakesh M. Verma
2021	—	`conf`	On the Feasibility of Using GANs for Claim Verification- Experiments and Analysis. ROMCIR@ECIR Amartya Hatua, Arjun Mukherjee, Rakesh M. Verma
2021	J	`jnl`	Online news media website ranking using user-generated content. J. Inf. Sci. Samaneh Karimi, Azadeh Shakery, Rakesh M. Verma
2021	J	`jnl`	Sixteen Years of Phishing User Studies: What Have We Learned? CoRR Shahryar Baki, Rakesh M. Verma
2021	A	`conf`	What is the Security Mindset? Can it be Developed? SIGCSE Rakesh M. Verma, Rangarajan Ray Parthasarathy, Lila Ghemri
2020	—	`conf`	Adversarial Machine Learning for Text. IWSPA@CODASPY Daniel Lee, Rakesh M. Verma
2020	J	`jnl`	An In-Depth Benchmarking and Evaluation of Phishing Detection Research for Security Needs. IEEE Access Ayman El Aassal, Shahryar Baki, Avisha Das, Rakesh M. Verma
2020	J	`jnl`	Can Machines Tell Stories? A Comparative Study of Deep Neural Language Models and Metrics. IEEE Access Avisha Das, Rakesh M. Verma
2020	—	`conf`	Developing A Compelling Vision for Winning the Cybersecurity Arms Race. CODASPY Elisa Bertino, Anoop Singhal, Srivathsan Srinivasagopalan, Rakesh M. Verma
2020	—	`conf`	Diverse Datasets and a Customizable Benchmarking Framework for Phishing. IWSPA@CODASPY Victor Zeng, Shahryar Baki, Ayman El Aassal, Rakesh M. Verma, Luis Felipe Teixeira De Moraes, Avisha Das
2020	J	`jnl`	Experiments in Extractive Summarization: Integer Linear Programming, Term/Sentence Scoring, and Title-driven Models. CoRR Daniel Lee, Rakesh M. Verma, Avisha Das, Arjun Mukherjee
2020	—	`ed.`	IWSPA@CODASPY '20: Proceedings ofthe Sixth International Workshop on Security and Privacy Analytics, New Orleans, LA, USA, March 18, 2020 IWSPA@CODASPY Rakesh M. Verma, Latifur Khan, Chilukuri K. Mohan
2020	J	`jnl`	Less is More: Exploiting Social Trust to Increase the Effectiveness of a Deception Attack. CoRR Shahryar Baki, Rakesh M. Verma, Arjun Mukherjee, Omprakash Gnawali
2020	J	`jnl`	Modeling Coherency in Generated Emails by Leveraging Deep Neural Learners. CoRR Avisha Das, Rakesh M. Verma
2020	A*	`conf`	PhishBench 2.0: A Versatile and Extendable Benchmarking Framework for Phishing. CCS Victor Zeng, Xin Zhou, Shahryar Baki, Rakesh M. Verma
2020	—	`conf`	Phishing Sites Detection from a Web Developer's Perspective Using Machine Learning. HICSS Xin Zhou, Rakesh M. Verma
2020	A	`conf`	Poster: A Modular and Innovative Security Analytics Course. SIGCSE Rakesh M. Verma
2020	A	`conf`	Scam Augmentation and Customization: Identifying Vulnerable Users and Arming Defenders. AsiaCCS Shahryar Baki, Rakesh M. Verma, Omprakash Gnawali
2020	J	`jnl`	SoK: A Comprehensive Reexamination of Phishing Research From the Security Perspective. IEEE Commun. Surv. Tutorials Avisha Das, Shahryar Baki, Ayman El Aassal, Rakesh M. Verma, Arthur Dunbar
2019	J	`jnl`	Automated email Generation for Targeted Attacks using Natural Language. CoRR Avisha Das, Rakesh M. Verma
2019	A*	`conf`	Data Quality for Security Challenges: Case Studies of Phishing, Malware and Intrusion Detection Datasets. CCS Rakesh M. Verma, Victor Zeng, Houtan Faridi
2019	J	`jnl`	Newswire versus Social Media for Disaster Response and Recovery. CoRR Rakesh M. Verma, Samaneh Karimi, Daniel Lee, Omprakash Gnawali, Azadeh Shakery
2019	J	`jnl`	Online News Media Website Ranking Using User Generated Content. CoRR Samaneh Karimi, Azadeh Shakery, Rakesh M. Verma
2019	—	`conf`	Parameter Tuning and Confidence Limits of Malware Clustering. CODASPY Houtan Faridi, Srivathsan Srinivasagopalan, Rakesh M. Verma
2019	J	`jnl`	SOK: A Comprehensive Reexamination of Phishing Research from the Security Perspective. CoRR Avisha Das, Shahryar Baki, Ayman El Aassal, Rakesh M. Verma, Arthur Dunbar
2019	J	`jnl`	The CATS Hackathon: Creating and Refining Test Items for Cybersecurity Concept Inventories. CoRR Alan 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
2019	J	`jnl`	The CATS Hackathon: Creating and Refining Test Items for Cybersecurity Concept Inventories. IEEE Secur. Priv. Alan T. Sherman, Josiah Dykstra, Gregory V. Bard, Ankur Chattopadhyay, Filipo Sharevski, Rakesh M. Verma, Ryan Vrecenar, Linda Oliva, Enis Golaszewski, Dhananjay S. Phatak, Travis Scheponik, Geoffrey L. Herman, Dong San Choi, Spencer E. Offenberger, Peter Peterson
2018	J	`jnl`	Citance-based retrieval and summarization using IR and machine learning. Scientometrics Samaneh Karimi, Luis F. T. Moraes, Avisha Das, Azadeh Shakery, Rakesh M. Verma
2018	J	`jnl`	Identifying reference spans: topic modeling and word embeddings help IR. Int. J. Digit. Libr. Luis F. T. Moraes, Shahryar Baki, Rakesh M. Verma, Daniel Lee
2018	—	`conf`	Machine Learning Methods for Software Vulnerability Detection. IWSPA@CODASPY Boris Chernis, Rakesh M. Verma
2018	—	`conf`	Performance Evaluation of Features and Clustering Algorithms for Malware. ICDM Workshops Houtan Faridi, Srivathsan Srinivasagopalan, Rakesh M. Verma
2018	—	`conf`	Phishing Email Detection Using Robust NLP Techniques. ICDM Workshops Gal Egozi, Rakesh M. Verma
2018	—	`ed.`	Proceedings of the Fourth ACM International Workshop on Security and Privacy Analytics, IWSPA@CODASPY 2018, Tempe, AZ, USA, March 19-21, 2018 IWSPA@CODASPY Rakesh M. Verma, Murat Kantarcioglu
2018	—	`conf`	Security Analytics: Adapting Data Science for Security Challenges. IWSPA@CODASPY Rakesh M. Verma
2018	—	`conf`	University of Houston @ CL-SciSumm 2018. BIRNDL@SIGIR Luis F. T. De Moraes, Avisha Das, Samaneh Karimi, Rakesh M. Verma
2017	—	`conf`	Comprehensive Method for Detecting Phishing EmailsUsing Correlation-based Analysis and User Participation. CODASPY Rakesh M. Verma, Ayman El Aassal
2017	J	`jnl`	Extractive Summarization: Limits, Compression, Generalized Model and Heuristics. CoRR Rakesh M. Verma, Daniel Lee
2017	J	`jnl`	Extractive Summarization: Limits, Compression, Generalized Model and Heuristics. Computación y Sistemas Rakesh M. Verma, Daniel Lee
2017	—	`conf`	ICE: Idiom and Collocation Extractor for Research and Education. EACL (Software Demonstrations) Vasanthi Vuppuluri, Shahryar Baki, An Nguyen, Rakesh M. Verma
2017	J	`jnl`	INSuRE: Collaborating Centers of Academic Excellence Engage Students in Cybersecurity Research. IEEE Secur. Priv. Alan T. Sherman, Melissa Dark, Agnes H. Chan, Rylan Chong, Thomas H. Morris, Linda Oliva, John A. Springer, Bhavani Thuraisingham, Christopher Vatcher, Rakesh M. Verma, Susanne Wetzel
2017	J	`jnl`	Identifying Reference Spans: Topic Modeling and Word Embeddings help IR. CoRR Luis F. T. Moraes, Shahryar Baki, Rakesh M. Verma, Daniel Lee
2017	—	`ed.`	Proceedings of the 3rd ACM on International Workshop on Security And Privacy Analytics, IWSPA@CODASPY 2017, Scottsdale, Arizona, USA, March 24, 2017 IWSPA@CODASPY Rakesh M. Verma, Bhavani Thuraisingham
2017	A	`conf`	Scaling and Effectiveness of Email Masquerade Attacks: Exploiting Natural Language Generation. AsiaCCS Shahryar Baki, Rakesh M. Verma, Arjun Mukherjee, Omprakash Gnawali
2017	J	`jnl`	The INSuRE Project: CAE-Rs Collaborate to Engage Students in Cybersecurity Research. CoRR Alan T. Sherman, Melissa Dark, Agnes H. Chan, Rylan Chong, Thomas H. Morris, Linda Oliva, John A. Springer, Bhavani Thuraisingham, Christopher Vatcher, Rakesh M. Verma, Susanne Wetzel
2017	J	`jnl`	Uniqueness of Normal Forms for Shallow Term Rewrite Systems. ACM Trans. Comput. Log. Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma
2017	—	`conf`	University of Houston @ CL-SciSumm 2017: Positional language Models, Structural Correspondence Learning and Textual Entailment. BIRNDL@SIGIR (2) Samaneh Karimi, Luis F. T. Moraes, Avisha Das, Rakesh M. Verma
2017	—	`conf`	What's in a URL: Fast Feature Extraction and Malicious URL Detection. IWSPA@CODASPY Rakesh M. Verma, Avisha Das
2016	—	`conf`	Mining the Web for Collocations: IR Models of Term Associations. CICLing (1) Rakesh M. Verma, Vasanthi Vuppuluri, An Nguyen, Arjun Mukherjee, Ghita Mammar, Shahryar Baki, Reed Armstrong
2016	—	`ed.`	Proceedings of the 2016 ACM on International Workshop on Security And Privacy Analytics, IWSPA@CODASPY 2016, New Orleans, LA, USA, March 11, 2016 IWSPA@CODASPY Rakesh M. Verma, Michaël Rusinowitch
2016	J	`jnl`	Uniqueness of Normal Forms for Shallow Term Rewrite Systems. CoRR Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma
2016	—	`conf`	University of Houston at CL-SciSumm 2016: SVMs with tree kernels and Sentence Similarity. BIRNDL@JCDL Luis F. T. Moraes, Shahryar Baki, Rakesh M. Verma, Daniel Lee
2015	Misc	`conf`	A New Approach for Idiom Identification Using Meanings and the Web. RANLP Rakesh M. Verma, Vasanthi Vuppuluri
2015	—	`conf`	Integrity Protection for Big Data Processing with Dynamic Redundancy Computation. ICAC Zhimin Gao, Nicholas DeSalvo, Pham Dang Khoa, Seung-Hun Kim, Lei Xu, Won Woo Ro, Rakesh M. Verma, Weidong Shi
2015	—	`conf`	On the Character of Phishing URLs: Accurate and Robust Statistical Learning Classifiers. CODASPY Rakesh M. Verma, Keith Dyer
2015	—	`conf`	Panel: Essential Data Analytics Knowledge forCyber-security Professionals and Students. IWSPA@CODASPY Wenyaw Chan, George Cybenko, Murat Kantarcioglu, Ernst L. Leiss, Thamar Solorio, Bhavani Thuraisingham, Rakesh M. Verma
2015	C	`conf`	Phish-IDetector: Message-Id Based Automatic Phishing Detection. SECRYPT Rakesh M. Verma, Nirmala Rai
2015	—	`ed.`	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 IWSPA@CODASPY Stephen Huang, Rakesh M. Verma
2015	J	`jnl`	Security Analytics: Essential Data Analytics Knowledge for Cybersecurity Professionals and Students. IEEE Secur. Priv. Rakesh M. Verma, Murat Kantarcioglu, David J. Marchette, Ernst L. Leiss, Thamar Solorio
2015	J	`jnl`	The Efficacy of Epidemic Algorithms on Detecting Node Replicas in Wireless Sensor Networks. J. Sens. Actuator Networks Narasimha K. Shashidhar, Chadi Kari, Rakesh M. Verma
2015	C	`conf`	Topic based segmentation of classroom videos. FIE Tayfun Tuna, Mahima Joshi, Varun Varghese, Rucha Deshpande, Jaspal Subhlok, Rakesh M. Verma
2014	Misc	`conf`	Catching Classical and Hijack-Based Phishing Attacks. ICISS Tanmay Thakur, Rakesh M. Verma
2013	B	`conf`	Modeling and analysis of LEAP, a key management protocol for wireless sensor networks. SECON Rakesh M. Verma, Bailey E. Basile
2013	Misc	`conf`	Semantic Feature Selection for Text with Application to Phishing Email Detection. ICISC Rakesh M. Verma, Nabil Hossain
2012	J	`jnl`	A data mining hypertextbook: design, implementation and experience. J. Comput. Sci. Coll. Rakesh M. Verma, Ping Chen
2012	—	`conf`	Combining Syntax and Semantics for Automatic Extractive Single-Document Summarization. CICLing (2) Araly Barrera, Rakesh M. Verma
2012	A	`conf`	Detecting Phishing Emails the Natural Language Way. ESORICS Rakesh M. Verma, Narasimha K. Shashidhar, Nabil Hossain
2012	B	`conf`	Two-Pronged Phish Snagging. ARES Rakesh M. Verma, Narasimha K. Shashidhar, Nabil Hossain
2011	Misc	`conf`	Automated extractive single-document summarization: beating the baselines with a new approach. SAC Araly Barrera, Rakesh M. Verma
2011	J	`jnl`	Designing an undergraduate data mining course by matching teaching strategies with student learning styles. J. Comput. Sci. Coll. Ping Chen, Irene Chen, Rakesh M. Verma
2011	—	`conf`	Does Unification Help in Normalization? UNIF Rakesh M. Verma, Wei Guo
2011	—	`conf`	SemQuest: University of Houston's Semantics-based Question Answering System. TAC Araly Barrera, Rakesh M. Verma, Ryan E. Vincent
2010	—	`conf`	A Ranking-based Approach for Multiple-document Information Extraction. TAC Araly Barrera, Rakesh M. Verma
2010	J	`jnl`	A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems. Appl. Algebra Eng. Commun. Comput. Julian Zinn, Rakesh M. Verma
2010	J	`jnl`	Improving an undergraduate data mining course with real-world projects. J. Comput. Sci. Coll. Ping Chen, Irene Chen, Rakesh M. Verma
2010	Misc	`conf`	R-LEAP+: randomizing LEAP+ key distribution to resist replay and jamming attacks. SAC Sam Blackshear, Rakesh M. Verma
2010	—	`conf`	Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems. FSTTCS Nicholas R. Radcliffe, Rakesh M. Verma
2009	J	`jnl`	Complexity of Normal Form Properties and Reductions for Term Rewriting Problems Complexity of Normal Form Properties and Reductions for Term Rewriting Problems. Fundam. Informaticae Rakesh M. Verma
2009	Misc	`conf`	Correcting and Improving the NP Proof for Cryptographic Protocol Insecurity. ICISS Zhiyao Liang, Rakesh M. Verma
2008	Misc	`conf`	Complexity of Checking Freshness of Cryptographic Protocols. ICISS Zhiyao Liang, Rakesh M. Verma
2008	B	`conf`	Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols. ARES Zhiyao Liang, Rakesh M. Verma
2008	—	`conf`	New Undecidability Results for Properties of Term Rewrite Systems. RULE Rakesh M. Verma
2008	Misc	`conf`	Semantic Analysis of Association Rules. FLAIRS Ping Chen, Rakesh M. Verma, Janet C. Meininger, Wenyaw Chan
2008	—	`conf`	Semantic Multi-Document Update Summarization Techniques. TAC Rakesh M. Verma, David Kent, Ping Chen
2008	Misc	`conf`	Visualization of rule-based programming. SAC Wenshan Yu, Rakesh M. Verma
2006	B	`conf`	A Query-Based Medical Information Summarization System Using Ontology Knowledge. CBMS Ping Chen, Rakesh M. Verma
2006	A	`conf`	Automata theory: its relevance to computer science students and course contents. SIGCSE Michal Armoni, Susan H. Rodger, Moshe Y. Vardi, Rakesh M. Verma
2005	J	`jnl`	A new decidability technique for ground term rewriting systems with applications. ACM Trans. Comput. Log. Rakesh M. Verma, Ara Hayrapetyan
2005	B	`conf`	A visual and interactive automata theory course emphasizing breadth of automata. ITiCSE Rakesh M. Verma
2004	J	`jnl`	Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Appl. Algebra Eng. Commun. Comput. Guillem Godoy, Ashish Tiwari, Rakesh M. Verma
2004	J	`jnl`	Deciding confluence of certain term rewriting systems in polynomial time. Ann. Pure Appl. Log. Guillem Godoy, Ashish Tiwari, Rakesh M. Verma
2004	J	`jnl`	Remarks on Thatte's transformation of term rewriting systems. Inf. Comput. Bas Luttik, Piet Rodenburg, Rakesh M. Verma
2003	A	`conf`	On the Confluence of Linear Shallow Term Rewrite Systems. STACS Guillem Godoy, Ashish Tiwari, Rakesh M. Verma
2002	J	`jnl`	Algorithms and reductions for rewriting problems II. Inf. Process. Lett. Rakesh M. Verma
2002	A*	`conf`	K-tree/forest: efficient indexes for boolean queries. SIGIR Rakesh M. Verma, Sanjiv Behl
2002	—	`conf`	On the Structure of Counterexamples to Symmetric Orderings for BDD's. CATS Rakesh M. Verma, Sarah Hwang
2001	J	`jnl`	Algorithms and Reductions for Rewriting Problems. Fundam. Informaticae Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez
2001	Misc	`conf`	Efficient declustering techniques for temporal access structures. ADC Sanjiv Behl, Rakesh M. Verma
2001	B	`conf`	Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. ICLP Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma
2001	—	`conf`	RULE2001 - Foreword. RULE@PLI Mark van den Brand, Rakesh M. Verma
2001	—	`ed.`	Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001 RULE Mark van den Brand, Rakesh M. Verma
2000	J	`jnl`	Static Analysis Techniques for Equational Logic Programming CoRR Rakesh M. Verma
1999	—	`conf`	L RTA Rakesh M. Verma, Shalitha Senanayake
1999	J	`jnl`	Tight Bounds for Prefetching and Buffer Management Algorithms for Parallel I/O Systems. IEEE Trans. Parallel Distributed Syst. Peter J. Varman, Rakesh M. Verma
1998	—	`conf`	Algorithms and Reductions for Rewriting Problems. RTA Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez
1998	B	`conf`	RPO Constraint Solving Is in NP. CSL Paliath Narendran, Michaël Rusinowitch, Rakesh M. Verma
1997	J	`jnl`	An Efficient Multiversion Access STructure. IEEE Trans. Knowl. Data Eng. Peter J. Varman, Rakesh M. Verma
1997	J	`jnl`	General Techniques for Analyzing Recursive Algorithms with Applications. SIAM J. Comput. Rakesh M. Verma
1997	J	`jnl`	On Embedding Rectangular Meshes into Rectangular Meshes of Smaller Aspect Ratio. Inf. Process. Lett. Shou-Hsuan Stephen Huang, Hongfei Liu, Rakesh M. Verma
1997	B	`conf`	Unique Normal Forms for Nonlinear Term Rewriting Systems: Root Overlaps. FCT Rakesh M. Verma
1996	J	`jnl`	A New Combinatorial Approach to Optimal Embeddings of Rectangles. Algorithmica Shou-Hsuan Stephen Huang, Hongfei Liu, Rakesh M. Verma
1996	—	`conf`	Tight Bounds for Prefetching and Buffer Management Algorithms for Parallel I/O Systems. FSTTCS Peter J. Varman, Rakesh M. Verma
1995	J	`jnl`	A Theory of Using History for Equational Systems with Applications. J. ACM Rakesh M. Verma
1995	J	`jnl`	Transformations and Confluence for Rewrite Systems. Theor. Comput. Sci. Rakesh M. Verma
1995	A*	`conf`	Unique Normal Forms and Confluence of Rewrite Systems: Persistence. IJCAI Rakesh M. Verma
1994	J	`jnl`	A General Method and a Master Theorem for Divide-and-Conquer Recurrences with Applications. J. Algorithms Rakesh M. Verma
1994	—	`conf`	A New Combinatorial Approach to Optimal Embeddings of Rectangles. IPPS Shou-Hsuan Stephen Huang, Hongfei Liu, Rakesh M. Verma
1993	—	`conf`	On Embeddings of Rectangles into Optimal Squares. ICPP (3) Shou-Hsuan Stephen Huang, Hongfei Liu, Rakesh M. Verma
1993	—	`conf`	Smaran: A Congruence-Closure Based System for Equational Computations. RTA Rakesh M. Verma
1992	J	`jnl`	Strings, Trees, and Patterns. Inf. Process. Lett. Rakesh M. Verma
1992	J	`jnl`	Tight Complexity Bounds for Term Matching Problems Inf. Comput. Rakesh M. Verma, I. V. Ramakrishnan
1991	A*	`conf`	A Theory of Using History for Equational Systems with Applications (Extended Abstract) FOCS Rakesh M. Verma
1990	A*	`conf`	Nonoblivious Normalization Algorithms for Nonlinear Rewrite Systems. ICALP Rakesh M. Verma, I. V. Ramakrishnan
1989	J	`jnl`	An Analysis of a Good Algorithm for the Subtree Problem, Corrected. SIAM J. Comput. Rakesh M. Verma, Steven W. Reyner
1989	A	`conf`	Some Complexity Theoretic Aspects of AC Rewriting. STACS Rakesh M. Verma, I. V. Ramakrishnan
1989	J	`jnl`	Term Matching on Parallel Computers. J. Log. Program. R. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan
1988	A	`conf`	Optimal Time Bounds for Parallel Term Matching. CADE Rakesh M. Verma, I. V. Ramakrishnan
1987	A*	`conf`	Term Matching on Parallel Computers. ICALP R. Ramesh, Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan
1986	—	`conf`	An Efficient Parallel Algorithm for Term Matching. FSTTCS Rakesh M. Verma, Krishnaprasad Thirunarayan, I. V. Ramakrishnan