Browse by Fellow

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

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

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. ; Thiagarajan, P. S. (1999) Dynamic linear time temporal logic Annals of Pure and Applied Logic, 96 (1-3). pp. 187-207. ISSN 0168-0072

Thiagarajan , P. S. (1998) Some logical and automata-theoretic aspects of product behaviours Electronic Notes in Theoretical Computer Science, 16 (2). p. 153. ISSN 1571-0661

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

Nielsen, M. ; Rozenberg, G. ; Thiagarajan , P. S. (1992) Elementary transition systems and refinement Acta Informatica, 29 (6-7). pp. 555-578. ISSN 0001-5903

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. (1990) Some behavioural aspects of net theory Theoretical Computer Science, 71 (1). pp. 133-153. ISSN 0304-3975

Nielsen, M. ; Rozenberg, G. ; Thiagarajan , P. S. (1990) Behavioural notions for elementary net systems Distributed Computing, 4 (1). pp. 45-57. ISSN 0178-2770

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