Parvin Sadigova

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Backtracking Algorithm

Mobile Payments

Top Venues

Publications

Pierre Ciholas, Aidan Lennie, Parvin Sadigova, Jose M. Such
The Security of Smart Buildings: a Systematic Literature Review. CoRR (2019)
Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina
Lookahead-Based SMT Solving. LPAR (2018)