Madhavan Mukund

Available identifiers

zbMath Open mukund.madhavanWikidataQ102339834 ScholiaQ102339834MaRDI QIDQ229996

List of research outcomes

Publication	Date of Publication	Type
Knowledge Transfer and Information Leakage in Protocols	2022-08-12	Paper
Formalizing and checking multilevel consistency	2020-08-05	Paper
Time-bounded statistical analysis of resource-constrained business processes with distributed probabilistic systems	2018-08-16	Paper
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)	2016-01-08	Paper
Checking conformance for time-constrained scenario-based specifications	2015-07-24	Paper
Distributed Markov Chains	2015-02-04	Paper
Bounded Implementations of Replicated Data Types	2015-02-04	Paper
Distributed Timed Automata with Independently Evolving Clocks	2014-05-14	Paper
Finite-State Automata on Infinite Inputs	2013-02-26	Paper
Automata on Distributed Alphabets	2013-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q2908850	2012-08-29	Paper
Assembling Sessions	2011-10-07	Paper
Kleene Theorems for Product Systems	2011-07-29	Paper
Adding Time to Scenarios	2010-06-02	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q5190778	2009-07-27	Paper
Distributed Timed Automata with Independently Evolving Clocks	2008-11-25	Paper
Checking Coverage for Infinite Collections of Timed Scenarios	2008-09-18	Paper
A Fresh Look at Testing for Asynchronous Communication	2008-09-04	Paper
Matching Scenarios with Timing Constraints	2008-07-08	Paper
Local Testing of Message Sequence Charts Is Difficult	2008-02-26	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
Model Checking Software	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4811370	2004-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4737221	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736511	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4426378	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4415263	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4536376	2002-06-25	Paper
Models and logics for true concurrency.	2002-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q3152830	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2754187	2001-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4501674	2000-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4501586	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4375802	1998-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4353634	1997-09-10	Paper
PETRI NETS AND STEP TRANSITION SYSTEMS	1993-05-16	Paper
A logical characterization of well branching event structures	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3356298	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Madhavan Mukund