Items where Author is "Thiagarajan, P. S."

Agrawal, Manindra ; Akshay, S. ; Genest, Blaise ; Thiagarajan, P. S. (2015) Approximate Verification of the Symbolic Dynamics of Markov Chains Journal of the ACM, 62 (1). pp. 1-34. ISSN 0004-5411

Saha, Ratul ; Esparza, Javier ; Jha, Sumit Kumar ; Mukund, Madhavan ; Thiagarajan, P. S. (2015) Distributed Markov chains In: 16th International Conference, VMCAI 2015, 12-14 Jan 2015, Mumbai, India.

Koh, Geoffrey ; Hsu, David ; Thiagarajan, P. S. (2011) Component-based construction of bio-pathway models: the parameter estimation problem Theoretical Computer Science, 412 (26). pp. 2840-2853. ISSN 0304-3975

Liu, Bing ; Hsu, David ; Thiagarajan, P. S. (2011) Probabilistic approximations of ODEs based bio-pathway dynamics Theoretical Computer Science, 412 (21). pp. 2188-2206. ISSN 0304-3975

Darondeau, Philippe ; Genest, Blaise ; Thiagarajan, P. S. ; Yang, Shaofa (2010) Quasi-static scheduling of communicating tasks Information and Computation, 208 (10). pp. 1154-1168. ISSN 0890-5401

Gazagnaire, Thomas ; Genest, Blaise ; Hélouët, Loïc ; Thiagarajan, P. S. ; Yang, Shaofa (2009) Causal message sequence charts Theoretical Computer Science, 410 (41). pp. 4094-4110. ISSN 0304-3975

Feng, L. ; Wonham, W. M. ; Thiagarajan, P. S. (2007) Designing communicating transaction processes by supervisory control theory Formal Methods in System Design, 30 (2). pp. 117-141. ISSN 0925-9856

Agrawal, Manindra ; Stephan, Frank ; Thiagarajan, P. S. ; Yang, Shaofa (2006) Behavioural approximations for restricted linear differential hybrid automata Lecture Notes in Computer Science, 3927 . pp. 4-18. ISSN 0302-9743

Henriksen, Jesper G. ; Mukund, Madhavan ; Narayan Kumar, K. ; Sohoni, Milind ; Thiagarajan, P. S. (2005) A theory of regular MSC languages Information and Computation, 202 (1). pp. 1-38. ISSN 0890-5401

Agrawal, Manindra ; Thiagarajan, P. S. (2005) The discrete time behavior of lazy linear hybrid automata Lecture Notes in Computer Science, 3414 . pp. 55-69. ISSN 0302-9743

Agrawal, Manindra ; Thiagarajan, P. S. (2004) Lazy rectangular hybrid automata Lecture Notes in Computer Science, 2993 . pp. 249-257. ISSN 0302-9743

Mukund, Madhavan ; Narayan Kumar, K. ; Thiagarajan, P. S. (2003) Netcharts: bridging the gap between HMSCs and executable specifications In: 14th International Conference on Concurrency Theory, 3-5 Sep 2003, Marseille, France.

Thiagarajan, P. S. ; Walukiewicz, I. (2002) An expressively complete linear time temporal logic for Mazurkiewicz traces Information and Computation, 179 (2). pp. 230-249. ISSN 0890-5401

D’souza, Deepak ; Thiagarajan, P. S. (2002) Product interval automata Sadhana (Academy Proceedings in Engineering Sciences), 27 (2). pp. 181-208. ISSN 0256-2499

Madhusudan, P. ; Thiagarajan, P. S. (2002) Branching time controllers for discrete event systems Theoretical Computer Science, 274 (1-2). pp. 117-149. ISSN 0304-3975

Henriksen, Jesper G. ; Mukund, Madhavan ; Narayan Kumar, K. ; Thiagarajan, P. S. (2002) On message sequence graphs and finitely generated regular MSC languages In: 27th International Colloquium on Automata, Languages, and Programming (ICALP 2000), 09-15 Jul 2000, Geneva, Switzerland.

Henriksen, Jesper G. ; Mukund, Madhavan ; Narayan Kumar, K. ; Thiagarajan, P. S. (2001) Regular collections of message sequence charts In: 25th International Symposium on Mathematical Foundations of Computer Science (MFCS 2000), 28 Aug - 01 Sep 2000, Bratislava, Slovakia.

Castellani, Ilaria ; Mukund, Madhavan ; Thiagarajan, P. S. (2000) Synthesizing distributed transition systems from global specifications In: 19th International Conference on Foundations of Software Technology and Theoretical Computer Science, 13-15 Dec 1999, Chennai, India.

Henriksen, Jesper G. ; Thiagarajan, P. S. (1999) Dynamic linear time temporal logic Annals of Pure and Applied Logic, 96 (1-3). pp. 187-207. ISSN 0168-0072

Hoogers, P. W. ; Kleijn, H. C. M. ; Thiagarajan, P. S. (1996) An event structure semantics for general Petri nets Theoretical Computer Science, 153 (1-2). pp. 129-170. ISSN 0304-3975

Lodaya, K. ; Parikh, R. ; Ramanujam, R. ; Thiagarajan, P. S. (1995) A logical study of distributed transition systems Information and Computation, 119 (1). pp. 91-118. ISSN 0890-5401

Nielsen, M. ; Rozenberg, G. ; Thiagarajan, P. S. (1995) Transition-systems, event structures, and unfoldings Information and Computation, 118 (2). pp. 191-207. ISSN 0890-5401

Hoogers, P. W. ; Kleijn, H. C. M. ; Thiagarajan, P. S. (1995) A trace semantics for petri nets Information and Computation, 117 (1). pp. 98-114. ISSN 0890-5401

Nielsen, M. ; Rozenberg, G. ; Thiagarajan, P. S. (1992) Elementary transition systems Theoretical Computer Science, 96 (1). pp. 3-33. ISSN 0304-3975

Mukund, Madhavan ; Thiagarajan, P. S. (1992) A logical characterization of well branching event structures Theoretical Computer Science, 96 (1). pp. 35-72. ISSN 0304-3975

Lodaya, Kamal ; Mukund, Madhavan ; Ramanujam, R. ; Thiagarajan, P. S. (1992) Models and logics for true concurrency Sadhana (Academy Proceedings in Engineering Sciences), 17 (1). pp. 131-165. ISSN 0256-2499

Lodaya, Kamal ; Ramanujam, R. ; Thiagarajan, P. S. (1992) Temporal logics for communicating sequential agents: I International Journal of Foundations of Computer Science, 3 (2). pp. 117-159. ISSN 0129-0541

Rozoy, Brigitte ; Thiagarajan, P. S. (1991) Event structures and trace monoids Theoretical Computer Science, 91 (2). pp. 285-313. ISSN 0304-3975

Thiagarajan, P. S. ; Voss, K. (1984) A fresh look at free choice nets Information and Control, 61 (2). pp. 85-113. ISSN 0019-9958

Genrich, H. J. ; Thiagarajan, P. S. (1984) A theory of bipolar synchronization schemes Theoretical Computer Science, 30 (3). pp. 241-318. ISSN 0304-3975

Fernández, C. ; Thiagarajan, P. S. (1983) D-continuous causal nets: a model of non-sequential processes Theoretical Computer Science, 28 (1-2). pp. 171-196. ISSN 0304-3975