Associate Professor
519-253-3000 ext. 3713
xjchen@uwindsor.ca
Office: L.T. 8100
Education:
- BSc from Beijing University
- PhD from Scuola Normale Superiore di Pisa
Research Interests:
- Multimedia (online video streaming)
- Data analysis and machine learning
- Formal specification and verification (temporal logics, model checking)
- Communication protocols
- Software design and testing
Selected Publications:
Jessica Chen, Henry Milner, Ion Stoica, Jibin Zhan. Benchmark of Bitrate Adaptation in Video Streaming. ACM Journal of Data and Information Quality, Vol. 13, Issue 4, No. 22, pp 1-24, 2021.
Zahaib Akhtar, Anh Minh Le, Yun Seong Nam, Jessica Chen, Ramesh Govindan, Ethan Katz-Bassett, Sanjay G. Rao, Jibin Zhan. Improving Adaptive Video Streaming through Session Classification. ACM Journal of Data and Information Quality, Vol. 11, Issue 4, No. 21, pp 1-29, 2019.
Zahaib Akhtar, Yun Seong Nam, Ramesh Govindan, Sanjay G. Rao, Jessica Chen, Ethan Katz-Bassett, Bruno Ribeiro, Jibin Zhan, Hui Zhang. Oboe: auto-tuning video ABR algorithms to network conditions. ACM SIGCOMM 2018, pages 44-58.
Xiao Jun Chen, Rocco De Nicola. Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theoretical Computer Science 254(1-2): 337-361, Elsevier, 2001.
Xiao Jun Chen, Giuseppe De Giacomo. Reasoning about nondeterministic and concurrent actions: a process algebra approach. Artificial Intelligence 107(1): 63-98, Elsevier, 1999.
Meet Dr. Chen!