research
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
research [2021/10/21 15:47] – ruppert | research [2023/12/14 19:31] – eruppert | ||
---|---|---|---|
Line 3: | Line 3: | ||
==== Recent Publications ==== | ==== Recent Publications ==== | ||
- | Many of the papers listed below may be downloaded from the authors' | ||
- | === 2021 === | + | === 2023 === |
- | * Sushant Agarwal, Nivasini Ananthakrishnan, | + | * Spyros Angelopoulos, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]]. |
- | * Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. | + | * Spyros Angelopoulos, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]]. |
- | * Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, [[http://www.cse.yorku.ca/ | + | * Shalom Asbell, [[https://www.eecs.yorku.ca/ |
- | * Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. | + | * Hassan Ashtiani, Vinayak Pathak, [[https://www.eecs.yorku.ca/~uruth|Ruth Urner]]. |
- | * [[http://www.cse.yorku.ca/~gt|George Tourlakis]], //Computability//, Springer, 2021. | + | * Paul Bastide, Marthe Bonamy, Anthony Bonato, Pierre Charbit, |
- | * Yuanhao Wei, Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]], Yihan Sun. | + | * Joan Boyar, Lene M. Favrholdt, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]], Kim S. Larsen. |
- | === 2020 === | + | * [[https:// |
- | * Sushant Agarwal, Nivasini Ananthakrishnan, | + | * Fasil Cheema, [[https://www.eecs.yorku.ca/~uruth|Ruth Urner]]. |
- | * Hassan Ashtiani, Vinayak Pathak, [[http://www.cse.yorku.ca/~ruth|Ruth Urner]]. | + | * Tosca Lechner, [[https://www.eecs.yorku.ca/~uruth|Ruth Urner]], Shai Ben-David. Strategic Classification with Unknown User Manipulations. In //Proc. International Conference on Machine Learning//, |
- | * Qiyi Tang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. | + | * Hossein Naderibeni, [[https://www.eecs.yorku.ca/~ruppert|Eric Ruppert]]. |
- | === 2019 === | + | * Amgad Rady, [[http:// |
- | * Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, [[http:// | + | * Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang, [[http:// |
- | * Panagiota Fatourou, Elias Papavasileiou, [[http://www.cse.yorku.ca/ | + | * Yuanhao Wei, Guy E. Blelloch, |
- | * Christina Göpfert, Shai Ben-David, Olivier Bousquet, Sylvain Gelly, Ilya O. Tolstikhin, [[http:// | + | === 2022 === |
- | * Niloufar Shafiei. | + | * Spyros Angelopoulos, |
- | === 2018 === | + | * Spyros Angelopoulos, |
- | * [[http:// | + | * Hans-Joachim Böckenhauer, |
- | * Qiyi Tang, [[http:// | + | * [[http:// |
- | * Qiyi Tang, [[http://www.cse.yorku.ca/ | + | * Charlie Carlson, Ewan Davies, Nicolas Fraiman, Alexandra Kolla, [[https://www.adityapotukuchi.com|Aditya Potukuchi]], Corrine Yap. |
- | === 2017 === | + | * Sadia Chowdhury, [[https:// |
- | * [[http:// | + | * Carole Delporte-Gallet, |
- | * Stefan Dobrev, [[http:// | + | * Saulo dos Santos, Japjeet Singh, Ruppa K. Thulasiram, [[http:// |
- | * Aryeh Kontorovich, Sivan Sabato, [[http://www.cse.yorku.ca/ | + | * James Freitag, Neshat Mohammadi, [[https://www.adityapotukuchi.com|Aditya Potukuchi]], Lev Reyzin. |
- | * [[http://www.cse.yorku.ca/ | + | * Matthew Jenssen, Will Perkins, |
- | * Ben Spencer, Michael Benedikt, Anders Møller, [[http://www.cse.yorku.ca/ | + | * Matthew Jenssen, [[https://www.adityapotukuchi.com|Aditya Potukuchi]], Will Perkins. Approximately counting independent sets in bipartite graphs via graph containers. In //Proc. 33rd ACM-SIAM Symposium on Discrete Algorithms//, 2022. |
- | * Qiyi Tang, [[http:// | + | * [[http:// |
- | === 2016 === | + | * [[http:// |
- | * James Aspnes, | + | * [[http:// |
- | * Arkadev Chattopadhyay, [[http:// | + | * Tosca Lechner, [[http:// |
- | * Stephen A. Cook, [[http:// | + | * [[http:// |
- | * Qiyi Tang, [[http:// | + | === 2021 === |
- | === 2015 === | + | * Sushant Agarwal, Nivasini Ananthakrishnan, |
- | * Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, [[http:// | + | * Nivasini Ananthakrishnan, |
- | * Md. Kowsar Hossain, [[http:// | + | * Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, [[http:// |
+ | |||
+ | * Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, [[http:// | ||
+ | |||
+ | * Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, [[http:// | ||
+ | |||
+ | * Yunge Hao, [[http:// | ||
+ | |||
+ | * Yuanhao Wei, Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, [[http:// | ||
+ | |||
+ | === 2020 === | ||
+ | |||
+ | * Sushant Agarwal, Nivasini Ananthakrishnan, | ||
+ | |||
+ | * Hassan Ashtiani, Vinayak Pathak, [[http:// | ||
+ | |||
+ | * Qiyi Tang, [[http:// | ||
- | * [[http:// | ||
=== Publications in Previous Years === | === Publications in Previous Years === | ||
- | * [[2014]] | + | * [[2015-2019|2015-2019]] |
- | * [[2013]] | + | * [[2010-2014|2010-2014]] |
- | * [[2012]] | + | * [[2006-2009|2006-2009]] |
- | * [[2011]] | + | |
- | * [[2010]] | + | |
- | * [[2009]] | + | |
- | * [[2008]] | + | |
- | * [[2007]] | + | |
- | * [[2006]] | + | |
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// | ||
Line 93: | Line 101: | ||
==== Graduate Theses ==== | ==== Graduate Theses ==== | ||
+ | |||
+ | * Sadia Chowdhury, Novel Examinations of Interpretable Surrogates and Adversarial Robustness in Machine Learning, M.Sc. thesis, 2021. | ||
+ | |||
+ | * Yunge Hao, On Solovay' | ||
+ | |||
+ | * Karan Singh, Ensuring Fairness Despite Differences in Environment, | ||
+ | |||
+ | * Kowsar Hossain, An Efficient MAC Protocol for Wireless Sensor and Ad Hoc Networks, M.Sc. thesis, 2017. | ||
* Amgad Rady, Characterizing Implementations that Preserve Properties of Concurrent Randomized Algorithms, M.Sc. thesis, 2017. | * Amgad Rady, Characterizing Implementations that Preserve Properties of Concurrent Randomized Algorithms, M.Sc. thesis, 2017. | ||
+ | |||
+ | * Feng Gao, A short and readable proof of cut elimination for two 1st-order modal logics, M.Sc. thesis, 2016. | ||
* Niloufar Shafiei, Non-Blocking Data Structures Handling Multiple Changes Atomically, Ph.D. thesis, 2015. | * Niloufar Shafiei, Non-Blocking Data Structures Handling Multiple Changes Atomically, Ph.D. thesis, 2015. | ||
+ | |||
+ | * Stephen Voland, Random Polyhedral Scenes, M.Sc. thesis, 2015. | ||
* Nastaran Shafiei, Model-Checking of Distributed Multithreaded Java Applications, | * Nastaran Shafiei, Model-Checking of Distributed Multithreaded Java Applications, | ||
Line 107: | Line 127: | ||
* Rahul Chaturvedi, Electing and Maintaining Leaders in Populations of Autonomous Agents, M.Sc. thesis, 2012. | * Rahul Chaturvedi, Electing and Maintaining Leaders in Populations of Autonomous Agents, M.Sc. thesis, 2012. | ||
+ | |||
+ | * Yehuda Schwartz, Some Results in Computability and the Proof Theory of Predicate Modal Logic, Ph.D. thesis, 2012. | ||
* Joanna Helga, Complexity Analysis of Non-blocking Binary Search Trees, M.Sc. project, 2011. | * Joanna Helga, Complexity Analysis of Non-blocking Binary Search Trees, M.Sc. project, 2011. |
research.txt · Last modified: 2024/09/23 00:53 by eruppert