mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-12-01 15:22:59 -05:00
42 lines
3.3 KiB
Markdown
42 lines
3.3 KiB
Markdown
---
|
|
Title: Publications
|
|
Descriptions: Papers, Presentations, and Grants obtained
|
|
showthedate: false
|
|
---
|
|
|
|
## Papers
|
|
|
|
(Under Consideration) **Brandon Rozek**, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu. "A Representation-and-Reasoning Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-agent Reasoning & Decision-making", International Conference on Principles of Knowledge Representation and Reasoning, 2022.
|
|
|
|
[Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, **Brandon Rozek**. "Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems", International Symposium on Frontiers of Combining Systems, 2021.](https://link.springer.com/chapter/10.1007/978-3-030-86205-3_14)
|
|
|
|
|
|
## Workshops
|
|
|
|
[D Chichester, W Du, R Kauffman, H Lin, C Lynch, A Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, **B Rozek**. "CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms", International Workshop on Rewriting Logic and its Applications, 2022.](http://sv.postech.ac.kr/wrla2022/assets/files/pre-proceedings-WRLA2022.pdf#page=12)
|
|
|
|
[Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, **Brandon Rozek**. "Algorithmic Problems in Synthesized Cryptosystems", International Workshop on Unification, 2020.](https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58)
|
|
|
|
|
|
## Thesis
|
|
|
|
(Undergraduate) [Brandon Rozek. "Expediting Learning with Interactive Demonstrations", University of Mary Washington, 2019.](https://scholar.umw.edu/student_research/305/)
|
|
|
|
## Presentations
|
|
|
|
[D Chichester, W Du, R Kauffman, H Lin, C Lynch, A Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, **B Rozek**. "CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms", International Workshop on Rewriting Logic and its Applications, 2022.](/files/slides/wrla2022-slides.pdf)
|
|
|
|
[Brandon Rozek. "QEP: The Quality Policy Evaluation Algorithm", Research and Creativity Day at University of Mary Washington, 2019.](/files/research/QEP.pptx) ([Program](/files/research/UMW-RC-2019.pdf#page=3))
|
|
|
|
[**Brandon Rozek**, Stefano Coronado. "Beowulf Cluster for Research and Education", Research and Creativity Day at University of Mary Washington, 2018.](/files/research/LUNACposter.pdf) ([Program](/files/research/UMW-RC-2018.pdf#page=7))
|
|
|
|
[Brandon Rozek. "Coherent Control of Atomic Population Using the Genetic Algorithm", Summer Science Institute Research Symposium, 2017.](/files/research/coherentcontrolofatomicpopulation.pdf)
|
|
|
|
[Hannah Killian, **Brandon Rozek**. "Modelling Population Dynamics of Incoherent and Coherent Excitation", Virginia Academy of Science, 2017.](/files/research/modellingpopulationdynamics.pdf) ([Program](/files/research/VAS-Proceedings-95-2017.pdf#page=6))
|
|
|
|
Hannah Killian, **Brandon Rozek**. “Modeling Population Dynamics of Incoherent and Coherent Excitation", Research and Creativity Day at University of Mary Washington, 2017. ([Program](/files/research/UMW-RC-2017.pdf#page=14))
|
|
|
|
|
|
## Grants
|
|
|
|
[Clare Arrington, Maia Magrakvilidze, Ethan Ramirez, **Brandon Rozek** "High Performance Cluster System for Research and Education", University of Mary Washington, 2017-2018 School Year ($3500)](https://cas.umw.edu/wp-content/blogs.dir/51/files/2018/10/Fall-2017-Awards.pdf)
|