Terminal weighted grammars and picture description. - Kamala Krithivasan; Anindya Das (Comput. Vis. Graph. Image Process., 1985)

t/s-Diagnosable Systems: A Characterization and Diagnosis Algorithm. - Anindya Das; Krishnaiyan Thulasiraman; Vinod K. Agarwal; K. B. Lakshmanan (WG, 1989)

Diagnosis of t/s-Diagnosable Systems. - Anindya Das; Krishnaiyan Thulasiraman (WG, 1990)

Fault Models in Testing. - Gregor von Bochmann; Anindya Das; Rachida Dssouli; Martin Dubuc; Abderrazak Ghedamsi; Gang Luo (Protocol Test Systems, 1991)

Diagnosis of T/S-Diagnosable Systems. - Anindya Das; Krishnaiyan Thulasiraman; Vinod K. Agarwal (J. Circuits Syst. Comput., 1991)

On Conformance Test and Fault Resolution of Protocols based on FSM Model. - T. Ramalingam; Anindya Das; Krishnaiyan Thulasiraman (NETWORKS, 1992)

Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions. - Gang Luo; Gregor von Bochmann; Anindya Das; Cheng Wu (Inf. Process. Lett., 1992)

An Overview of Fault Management in Telecommunication Networks. - Mahamat Guiagoussou; Anindya Das; Gregor von Bochmann (Advanced Information Processing Techniques for LAN and MAN Management, 1993)

Modeling and Formal Specification of the Personal Communication Service. - D. Desbiens; Gregor von Bochmann; Anindya Das; Joumana Dargham (INFOCOM, 1993)

Generating Tests for Control Portion of SDL Specifications. - Gang Luo; Anindya Das; Gregor von Bochmann (Protocol Test Systems, 1993)

Nondeterministic State Machines in Protocol Conformance Testing. - Alexandre Petrenko; Nina Yevtushenko 001; Alexandre Lebedev; Anindya Das (Protocol Test Systems, 1993)

Distributed Fault diagnosis of a Ring of Processors. - Anindya Das; Krishnaiyan Thulasiraman; K. B. Lakshmanan; Vinod K. Agarwal (Parallel Process. Lett., 1993)

Multiprocessor Fault Diagnosis Under Local Constraints. - Anindya Das; Krishnaiyan Thulasiraman; Vinod K. Agarwal; K. B. Lakshmanan (IEEE Trans. Computers, 1993)

Addressing and Routing in Heterogeneous Data Networks. - J. William Atwood; Jean-Marc Jézéquel; Anindya Das; M'Hamed Nour (HPN, 1994)

Diagnosis of t/(t+1)-Diagnosable Systems. - Anindya Das; Krishnaiyan Thulasiraman; Vinod K. Agarwal (SIAM J. Comput., 1994)

Software Testing Based on SDL Specifications with Save. - Gang Luo; Anindya Das; Gregor von Bochmann (IEEE Trans. Software Eng., 1994)

Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model. - T. Ramalingam; Anindya Das; Krishnaiyan Thulasiraman (Comput. Commun., 1995)

On Testing and Diagnosis of Communication Protocols Based on the FSM Model. - T. Ramalingam; Anindya Das; Krishnaiyan Thulasiraman (Comput. Commun., 1995)

Context Independent Unique Sequences Generation for Protocol Testing. - T. Ramalingom; Krishnaiyan Thulasiraman; Anindya Das (INFOCOM, 1996)

Corrigendum to 'fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model' : [Computer Comm. 18(1995) 113]. - T. Ramalingam; Anindya Das; Krishnaiyan Thulasiraman (Comput. Commun., 1996)

Correct Diagnosis of Almost All Faulty Units in a Multiprocessor System. - Krishnaiyan Thulasiraman; Anindya Das; Kaiyuan Huang; Vinod K. Agarwal (J. Circuits Syst. Comput., 1998)

A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols. - T. Ramalingom; Krishnaiyan Thulasiraman; Anindya Das (IEEE Trans. Computers, 2000)

A scalable on-line multilevel distributed network fault detection/monitoring system based on the SNMP protocol. - Ming-Shan Su; Krishnaiyan Thulasiraman; Anindya Das (GLOBECOM, 2002)

Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines. - T. Ramalingom; Krishnaiyan Thulasiraman; Anindya Das (Comput. Commun., 2003)

On the Design and Analysis of Quaternary Serial and Parallel Adders - Anindya Das; Ifat Jahangir; Masud Hasan (CoRR, 2010)

Formulation and Development of a Novel Quaternary Algebra - Ifat Jahangir; Anindya Das; Masud Hasan (CoRR, 2011)

End-to-end TCP-compatible Backpressure Routing. - Christos Liaskos; Konstantinos Alexandris; Siyu Tang 002; Anindya Das (INFOCOM Workshops, 2022)

Analysis and Evaluation of Fully TCP-Compatible Backpressure-Driven Traffic Engineering. - Christos Liaskos; Konstantinos Alexandris; Anindya Das; Siyu Tang 002; Leandros Tassiulas (IEEE Trans. Netw. Sci. Eng., 2023)