We stand with Ukraine  

Sonya Simkin

According to our database1, Sonya Simkin authored at least 4 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols.
[BibTeX]
[DOI]
Tesla Zhang
,
Asher Kornfeld
,
Rui Li
,
Sonya Simkin
,
Yue Yao
,
Stephanie Balzer
CoRR, November, 2025

A Language-Agnostic Logical Relation for Message-Passing Protocols.
[BibTeX]
[DOI]
Tesla Zhang
,
Sonya Simkin
,
Rui Li
,
Yue Yao
,
Stephanie Balzer
CoRR, June, 2025

2024
TBD Pedestrian Data Collection: Towards Rich, Portable, and Large-Scale Natural Pedestrian Data.
[BibTeX]
[DOI]
Allan Wang
,
Daisuke Sato
,
Yasser Corzo
,
Sonya Simkin
,
Abhijat Biswas
,
Aaron Steinfeld
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023
TBD Pedestrian Data Collection: Towards Rich, Portable, and Large-Scale Natural Pedestrian Data.
[BibTeX]
[DOI]
Allan Wang
,
Daisuke Sato
,
Yasser Corzo
,
Sonya Simkin
,
Aaron Steinfeld
CoRR, 2023


  Loading...