Qi Qiu
Former LIRIS member since: 2024-10-31
| Quality | PhD student |
| Team(s) | DRIM |
| Institution | Université Claude Bernard Lyon 1 |
| Thesis | Automated Termination Proving: Contributions to Graph Rewriting via Extended Weighted Type Graphs and Morphism Counting (click to view details) |
Publications (IdHAL : qiqiu)
Publications LIRIS pour Qi Qiu (6)
- 2025 (4)
- Conferences (2)
- International conferences with peer review (2)
- Qi Qiu (2025). "Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting". 18th International Conference on Graph Transformation (ICGT 2025), 12 juin 2025, Koblenz (Germany). doi : 10.1007/978-3-031-94706-3_1. HAL : hal-04955684.
. 
- Qi Qiu (2025). "Termination of Graph Rewriting using Weighted Type Graphs over Non-well-founded Semirings". 16th International Workshop on Graph Computation Models, 10 juin 2025, Koblenz (Germany). HAL : hal-04954960. .
- Patents and softwares (1)
- Qi Qiu (2025). "LyonParallel". HAL : hal-05305387.
- Reports (1)
- Research reports/tecnical reports (1)
- Qi Qiu (2025). "Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting with anti-patterns". HAL : hal-04973012. .
- 2024 (1)
- Reports (1)
- Research reports/tecnical reports (1)
- Qi Qiu (2024). "Proving Termination of Linear DPO Graph Rewriting Systems using Weighted Type Graphs". HAL : hal-04729748. .
- 2023 (1)
- Conferences (1)
- International conferences with peer review (1)
- Jasmin Blanchette, Qi Qiu & Sophie Tourret (2023). "Verified Given Clause Procedures". CADE-29, Rome (Italy), pp. 61-77. doi : 10.1007/978-3-031-38499-8_4. HAL : hal-04298505. .
Publications hors LIRIS
Publication hors LIRIS pour Qi Qiu (0)