Veena Ravishankar

According to our database, Veena Ravishankar authored at least 10 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Student (Self) Assessment, Feedback, and Relatability in CS-2 Game Programming Assignments.

Veena Ravishankar, Jessica Zeitz

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023

Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes.

Veena Ravishankar, Andrew M. Marshall

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2022

CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms.

Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek

Proceedings of the 13th International Symposium on Games, 2022

2021

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.

Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract).

Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek

Proceedings of the 34th International Workshop on Unification, 2020

2019

On Asymmetric Unification for the Theory of XOR with a Homomorphism.

Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

Asymmetric Unification and Disunification.

Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2013

Influence and Power in Group Interactions.

Tomek Strzalkowski, Samira Shaikh, Ting Liu, George Aaron Broadwell, Jennifer Stromer-Galley, Sarah M. Taylor, Veena Ravishankar, Umit Boz, Xiaoai Ren

Proceedings of the Social Computing, Behavioral-Cultural Modeling and Prediction, 2013

2012

Modeling Leadership and Influence in Multi-party Online Discourse.

Tomek Strzalkowski, Samira Shaikh, Ting Liu, George Aaron Broadwell, Jennifer Stromer-Galley, Sarah M. Taylor, Umit Boz, Veena Ravishankar, Xiaoai Ren

Proceedings of the COLING 2012, 2012

Modeling Influence in Online Multi-party Discourse.

Samira Shaikh, Tomek Strzalkowski, Jennifer Stromer-Galley, George Aaron Broadwell, Sarah M. Taylor, Ting Liu, Veena Ravishankar, Xiaoai Ren, Umit Boz

Proceedings of the 2012 Second International Conference on Cloud and Green Computing, 2012