Author/Creator: Prabhakar, Pavithra - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Prabhakar, Pavithra

1. Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2017)

Editors:: Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra
Other Names:: NSV (Workshop), 9th; CAV (Conference), 28th, jointly held conference
Record Type:: Book
Extent:: 1 online resource (vii, 107 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. (2018)

Editors:: Jansen, David N; Prabhakar, Pavithra
Other Names:: FORMATS (Conference), 16th
Record Type:: Book
Extent:: 1 online resource (x, 289 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. Issue 5 (2021)

Authors:: Prabhakar, Pavithra; Liu, Jun
Journal:: IFAC-PapersOnLine
Issue:: Volume 54:Issue 5(2021)
Page Start:: 115
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Duplication cyst with midgut volvulus in a neonate: an unusual presentation. Issue 8 (26th August 2020)

Authors:: Pai, Nitin G; Prabhu, Santosh; Prabhakar, Pavithra; Kumar, Vijay
Journal:: BMJ case reports
Issue:: Volume 13:Issue 8(2020)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Abstraction based verification of stability of polyhedral switched systems. (May 2020)

Authors:: García Soto, Miriam; Prabhakar, Pavithra
Journal:: Nonlinear analysis
Issue:: Volume 36(2020)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗