Vishnu Murali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ATVA | Control Closure Certificates. | Vishnu Murali, Mohammed Adib Oumer, Majid Zamani |
| 2024 | AAAI | Neural Closure Certificates. | Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani |
| 2024 | KES | Evaluation of Feature Selection and Pre-Processing Techniques for Ethylene Glycol-Water Ratio Classification in Process Thermostat. | Patrick Harfmann, Akash Mangaluru Ramananda, Fabian Wagner, Vishnu Murali, Lokesh Sharath Babu, Magnus Nigmann, Markus Kley |
| 2022 | ATVA | Optimal Repair for Omega-Regular Properties. | Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi |