1. Using Forward Reachability Analysis for Verification of Lossy Channel Systems
2. Saud Aljaloud , Markus Luczak-Roesch , Tim Chown , and Nicholas Gibbins . 2014 . Get All , Filter Details - On the Use of Regular Expressions in SPARQL Queries. In Workshop on Usage Analysis and the Web of Data (USEWOD). Saud Aljaloud, Markus Luczak-Roesch, Tim Chown, and Nicholas Gibbins. 2014. Get All, Filter Details - On the Use of Regular Expressions in SPARQL Queries. In Workshop on Usage Analysis and the Web of Data (USEWOD).
3. Renzo Angles , Angela Bonifati , Stefania Dumbrava , George Fletcher , Keith W. Hare , Jan Hidders , Victor E. Lee , Bei Li , Leonid Libkin , Wim Martens , Filip Murlak , Josh Perryman , Ognjen Savkovic , Michael Schmidt , Juan F. Sequeda , Slawek Staworko , and Dominik Tomaszuk . 2021 . PG-Keys: Keys for Property Graphs. In International Conference on Management of Data (SIGMOD). ACM, 2423--2436 . Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Keith W. Hare, Jan Hidders, Victor E. Lee, Bei Li, Leonid Libkin, Wim Martens, Filip Murlak, Josh Perryman, Ognjen Savkovic, Michael Schmidt, Juan F. Sequeda, Slawek Staworko, and Dominik Tomaszuk. 2021. PG-Keys: Keys for Property Graphs. In International Conference on Management of Data (SIGMOD). ACM, 2423--2436.
4. Marcelo Arenas Pablo Barceló Leonid Libkin Wim Martens and Andreas Pieris. 2022. Principles of Databases. Book in progress. Available at https://github.com/pdm-book/community/raw/main/pdm-public.pdf. Marcelo Arenas Pablo Barceló Leonid Libkin Wim Martens and Andreas Pieris. 2022. Principles of Databases. Book in progress. Available at https://github.com/pdm-book/community/raw/main/pdm-public.pdf.
5. Mario Arias , Javier D. Fernández , Miguel A. Martinez-Prieto , and Pablo de la Fuente . 2011. An Empirical Study of Real-World SPARQL Queries. CoRR abs/1103.5043 ( 2011 ). http://arxiv.org/abs/1103.5043 Mario Arias, Javier D. Fernández, Miguel A. Martinez-Prieto, and Pablo de la Fuente. 2011. An Empirical Study of Real-World SPARQL Queries. CoRR abs/1103.5043 (2011). http://arxiv.org/abs/1103.5043