Rahul Govind
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Reversible transducers over infinite words | 2026-02-10 | Paper |
| MITL model checking via generalized timed automata and a new liveness algorithm | 2026-02-10 | Paper |
| Automated synthesis of decision lists for polynomial specifications over integers | 2025-02-19 | Paper |
| PySPH: A Python-based Framework for Smoothed Particle Hydrodynamics ACM Transactions on Mathematical Software | 2022-02-01 | Paper |
Research outcomes over time
This page was built for person: Rahul Govind
