default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDP. S. Thiagarajan
Person information
- affiliation: National University of Singapore (NUS)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j42]Bineet Ghosh
, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Statistical verification of autonomous system controllers under timing uncertainties. Real Time Syst. 60(1): 108-149 (2024)- 2020
- [j41]P. S. Thiagarajan, Shaofa Yang:
A Theory of Distributed Markov Chains. Fundam. Informaticae 175(1-4): 301-325 (2020) - 2015
- [j40]Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan:
Approximate Verification of the Symbolic Dynamics of Markov Chains. J. ACM 62(1): 2:1-2:34 (2015) - 2014
- [j39]Junjie Wang, Lisa Tucker-Kellogg, Inn Chuan Ng, Ruirui Jia, P. S. Thiagarajan, Jacob K. White, Hanry Yu:
The Self-Limiting Dynamics of TGF-β Signaling In Silico and In Vitro, with Negative Feedback through PPM1A Upregulation. PLoS Comput. Biol. 10(6) (2014) - [j38]P. S. Thiagarajan, Shaofa Yang:
Rabin's theorem in the concurrency setting: A conjecture. Theor. Comput. Sci. 546: 225-236 (2014) - 2013
- [j37]Andrei Hagiescu, Bing Liu, R. Ramanathan, Sucheendra K. Palaniappan, Zheng Cui, Bipasa Chattopadhyay, P. S. Thiagarajan, Weng-Fai Wong:
GPU code generation for ODE-based applications with phased shared-data access patterns. ACM Trans. Archit. Code Optim. 10(4): 55:1-55:19 (2013) - [j36]Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan:
In Memoriam: Carl Adam Petri. Trans. Petri Nets Other Model. Concurr. 7: 1-5 (2013) - 2012
- [j35]Bing Liu, Andrei Hagiescu, Sucheendra K. Palaniappan, Bipasa Chattopadhyay, Zheng Cui, Weng-Fai Wong, P. S. Thiagarajan:
Approximate probabilistic analysis of biopathway dynamics. Bioinform. 28(11): 1508-1516 (2012) - [j34]Chuan Hock Koh, Sucheendra K. Palaniappan, P. S. Thiagarajan, Limsoon Wong:
Improved statistical model checking methods for pathway analysis. BMC Bioinform. 13(S-17): S15 (2012) - [j33]Bing Liu, P. S. Thiagarajan:
Modeling and Analysis of biopathways Dynamics. J. Bioinform. Comput. Biol. 10(4) (2012) - [j32]Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan:
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application. IEEE ACM Trans. Comput. Biol. Bioinform. 9(5): 1352-1365 (2012) - [j31]P. S. Thiagarajan, Shaofa Yang:
Modular discrete time approximations of distributed hybrid automata. Theor. Comput. Sci. 429: 292-304 (2012) - 2011
- [j30]Bing Liu, Jing Zhang, Pei Yi Tan, David Hsu, Anna M. Blom, Benjamin Leong, Sunil Sethi, Bow Ho, Jeak Ling Ding, P. S. Thiagarajan:
A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System. PLoS Comput. Biol. 7(1) (2011) - [j29]Bing Liu, David Hsu, P. S. Thiagarajan:
Probabilistic approximations of ODEs based bio-pathway dynamics. Theor. Comput. Sci. 412(21): 2188-2206 (2011) - [j28]Geoffrey Koh, David Hsu, P. S. Thiagarajan:
Component-based construction of bio-pathway models: The parameter estimation problem. Theor. Comput. Sci. 412(26): 2840-2853 (2011) - 2010
- [j27]Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang:
Quasi-static scheduling of communicating tasks. Inf. Comput. 208(10): 1154-1168 (2010) - 2009
- [j26]Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang:
Causal Message Sequence Charts. Theor. Comput. Sci. 410(41): 4094-4110 (2009) - [j25]Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan:
Interacting process classes. ACM Trans. Softw. Eng. Methodol. 18(4): 13:1-13:47 (2009) - 2007
- [j24]Lei Feng, Walter Murray Wonham, P. S. Thiagarajan:
Designing communicating transaction processes by supervisory control theory. Formal Methods Syst. Des. 30(2): 117-141 (2007) - 2005
- [j23]Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan:
A theory of regular MSC languages. Inf. Comput. 202(1): 1-38 (2005) - 2002
- [j22]P. S. Thiagarajan, Igor Walukiewicz:
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Inf. Comput. 179(2): 230-249 (2002) - [j21]P. S. Thiagarajan, Roland H. C. Yap:
5th Asian Computing Science Conference - Preface. Int. J. Found. Comput. Sci. 13(3): 313-314 (2002) - [j20]P. Madhusudan, P. S. Thiagarajan:
Branching time controllers for discrete event systems. Theor. Comput. Sci. 274(1-2): 117-149 (2002) - 1999
- [j19]Jesper G. Henriksen, P. S. Thiagarajan:
Dynamic Linear Time Temporal Logic. Ann. Pure Appl. Log. 96(1-3): 187-207 (1999) - 1996
- [j18]P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
An Event Structure Semantics for General Petri Nets. Theor. Comput. Sci. 153(1&2): 129-170 (1996) - 1995
- [j17]P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
A Trace Semantics for Petri Nets. Inf. Comput. 117(1): 98-114 (1995) - [j16]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Transition Systems, Event Structures and Unfoldings. Inf. Comput. 118(2): 191-207 (1995) - [j15]Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan:
A Logical Study of Distributed Transition Systems. Inf. Comput. 119(1): 91-118 (1995) - 1992
- [j14]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Elementary Transition Systems and Refinement. Acta Informatica 29(6/7): 555-578 (1992) - [j13]Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan:
Temporal Logics for Communicating Sequential Agents: I. Int. J. Found. Comput. Sci. 3(2): 117-159 (1992) - [j12]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Elementary Transition Systems. Theor. Comput. Sci. 96(1): 3-33 (1992) - [j11]Madhavan Mukund, P. S. Thiagarajan:
A Logical Characterization of Well Branching Event Structures. Theor. Comput. Sci. 96(1): 35-72 (1992) - 1991
- [j10]Brigitte Rozoy, P. S. Thiagarajan:
Event Structures and Trace Monoids. Theor. Comput. Sci. 91(2): 285-313 (1991) - 1990
- [j9]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Behavioural Notions for Elementary Net Systems. Distributed Comput. 4: 45-57 (1990) - [j8]P. S. Thiagarajan:
Some Behavioural Aspects of Net Theory. Theor. Comput. Sci. 71(1): 133-153 (1990) - 1984
- [j7]Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan:
Generalized Handle Grammars and Their Relation to Petri Nets. J. Inf. Process. Cybern. 20(4): 179-206 (1984) - [j6]P. S. Thiagarajan, K. Vos:
A Fresh Look at Free Choice Nets. Inf. Control. 61(2): 85-113 (1984) - [j5]César Fernández, P. S. Thiagarajan:
D-Continuous Causal Nets: A Model of Non-Sequential Processes. Theor. Comput. Sci. 28: 171-196 (1984) - [j4]Hartmann J. Genrich, P. S. Thiagarajan:
A Theory of Bipolar Synchronization Schemes. Theor. Comput. Sci. 30: 241-318 (1984) - 1978
- [j3]Hartmann J. Genrich, P. S. Thiagarajan:
Surveyor's Forum: Net Progress. ACM Comput. Surv. 10(1): 84-85 (1978) - 1975
- [j2]J. Robert Jump, P. S. Thiagarajan:
On the Interconnection of Asynchronous Control Structures. J. ACM 22(4): 596-612 (1975) - 1973
- [j1]J. Robert Jump, P. S. Thiagarajan:
On the Equivalence of Asynchronous Control Structures. SIAM J. Comput. 2(2): 67-87 (1973)
Conference and Workshop Papers
- 2024
- [c80]S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan:
Causally Deterministic Markov Decision Processes. CONCUR 2024: 6:1-6:22 - 2023
- [c79]Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty:
Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints. ASP-DAC 2023: 46-51 - [c78]Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Prachi Joshi, Samarjit Chakraborty:
Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing. RTCSA 2023: 196-205 - 2022
- [c77]Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty:
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. RTCSA 2022: 11-20 - 2017
- [c76]Jun Zhou, R. Ramanathan, Weng-Fai Wong, P. S. Thiagarajan:
Automated Property Synthesis of ODEs Based Bio-pathways Models. CMSB 2017: 265-282 - 2016
- [c75]Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan:
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. FASE 2016: 269-286 - 2015
- [c74]R. Ramanathan, Yan Zhang, Jun Zhou, Benjamin M. Gyori, Weng-Fai Wong, P. S. Thiagarajan:
Parallelized Parameter Estimation of Biological Pathway Models. HSB 2015: 37-57 - [c73]Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan:
Approximate Probabilistic Verification of Hybrid Systems. HSB 2015: 96-116 - [c72]Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan:
Distributed Markov Chains. VMCAI 2015: 117-134 - 2013
- [c71]Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu, David Hsu, P. S. Thiagarajan:
Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models. CMSB 2013: 120-134 - 2012
- [c70]Sucheendra K. Palaniappan, P. S. Thiagarajan:
Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics. ATVA 2012: 17-25 - [c69]Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan:
Approximate Verification of the Symbolic Dynamics of Markov Chains. LICS 2012: 55-64 - 2011
- [c68]Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan:
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. CMSB 2011: 35-44 - 2010
- [c67]P. S. Thiagarajan, Shaofa Yang:
Succinct discrete time approximations of distributed hybrid automata. HSCC 2010: 1-10 - [c66]Geoffrey Koh, David Hsu, P. S. Thiagarajan:
Incremental Signaling Pathway Modeling by Data Integration. RECOMB 2010: 281-296 - 2009
- [c65]Bing Liu, P. S. Thiagarajan, David Hsu:
Probabilistic Approximations of Signaling Pathway Dynamics. CMSB 2009: 251-265 - 2008
- [c64]Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang:
Quasi-Static Scheduling of Communicating Tasks. CONCUR 2008: 310-324 - [c63]Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan:
A Multi-mode Real-Time Calculus. RTSS 2008: 59-69 - 2007
- [c62]Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang:
Anchored Concatenation of MSCs. Formal Models, Languages and Applications 2007: 274-288 - [c61]Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang:
Causal Message Sequence Charts. CONCUR 2007: 166-180 - [c60]Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong:
A UML-Based Design Framework for Time-Triggered Applications. RTSS 2007: 39-48 - [c59]Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele:
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. RTSS 2007: 343-352 - [c58]Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan:
Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation. WABI 2007: 420-430 - 2006
- [c57]Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan:
Interface Design for Rationally Clocked GALS Systems. ASYNC 2006: 160-171 - [c56]Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang:
Behavioural Approximations for Restricted Linear Differential Hybrid Automata. HSCC 2006: 4-18 - [c55]Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan:
Interacting process classes. ICSE 2006: 302-311 - [c54]Geoffrey Koh, Huey Fern Carol Teong, Marie-Véronique Clément, David Hsu, P. S. Thiagarajan:
A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk. ISMB (Supplement of Bioinformatics) 2006: 271-280 - 2005
- [c53]P. Madhusudan, P. S. Thiagarajan, Shaofa Yang:
The MSO Theory of Connectedly Communicating Processes. FSTTCS 2005: 201-212 - [c52]Manindra Agrawal, P. S. Thiagarajan:
The Discrete Time Behavior of Lazy Linear Hybrid Automata. HSCC 2005: 55-69 - [c51]Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan:
Event Count Automata: A State-Based Model for Stream Processing Systems. RTSS 2005: 87-98 - 2004
- [c50]Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi:
Timed vs. Time-Triggered Automata. CONCUR 2004: 340-354 - [c49]Manindra Agrawal, P. S. Thiagarajan:
Lazy Rectangular Hybrid Automata. HSCC 2004: 1-15 - [c48]Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva:
Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS 2004: 447-458 - [c47]Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong:
Model-Driven SoC Design via Executable UML to SystemC. RTSS 2004: 459-468 - 2003
- [c46]Abhik Roychoudhury, P. S. Thiagarajan:
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. Lectures on Concurrency and Petri Nets 2003: 789-818 - [c45]P. S. Thiagarajan:
Cyclic Communicating Processes: Hierarchy and Verification. ACSD 2003: 4 - [c44]Abhik Roychoudhury, P. S. Thiagarajan:
Communicating Transaction Processes. ACSD 2003: 157-166 - [c43]Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan:
Netcharts: Bridging the gap between HMSCs and executable specifications. CONCUR 2003: 293-307 - 2002
- [c42]P. S. Thiagarajan:
Abstract Cyclic Communicating Processes: A Logical View. ICATPN 2002: 68-69 - [c41]Mogens Nielsen, P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. ICATPN 2002: 335-351 - [c40]P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: A Conjecture. Formal and Natural Computing 2002: 244-256 - [c39]P. Madhusudan, P. S. Thiagarajan:
A Decidable Class of Asynchronous Distributed Controllers. CONCUR 2002: 145-160 - [c38]Abhik Roychoudhury, P. S. Thiagarajan:
An Executable Specification Language Based on Message Sequence Charts. 10th Anniversary Colloquium of UNU/IIST 2002: 226-241 - 2001
- [c37]P. Madhusudan, P. S. Thiagarajan:
Distributed Controller Synthesis for Local Specifications. ICALP 2001: 396-407 - 2000
- [c36]Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi:
Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107 - [c35]Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan:
On Message Sequence Graphs and Finitely Generated Regular MSC Languages. ICALP 2000: 675-686 - [c34]Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan:
Regular Collections of Message Sequence Charts. MFCS 2000: 405-414 - 1999
- [c33]Deepak D'Souza, P. S. Thiagarajan:
Product Interval Automata: A Subclass of Timed Automata. FSTTCS 1999: 60-71 - [c32]Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan:
Synthesizing Distributed Transition Systems from Global Specification. FSTTCS 1999: 219-231 - 1998
- [c31]P. Madhusudan, P. S. Thiagarajan:
Controllers for Discrete Event Systems via Morphisms. CONCUR 1998: 18-33 - [c30]P. S. Thiagarajan:
Some Logical and Automata-Theoretic Aspects of Product Behaviours. EXPRESS 1998: 153 - 1997
- [c29]Jesper G. Henriksen, P. S. Thiagarajan:
A Product Version of Dynamic Linear Time Temporal Logic. CONCUR 1997: 45-58 - [c28]P. S. Thiagarajan, Igor Walukiewicz:
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. LICS 1997: 183-194 - 1996
- [c27]P. S. Thiagarajan, Jesper G. Henriksen:
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. Petri Nets 1996: 643-681 - [c26]Madhavan Mukund, P. S. Thiagarajan:
Linear time temporal logics over Mazurkiewicz traces. Partial Order Methods in Verification 1996: 171-201 - [c25]Madhavan Mukund, P. S. Thiagarajan:
Linear Time Temporal Logics over Mazurkiewicz Traces. MFCS 1996: 62-92 - 1995
- [c24]P. S. Thiagarajan:
A Trace Consistent Subset of PTL. CONCUR 1995: 438-452 - 1994
- [c23]P. S. Thiagarajan:
A Trace Based Extension of Linear Time Temporal Logic. LICS 1994: 438-447 - 1993
- [c22]P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
Local Event Structures and Petri Nets. CONCUR 1993: 462-476 - [c21]Kamal Lodaya, P. S. Thiagarajan:
Decidability of a Partial Order Based Temporal Logic. ICALP 1993: 582-592 - 1992
- [c20]P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
A Trace Semantics for Petri Nets (Extended Abstract). ICALP 1992: 595-604 - 1989
- [c19]Madhavan Mukund, P. S. Thiagarajan:
An Axiomatization of Event Structures. FSTTCS 1989: 143-160 - 1988
- [c18]P. S. Thiagarajan:
Some Behavioural Aspects of Net Theory. ICALP 1988: 630-653 - [c17]Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan:
A logic for distributed transition systems. REX Workshop 1988: 508-522 - 1987
- [c16]Kamal Lodaya, P. S. Thiagarajan:
A Modal Logic for a Subclass of Event Structures. ICALP 1987: 290-303 - 1986
- [c15]P. S. Thiagarajan:
Elementary Net Systems. Advances in Petri Nets 1986: 26-59 - 1984
- [c14]César Fernández, Mogens Nielsen, P. S. Thiagarajan:
A note on observable occurrence nets. European Workshop on Applications and Theory in Petri Nets 1984: 122-138 - [c13]César Fernández, P. S. Thiagarajan:
A lattice theoretic view of K-density. European Workshop on Applications and Theory in Petri Nets 1984: 139-153 - [c12]P. S. Thiagarajan, Klaus Voss:
In praise of free choice nets. European Workshop on Applications and Theory in Petri Nets 1984: 438-454 - [c11]Mogens Nielsen, P. S. Thiagarajan:
Degrees of Non-Determinism and Concurrency: A Petri Net View. FSTTCS 1984: 89-117 - 1983
- [c10]P. S. Thiagarajan:
Some Aspects of Net Theory. The Analysis of Concurrent Systems 1983: 26-54 - 1982
- [c9]César Fernández, P. S. Thiagarajan:
A Note on D-Continuous Causal Nets. European Workshop on Applications and Theory of Petri Nets 1982: 86-97 - [c8]Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan:
Petri nets and their relation to graph grammars. Graph-Grammars and Their Application to Computer Science 1982: 115-129 - [c7]César Fernández, P. S. Thiagarajan:
Some Properties of D-Continuous Causal Nets. ICALP 1982: 225-238 - [c6]Hartmann J. Genrich, P. S. Thiagarajan:
Well-Formed Flow Charts for Concurrent Programming. Formal Description of Programming Concepts 1982: 357-382 - 1981
- [c5]Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan:
Two Alterative Definitions of Synchronic Distance. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 96-103 - 1980
- [c4]Hartmann J. Genrich, P. S. Thiagarajan:
Bipolar Synchronization Systems. ICALP 1980: 257-272 - [c3]Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan:
Substitution Systems - A Family of System Models Based on Concurrency. MFCS 1980: 698-723 - 1979
- [c2]Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan:
Elements of General Net Theory. Advanced Course: Net Theory and Applications 1979: 21-163 - 1972
- [c1]J. Robert Jump, P. S. Thiagarajan:
On the Equivalence of Asynchronous Control Structures. SWAT 1972: 212-223
Parts in Books or Collections
- 2019
- [p5]Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan:
Statistical Model Checking-Based Analysis of Biological Networks. Automated Reasoning for Systems Biology and Medicine 2019: 63-92 - 2012
- [p4]Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang:
The Discrete Time Behaviour of Restricted Linear Hybrid Automata. Modern Applications of Automata Theory 2012: 437-456 - 2003
- [p3]David Harel, P. S. Thiagarajan:
Message Sequence Charts. UML for Real 2003: 77-105 - 1989
- [p2]Madhavan Mukund, P. S. Thiagarajan:
A Petri Net Model of Asynchronously Communicating Sequential Processes. A Perspective in Theoretical Computer Science 1989: 165-198 - 1986
- [p1]Grzegorz Rozenberg, P. S. Thiagarajan:
Petri Nets: Basic Notions, Structure, Behaviour. Current Trends in Concurrency 1986: 585-668
Editorship
- 2007
- [e6]Jean-François Raskin, P. S. Thiagarajan:
Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Lecture Notes in Computer Science 4763, Springer 2007, ISBN 978-3-540-75453-4 [contents] - 2006
- [e5]Susanna Donatelli, P. S. Thiagarajan:
Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings. Lecture Notes in Computer Science 4024, Springer 2006, ISBN 3-540-34699-6 [contents] - [e4]Bernd Kleinjohann, Lisa Kleinjohann, Ricardo Jorge Machado, Carlos Eduardo Pereira, P. S. Thiagarajan:
From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal. IFIP 225, Springer 2006, ISBN 978-0-387-39361-2 [contents] - 1999
- [e3]P. S. Thiagarajan, Roland H. C. Yap:
Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings. Lecture Notes in Computer Science 1742, Springer 1999, ISBN 3-540-66856-X [contents] - 1995
- [e2]P. S. Thiagarajan:
Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings. Lecture Notes in Computer Science 1026, Springer 1995, ISBN 3-540-60692-0 [contents] - 1994
- [e1]P. S. Thiagarajan:
Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings. Lecture Notes in Computer Science 880, Springer 1994, ISBN 3-540-58715-2 [contents]
Informal and Other Publications
- 2014
- [i2]Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan:
Distributed Markov Chains. CoRR abs/1408.0979 (2014) - [i1]Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan:
Approximate probabilistic verification of hybrid systems. CoRR abs/1412.6953 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 01:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
