On the Equivalence of Asynchronous Control Structures. - J. Robert Jump; P. S. Thiagarajan (SIAM J. Comput., 1973)

On the Interconnection of Asynchronous Control Structures. - J. Robert Jump; P. S. Thiagarajan (J. ACM, 1975)

Surveyor's Forum: Net Progress. - Hartmann J. Genrich; P. S. Thiagarajan (ACM Comput. Surv., 1978)

Elements of General Net Theory. - Hartmann J. Genrich; Kurt Lautenbach; P. S. Thiagarajan (Advanced Course: Net Theory and Applications, 1979)

Bipolar Synchronization Systems. - Hartmann J. Genrich; P. S. Thiagarajan (ICALP, 1980)

Substitution Systems - A Family of System Models Based on Concurrency. - Hartmann J. Genrich; Kurt Lautenbach; P. S. Thiagarajan (MFCS, 1980)

Two Alterative Definitions of Synchronic Distance. - Ursula Goltz; Wolfgang Reisig; P. S. Thiagarajan (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

A Note on D-Continuous Causal Nets. - César Fernández; P. S. Thiagarajan (European Workshop on Applications and Theory of Petri Nets, 1982)

Petri nets and their relation to graph grammars. - Hartmann J. Genrich; Dirk Janssens; Grzegorz Rozenberg; P. S. Thiagarajan (Graph-Grammars and Their Application to Computer Science, 1982)

Some Properties of D-Continuous Causal Nets. - César Fernández; P. S. Thiagarajan (ICALP, 1982)

Well-Formed Flow Charts for Concurrent Programming. - Hartmann J. Genrich; P. S. Thiagarajan (Formal Description of Programming Concepts, 1982)

Some Aspects of Net Theory. - P. S. Thiagarajan (The Analysis of Concurrent Systems, 1983)

A note on observable occurrence nets. - César Fernández; Mogens Nielsen; P. S. Thiagarajan (European Workshop on Applications and Theory in Petri Nets, 1984)

A lattice theoretic view of K-density. - César Fernández; P. S. Thiagarajan (European Workshop on Applications and Theory in Petri Nets, 1984)

In praise of free choice nets. - P. S. Thiagarajan; Klaus Voss (European Workshop on Applications and Theory in Petri Nets, 1984)

Degrees of Non-Determinism and Concurrency: A Petri Net View. - Mogens Nielsen; P. S. Thiagarajan (FSTTCS, 1984)

Generalized Handle Grammars and Their Relation to Petri Nets. - Hartmann J. Genrich; Dirk Janssens; Grzegorz Rozenberg; P. S. Thiagarajan (J. Inf. Process. Cybern., 1984)

D-Continuous Causal Nets: A Model of Non-Sequential Processes. - César Fernández; P. S. Thiagarajan (Theor. Comput. Sci., 1984)

A Theory of Bipolar Synchronization Schemes. - Hartmann J. Genrich; P. S. Thiagarajan (Theor. Comput. Sci., 1984)

A Fresh Look at Free Choice Nets - P. S. Thiagarajan; K. Vos (Inf. Control., 1984)

Petri Nets: Basic Notions, Structure, Behaviour. - Grzegorz Rozenberg; P. S. Thiagarajan (Current Trends in Concurrency, 1986)

Elementary Net Systems. - P. S. Thiagarajan (Advances in Petri Nets, 1986)

A Modal Logic for a Subclass of Event Structures. - Kamal Lodaya; P. S. Thiagarajan (ICALP, 1987)

A logic for distributed transition systems. - Kamal Lodaya; Ramaswamy Ramanujam; P. S. Thiagarajan (REX Workshop, 1988)

An Axiomatization of Event Structures. - Madhavan Mukund; P. S. Thiagarajan (FSTTCS, 1989)

A Petri Net Model of Asynchronously Communicating Sequential Processes. - Madhavan Mukund; P. S. Thiagarajan (A Perspective in Theoretical Computer Science, 1989)

Behavioural Notions for Elementary Net Systems. - Mogens Nielsen; Grzegorz Rozenberg; P. S. Thiagarajan (Distributed Comput., 1990)

Some Behavioural Aspects of Net Theory. - P. S. Thiagarajan (Theor. Comput. Sci., 1990)

Event Structures and Trace Monoids. - Brigitte Rozoy; P. S. Thiagarajan (Theor. Comput. Sci., 1991)

A Trace Semantics for Petri Nets (Extended Abstract). - P. W. Hoogers; H. C. M. Kleijn; P. S. Thiagarajan (ICALP, 1992)

Elementary Transition Systems and Refinement. - Mogens Nielsen; Grzegorz Rozenberg; P. S. Thiagarajan (Acta Informatica, 1992)

Temporal Logics for Communicating Sequential Agents: I. - Kamal Lodaya; Ramaswamy Ramanujam; P. S. Thiagarajan (Int. J. Found. Comput. Sci., 1992)

A Logical Characterization of Well Branching Event Structures. - Madhavan Mukund; P. S. Thiagarajan (Theor. Comput. Sci., 1992)

Elementary Transition Systems. - Mogens Nielsen; Grzegorz Rozenberg; P. S. Thiagarajan (Theor. Comput. Sci., 1992)

Local Event Structures and Petri Nets. - P. W. Hoogers; H. C. M. Kleijn; P. S. Thiagarajan (CONCUR, 1993)

Decidability of a Partial Order Based Temporal Logic. - Kamal Lodaya; P. S. Thiagarajan (ICALP, 1993)

A Trace Based Extension of Linear Time Temporal Logic - P. S. Thiagarajan (LICS, 1994)

A Trace Consistent Subset of PTL. - P. S. Thiagarajan (CONCUR, 1995)

A Trace Semantics for Petri Nets - P. W. Hoogers; H. C. M. Kleijn; P. S. Thiagarajan (Inf. Comput., 1995)

A Logical Study of Distributed Transition Systems - Kamal Lodaya; Rohit Parikh; Ramaswamy Ramanujam; P. S. Thiagarajan (Inf. Comput., 1995)

Transition Systems, Event Structures and Unfoldings - Mogens Nielsen; Grzegorz Rozenberg; P. S. Thiagarajan (Inf. Comput., 1995)

Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. - P. S. Thiagarajan; Jesper G. Henriksen (Petri Nets, 1996)

Linear Time Temporal Logics over Mazurkiewicz Traces. - Madhavan Mukund; P. S. Thiagarajan (MFCS, 1996)

An Event Structure Semantics for General Petri Nets. - P. W. Hoogers; H. C. M. Kleijn; P. S. Thiagarajan (Theor. Comput. Sci., 1996)

A Product Version of Dynamic Linear Time Temporal Logic. - Jesper G. Henriksen; P. S. Thiagarajan (CONCUR, 1997)

Controllers for Discrete Event Systems via Morphisms. - P. Madhusudan; P. S. Thiagarajan (CONCUR, 1998)

Some Logical and Automata-Theoretic Aspects of Product Behaviours. - P. S. Thiagarajan (EXPRESS, 1998)

Synthesizing Distributed Transition Systems from Global Specification. - Ilaria Castellani; Madhavan Mukund; P. S. Thiagarajan (FSTTCS, 1999)

Product Interval Automata: A Subclass of Timed Automata. - Deepak D'Souza; P. S. Thiagarajan (FSTTCS, 1999)

Dynamic Linear Time Temporal Logic. - Jesper G. Henriksen; P. S. Thiagarajan (Ann. Pure Appl. Log., 1999)

Open Systems in Reactive Environments: Control and Synthesis. - Orna Kupferman; P. Madhusudan; P. S. Thiagarajan; Moshe Y. Vardi (CONCUR, 2000)

On Message Sequence Graphs and Finitely Generated Regular MSC Languages. - Jesper G. Henriksen; Madhavan Mukund; K. Narayan Kumar; P. S. Thiagarajan (ICALP, 2000)

Regular Collections of Message Sequence Charts. - Jesper G. Henriksen; Madhavan Mukund; K. Narayan Kumar; P. S. Thiagarajan (MFCS, 2000)

Distributed Controller Synthesis for Local Specifications. - P. Madhusudan; P. S. Thiagarajan (ICALP, 2001)

Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. - Mogens Nielsen; P. S. Thiagarajan (ICATPN, 2002)

Abstract Cyclic Communicating Processes: A Logical View. - P. S. Thiagarajan (ICATPN, 2002)

Regular Event Structures and Finite Petri Nets: A Conjecture. - P. S. Thiagarajan (Formal and Natural Computing, 2002)

A Decidable Class of Asynchronous Distributed Controllers. - P. Madhusudan; P. S. Thiagarajan (CONCUR, 2002)

An Executable Specification Language Based on Message Sequence Charts. - Abhik Roychoudhury; P. S. Thiagarajan (10th Anniversary Colloquium of UNU/IIST, 2002)

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. - P. S. Thiagarajan; Igor Walukiewicz (Inf. Comput., 2002)

5th Asian Computing Science Conference - Preface. - P. S. Thiagarajan; Roland H. C. Yap (Int. J. Found. Comput. Sci., 2002)

Branching time controllers for discrete event systems. - P. Madhusudan; P. S. Thiagarajan (Theor. Comput. Sci., 2002)

Message Sequence Charts. - David Harel; P. S. Thiagarajan (UML for Real, 2003)

Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. - Abhik Roychoudhury; P. S. Thiagarajan (Lectures on Concurrency and Petri Nets, 2003)

Communicating Transaction Processes. - Abhik Roychoudhury; P. S. Thiagarajan (ACSD, 2003)

Cyclic Communicating Processes: Hierarchy and Verification. - P. S. Thiagarajan (ACSD, 2003)

Netcharts: Bridging the gap between HMSCs and executable specifications. - Madhavan Mukund; K. Narayan Kumar; P. S. Thiagarajan (CONCUR, 2003)

Timed vs. Time-Triggered Automata. - Pavel Krcál; Leonid Mokrushin; P. S. Thiagarajan; Wang Yi 001 (CONCUR, 2004)

Lazy Rectangular Hybrid Automata. - Manindra Agrawal; P. S. Thiagarajan (HSCC, 2004)

Model-Driven SoC Design via Executable UML to SystemC. - Kathy Dang Nguyen; Zhenxin Sun; P. S. Thiagarajan; Weng-Fai Wong (RTSS, 2004)

Automatic Generation of Protocol Converters from Scenario-Based Specifications. - Abhik Roychoudhury; P. S. Thiagarajan; Tuan-Anh Tran; Vera A. Zvereva (RTSS, 2004)

The MSO Theory of Connectedly Communicating Processes. - P. Madhusudan; P. S. Thiagarajan; Shaofa Yang (FSTTCS, 2005)

The Discrete Time Behavior of Lazy Linear Hybrid Automata. - Manindra Agrawal; P. S. Thiagarajan (HSCC, 2005)

Event Count Automata: A State-Based Model for Stream Processing Systems. - Samarjit Chakraborty; Linh T. X. Phan; P. S. Thiagarajan (RTSS, 2005)

A theory of regular MSC languages. - Jesper G. Henriksen; Madhavan Mukund; K. Narayan Kumar; Milind A. Sohoni; P. S. Thiagarajan (Inf. Comput., 2005)

Interface Design for Rationally Clocked GALS Systems. - Joycee Mekie; Supratik Chakraborty; Dinesh K. Sharma; Girish Venkataramani; P. S. Thiagarajan (ASYNC, 2006)

Behavioural Approximations for Restricted Linear Differential Hybrid Automata. - Manindra Agrawal; Frank Stephan 001; P. S. Thiagarajan; Shaofa Yang (HSCC, 2006)

Interacting process classes. - Ankit Goel; Sun Meng; Abhik Roychoudhury; P. S. Thiagarajan (ICSE, 2006)

A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk. - Geoffrey Koh; Huey Fern Carol Teong; Marie-Véronique Clément; David Hsu; P. S. Thiagarajan (ISMB (Supplement of Bioinformatics), 2006)

Anchored Concatenation of MSCs. - Madhavan Mukund; K. Narayan Kumar; P. S. Thiagarajan; Shaofa Yang (Formal Models, Languages and Applications, 2007)

A UML-Based Design Framework for Time-Triggered Applications. - Kathy Dang Nguyen; P. S. Thiagarajan; Weng-Fai Wong (RTSS, 2007)

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. - Linh T. X. Phan; Samarjit Chakraborty; P. S. Thiagarajan; Lothar Thiele (RTSS, 2007)

Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation. - Geoffrey Koh; Lisa Tucker-Kellogg; David Hsu; P. S. Thiagarajan (WABI, 2007)

Designing communicating transaction processes by supervisory control theory. - Lei Feng 002; Walter Murray Wonham; P. S. Thiagarajan (Formal Methods Syst. Des., 2007)

A Multi-mode Real-Time Calculus. - Linh T. X. Phan; Samarjit Chakraborty; P. S. Thiagarajan (RTSS, 2008)

Probabilistic Approximations of Signaling Pathway Dynamics. - Bing Liu 013; P. S. Thiagarajan; David Hsu (CMSB, 2009)

Causal Message Sequence Charts. - Thomas Gazagnaire; Blaise Genest; Loïc Hélouët; P. S. Thiagarajan; Shaofa Yang (Theor. Comput. Sci., 2009)

Interacting process classes. - Ankit Goel; Abhik Roychoudhury; P. S. Thiagarajan (ACM Trans. Softw. Eng. Methodol., 2009)

Succinct discrete time approximations of distributed hybrid automata. - P. S. Thiagarajan; Shaofa Yang (HSCC, 2010)

Incremental Signaling Pathway Modeling by Data Integration. - Geoffrey Koh; David Hsu; P. S. Thiagarajan (RECOMB, 2010)

Quasi-static scheduling of communicating tasks. - Philippe Darondeau; Blaise Genest; P. S. Thiagarajan; Shaofa Yang (Inf. Comput., 2010)

A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. - Sucheendra K. Palaniappan; S. Akshay 001; Blaise Genest; P. S. Thiagarajan (CMSB, 2011)

A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System. - Bing Liu 013; Jing Zhang 020; Pei Yi Tan; David Hsu; Anna M. Blom; Benjamin Leong; Sunil Sethi; Bow Ho; Jeak Ling Ding; P. S. Thiagarajan (PLoS Comput. Biol., 2011)

Component-based construction of bio-pathway models: The parameter estimation problem. - Geoffrey Koh; David Hsu; P. S. Thiagarajan (Theor. Comput. Sci., 2011)

Probabilistic approximations of ODEs based bio-pathway dynamics. - Bing Liu 013; David Hsu; P. S. Thiagarajan (Theor. Comput. Sci., 2011)

The Discrete Time Behaviour of Restricted Linear Hybrid Automata. - Manindra Agrawal; Frank Stephan 001; P. S. Thiagarajan; Shaofa Yang (Modern Applications of Automata Theory, 2012)

Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics. - Sucheendra K. Palaniappan; P. S. Thiagarajan (ATVA, 2012)

Approximate probabilistic analysis of biopathway dynamics. - Bing Liu 013; Andrei Hagiescu; Sucheendra K. Palaniappan; Bipasa Chattopadhyay; Zheng Cui; Weng-Fai Wong; P. S. Thiagarajan (Bioinform., 2012)

Improved statistical model checking methods for pathway analysis. - Chuan Hock Koh; Sucheendra K. Palaniappan; P. S. Thiagarajan; Limsoon Wong (BMC Bioinform., 2012)

Modeling and Analysis of biopathways Dynamics. - Bing Liu 013; P. S. Thiagarajan (J. Bioinform. Comput. Biol., 2012)

A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application. - Sucheendra K. Palaniappan; S. Akshay 001; Bing Liu 013; Blaise Genest; P. S. Thiagarajan (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

Modular discrete time approximations of distributed hybrid automata. - P. S. Thiagarajan; Shaofa Yang (Theor. Comput. Sci., 2012)

Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models. - Sucheendra K. Palaniappan; Benjamin M. Gyori; Bing Liu 013; David Hsu; P. S. Thiagarajan (CMSB, 2013)

GPU code generation for ODE-based applications with phased shared-data access patterns. - Andrei Hagiescu; Bing Liu 013; R. Ramanathan 002; Sucheendra K. Palaniappan; Zheng Cui; Bipasa Chattopadhyay; P. S. Thiagarajan; Weng-Fai Wong (ACM Trans. Archit. Code Optim., 2013)

In Memoriam: Carl Adam Petri. - Wolfgang Reisig; Grzegorz Rozenberg; P. S. Thiagarajan (Trans. Petri Nets Other Model. Concurr., 2013)

Distributed Markov Chains. - Sumit Kumar Jha 001; Madhavan Mukund; Ratul Saha; P. S. Thiagarajan (CoRR, 2014)

The Self-Limiting Dynamics of TGF-β Signaling In Silico and In Vitro, with Negative Feedback through PPM1A Upregulation. - Junjie Wang; Lisa Tucker-Kellogg; Inn Chuan Ng; Ruirui Jia; P. S. Thiagarajan; Jacob K. White 001; Hanry Yu (PLoS Comput. Biol., 2014)

Rabin's theorem in the concurrency setting: A conjecture. - P. S. Thiagarajan; Shaofa Yang (Theor. Comput. Sci., 2014)

Approximate Probabilistic Verification of Hybrid Systems. - Benjamin M. Gyori; Bing Liu 013; Soumya Paul; R. Ramanathan 002; P. S. Thiagarajan (HSB, 2015)

Parallelized Parameter Estimation of Biological Pathway Models. - R. Ramanathan 002; Yan Zhang 027; Jun Zhou 014; Benjamin M. Gyori; Weng-Fai Wong; P. S. Thiagarajan (HSB, 2015)

Distributed Markov Chains. - Ratul Saha; Javier Esparza; Sumit Kumar Jha 001; Madhavan Mukund; P. S. Thiagarajan (VMCAI, 2015)

Approximate Verification of the Symbolic Dynamics of Markov Chains. - Manindra Agrawal; S. Akshay 001; Blaise Genest; P. S. Thiagarajan (J. ACM, 2015)

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. - Guoxin Su; Taolue Chen 001; Yuan Feng 001; David S. Rosenblum; P. S. Thiagarajan (FASE, 2016)

Automated Property Synthesis of ODEs Based Bio-pathways Models. - Jun Zhou 014; R. Ramanathan 002; Weng-Fai Wong; P. S. Thiagarajan (CMSB, 2017)

Statistical Model Checking-Based Analysis of Biological Networks. - Bing Liu 013; Benjamin M. Gyori; P. S. Thiagarajan (Automated Reasoning for Systems Biology and Medicine, 2019)

A Theory of Distributed Markov Chains. - P. S. Thiagarajan; Shaofa Yang (Fundam. Informaticae, 2020)

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. - Bineet Ghosh; Clara Hobbs; Shengjie Xu; Parasara Sridhar Duggirala; James H. Anderson; P. S. Thiagarajan; Samarjit Chakraborty (RTCSA, 2022)

Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints. - Shengjie Xu; Bineet Ghosh; Clara Hobbs; P. S. Thiagarajan; Samarjit Chakraborty (ASP-DAC, 2023)

Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing. - Shengjie Xu; Bineet Ghosh; Clara Hobbs; P. S. Thiagarajan; Prachi Joshi; Samarjit Chakraborty (RTCSA, 2023)

Causally Deterministic Markov Decision Processes. - S. Akshay 001; Tobias Meggendorfer; P. S. Thiagarajan (CONCUR, 2024)

Analysis of Long-term Average Behaviors of Probabilistic Task Systems. - Yifan Cai; Linh Thi Xuan Phan; P. S. Thiagarajan (RTNS, 2024)

Statistical verification of autonomous system controllers under timing uncertainties. - Bineet Ghosh; Clara Hobbs; Shengjie Xu; F. Donelson Smith; James H. Anderson; P. S. Thiagarajan; Benjamin Berg; Parasara Sridhar Duggirala; Samarjit Chakraborty (Real Time Syst., 2024)

LPrL: An Asynchronous Linear Time Hyper Logic. - Parasara Sridhar Duggirala; P. S. Thiagarajan (CoRR, 2025)