Qi Qiu
Ancien membre LIRIS depuis le : 2024-10-31
| Qualité (LIRIS) | Doctorant |
| Équipe(s) | DRIM |
| Employeur | Université Claude Bernard Lyon 1 |
| Thèse | Preuve automatique de terminaison : contributions à la réécriture de graphes par graphes de type pondérés étendus et dénombrement de morphismes (cliquer pour voir les détails) |
Publications (IdHAL : qiqiu)
Publications LIRIS pour Qi Qiu (6)
- 2025 (4)
- Conférences (2)
- Conférences internationales avec comité de lecture (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 (Allemagne). 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 (Allemagne). HAL : hal-04954960. .
- Brevets et logiciels (1)
- Qi Qiu (2025). « LyonParallel ». HAL : hal-05305387.
- Rapports (1)
- Rapports de recherche/technique (1)
- Qi Qiu (2025). « Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting with anti-patterns ». HAL : hal-04973012. .
- 2024 (1)
- Rapports (1)
- Rapports de recherche/technique (1)
- Qi Qiu (2024). « Proving Termination of Linear DPO Graph Rewriting Systems using Weighted Type Graphs ». HAL : hal-04729748. .
- 2023 (1)
- Conférences (1)
- Conférences internationales avec comité de lecture (1)
- Jasmin Blanchette, Qi Qiu & Sophie Tourret (2023). « Verified Given Clause Procedures ». CADE-29, Rome (Italie), 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)