Concepedia

Author

Madhavan Mukund

Chennai Mathematical InstituteORCID

Also Known As

M. Mukund, MADHAVAN MUKUND, Madhavan Mukund, Mukund, Madhavan

200

Publications

1.2K

Citations

20

H-Index

29

Concepts

All Affiliations

Chennai Mathematical InstituteIndian Institute of Technology BombayAarhus UniversityInstitute of Mathematical Sciences
MM

About

Madhavan Mukund is an author at Chennai Mathematical Institute specializing in computer science, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

11

307

2

Computer Science

10

10

287

3

Systems Engineering

5

5

194

4

Linguistics

2

2

111

5

Data Science

1

1

40

Madhavan Mukund

×

12

Publications

394

Citations

11

H-Index

YearCitations

PETRI NETS AND STEP TRANSITION SYSTEMS

Madhavan Mukund

International Journal of Foundations of Computer Science

1992

124

A theory of regular MSC languages

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar,

Information and Computation

2005

87

Keeping track of the latest gossip in a distributed system

Madhavan Mukund, Milind Sohoni

Distributed Computing

1997

40

Towards a Theory of Regular MSC Languages

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar,

BRICS Report Series

1999

24

CCS, Locations and Asynchronous Transition Systems

Madhavan Mukund, Mogens Nielsen

DAIMI Report Series

1992

21

A logical characterization of well branching event structures

Madhavan Mukund, P. S. Thiagarajan

Theoretical Computer Science

1992

20

Models and logics for true concurrency

Kamal Lodaya, Madhavan Mukund, R. Ramanujam,

Sadhana

1992

18

Bounded time-stamping in message-passing systems

Madhavan Mukund, K. Narayan Kumar, Milind Sohoni

Theoretical Computer Science

2002

15

International Olympiad in Informatics

Madhavan Mukund

Resonance

2002

13

Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science

Ramesh Hariharan, Madhavan Mukund, V. Vinay

2001

11

Page 1