Dhruv Nevatia - Publications

My Talks

Search

An Automata-Theoretic Characterisation of Weighted First-Order Logic

October 2023, ATVA'23 Conference , Singapore
June 2023, Formal Methods Update'23 , Goa, India
July 2023, Highlights'23 Conference , Kassel, Germany

Register Systems Through the Lens of Logic

June 2022, Highlights'22 Conference , Zoom

An Algebraic Characterisation of First-Order Logic with Neighbour

September 2021, Highlights'21 Conference , Zoom
June 2021, LICS conference'21 , Zoom

PDF (Erlangen) PDF (Dagstuhl, extended)

Brzozowski's algorithm (co)algebraically

October 2012, Dagstuhl workshop on Coalgebraic logics , Dagstuhl, Germany (joint talk with Helle Hansen)
April 2012, 2012 Bellairs Workshop , Bellairs, Barbados (blackboard talk)