Andrei BroderMonika Henzinger

Formal methods in system design

Rajeev Alur, Andrei BroderMonika Henzinger, 1999, LICS 1999.

Information retrieval on the Web Tools & algorithmic issues

Andrei BroderMonika Henzinger, 1998 .