Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Madhavan Mukund" ( http://dblp.L3S.de/Authors/Madhavan_Mukund )

  Author page on DBLP  Author page in RDF  Community of Madhavan Mukund in ASPL-2

Publication years (Num. hits)
1989-2000 (16) 2001-2007 (15) 2008-2011 (9)
Publication types (Num. hits)
article(5) inproceedings(33) proceedings(2)
Venues (Conferences, Journals, ...)
FSTTCS(12) CONCUR(4) ICALP(4) MFCS(3) ASIAN(2) ATVA(2) SEFM(2) SPIN(2) Theor. Comput. Sci.(2) DCFS(1) Distributed Computing(1) FCT(1) FORMATS(1) ICLP(1) Inf. Comput.(1) Int. J. Found. Comput. Sci.(1)
Authors
Madhavan Mukund(40) K. Narayan Kumar(15) Milind A. Sohoni(9) P. S. Thiagarajan(8) Paul Gastin(6) Ramesh Hariharan(4) V. Vinay(4) Jesper G. Henriksen(3) Puneet Bhateja(3) S. Akshay(3) Jaikumar Radhakrishnan(2) Nils Klarlund(2) Prakash Chandrasekaran(2) Abdul Sahid Khan(1) Benedikt Bollig(1) Bharat Adsul(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 5 keywords
Results
Found 40 publication records. Showing 40 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Philippe Darondeau, Loïc Hélouët, Madhavan Mukund Assembling Sessions. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade Kleene Theorems for Product Systems. Search on Bibsonomy DCFS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar Model checking time-constrained scenario-based specifications. Search on Bibsonomy FSTTCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Prakash Chandrasekaran, Madhavan Mukund Specifying Interacting Components with Coordinated Concurrent Scenarios. Search on Bibsonomy SEFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar Distributed Timed Automata with Independently Evolving Clocks. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Puneet Bhateja, Madhavan Mukund Tagging Make Local Testing of Message-Passing Systems Feasible. Search on Bibsonomy SEFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ramesh Hariharan, Madhavan Mukund, V. Vinay 2008 Preface - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Search on Bibsonomy FSTTCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ramesh Hariharan, Madhavan Mukund, V. Vinay 2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Search on Bibsonomy FSTTCS The full citation details ... 2008 DBLP  BibTeX  RDF
1Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India Search on Bibsonomy FSTTCS The full citation details ... 2008 DBLP  BibTeX  RDF
1S. Akshay, Madhavan Mukund, K. Narayan Kumar Checking Coverage for Infinite Collections of Timed Scenarios. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar Local Testing of Message Sequence Charts Is Difficult. Search on Bibsonomy FCT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Prakash Chandrasekaran, Madhavan Mukund Matching Scenarios with Timing Constraints. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Puneet Bhateja, Paul Gastin, Madhavan Mukund A Fresh Look at Testing for Asynchronous Communication. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan A theory of regular MSC languages. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh Generic Verification of Security Protocols. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan Causal Closure for MSC Languages. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni Bounded time-stamping in message-passing systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan Netcharts: Bridging the gap between HMSCs and executable specifications. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paul Gastin, Madhavan Mukund, K. Narayan Kumar Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
1Deepak D'Souza, Madhavan Mukund Checking Consistency of SDL+MSC Specifications. Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paul Gastin, Madhavan Mukund An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
1Madhavan Mukund Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.) FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings Search on Bibsonomy FSTTCS The full citation details ... 2001 DBLP  BibTeX  RDF
1Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni Synthesizing Distributed Finite-State Systems from MSCs. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan On Message Sequence Graphs and Finitely Generated Regular MSC Languages. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan Regular Collections of Message Sequence Charts. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka Faster Model Checking for Open Systems. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan Synthesizing Distributed Transition Systems from Global Specification. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni Robust Asynchronous Protocols Are Finite-State. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni Towards a Characterisation of Finite-State Message-Passing Systems. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, Milind A. Sohoni Keeping Track of the Latest Gossip in a Distributed System. Search on Bibsonomy Distributed Computing The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, P. S. Thiagarajan Linear Time Temporal Logics over Mazurkiewicz Traces. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Nils Klarlund, Madhavan Mukund, Milind A. Sohoni Determinizing Büchi Asnchronous Automata. Search on Bibsonomy FSTTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Nils Klarlund, Madhavan Mukund, Milind A. Sohoni Determinizing Asynchronous Automata. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, Milind A. Sohoni Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice. Search on Bibsonomy FSTTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF bounded time-stamping, asynchronous automata, Distributed algorithms, synchronous communication
1Madhavan Mukund, P. S. Thiagarajan A Logical Characterization of Well Branching Event Structures. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund Petri Nets and Step Transition Systems. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 1992 DBLP  BibTeX  RDF
1Madhavan Mukund, Mogens Nielsen CCS, Location and Asynchronous Transition Systems. Search on Bibsonomy FSTTCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, P. S. Thiagarajan An Axiomatization of Event Structures. Search on Bibsonomy FSTTCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.