Veena Ravishankar

14 papers B 1Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2024 — conf
Student (Self) Assessment, Feedback, and Relatability in CS-2 Game Programming Assignments.
SIGCSE (2)
Veena Ravishankar, Jessica Zeitz
2023 — conf
Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes.
SIGCSE (2)
Veena Ravishankar, Andrew M. Marshall
2022 — conf
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms.
GandALF
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek
2021 — conf
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.
FroCoS
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
2021 J jnl
Text-based large-scale programming assignment for teaching object-oriented analysis and design: faculty poster abstract.
J. Comput. Sci. Coll.
Jessica Zeitz, Veena Ravishankar
2020 — conf
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract).
UNIF
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
2019 — conf
Asymmetric Unification and Disunification.
Description Logic, Theory Combination, and All That
Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran
2019 J jnl
Introduction to cyber security.
J. Comput. Sci. Coll.
Veena Ravishankar
2019 — conf
On Asymmetric Unification for the Theory of XOR with a Homomorphism.
FroCos
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar
2019 J jnl
On Asymmetric Unification for the Theory of XOR with a Homomorphism.
CoRR
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar
2017 J jnl
Asymmetric Unification and Disunification.
CoRR
Veena Ravishankar, Kimberly A. Gero, Paliath Narendran
2013 — conf
Influence and Power in Group Interactions.
SBP
Tomek Strzalkowski, Samira Shaikh, Ting Liu, George Aaron Broadwell, Jennifer Stromer-Galley, Sarah M. Taylor, Veena Ravishankar, Umit Boz, Xiaoai Ren
2012 — conf
Modeling Influence in Online Multi-party Discourse.
CGC
Samira Shaikh, Tomek Strzalkowski, Jennifer Stromer-Galley, George Aaron Broadwell, Sarah M. Taylor, Ting Liu, Veena Ravishankar, Xiaoai Ren, Umit Boz
2012 B conf
Modeling Leadership and Influence in Multi-party Online Discourse.
COLING
Tomek Strzalkowski, Samira Shaikh, Ting Liu, George Aaron Broadwell, Jennifer Stromer-Galley, Sarah M. Taylor, Umit Boz, Veena Ravishankar, Xiaoai Ren