Digital Archeology: Recovering Digital Objects from Audio Waveforms. - Mark Guttenbrunner; Andreas Rauber; Chrisanth Lederer; Annu John; Mihai Ghete (iPRES, 2009)

Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology. - Mark Guttenbrunner; Mihai Ghete; Annu John; Chrisanth Lederer; Andreas Rauber (Int. J. Digit. Curation, 2011)

Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms - Annu John; Igor Konnov 001; Ulrich Schmid 001; Helmut Veith; Josef Widder (CoRR, 2012)

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms - Annu John; Igor Konnov 001; Ulrich Schmid 001; Helmut Veith; Josef Widder (CoRR, 2012)

Parameterized model checking of fault-tolerant distributed algorithms by abstraction. - Annu John; Igor Konnov 001; Ulrich Schmid 001; Helmut Veith; Josef Widder (FMCAD, 2013)

Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. - Annu John; Igor Konnov 001; Ulrich Schmid 001; Helmut Veith; Josef Widder (PODC, 2013)

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. - Annu John; Igor Konnov 001; Ulrich Schmid 001; Helmut Veith; Josef Widder (SPIN, 2013)