Dhruv Nevatia - Publications

My Talks

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)