The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

P. S. Thiagarajan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
    Elements of General Net Theory. [Citation Graph (2, 0)][DBLP]
    Advanced Course: Net Theory and Applications, 1975, pp:21-163 [Conf]
  2. Abhik Roychoudhury, P. S. Thiagarajan
    Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:789-818 [Conf]
  3. P. S. Thiagarajan
    Elementary Net Systems. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:26-59 [Conf]
  4. P. S. Thiagarajan, Jesper G. Henriksen
    Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:643-681 [Conf]
  5. P. S. Thiagarajan
    Some Aspects of Net Theory. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:26-54 [Conf]
  6. Abhik Roychoudhury, P. S. Thiagarajan
    Communicating Transaction Processes. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:157-166 [Conf]
  7. P. S. Thiagarajan
    Cyclic Communicating Processes: Hierarchy and Verification. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:4- [Conf]
  8. César Fernández, Mogens Nielsen, P. S. Thiagarajan
    A note on observable occurrence nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:122-138 [Conf]
  9. César Fernández, P. S. Thiagarajan
    A Note on D-Continuous Causal Nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1982, pp:86-97 [Conf]
  10. César Fernández, P. S. Thiagarajan
    A lattice theoretic view of K-density. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:139-153 [Conf]
  11. Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan
    Two Alterative Definitions of Synchronic Distance. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:96-103 [Conf]
  12. Mogens Nielsen, P. S. Thiagarajan
    Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:335-351 [Conf]
  13. P. S. Thiagarajan
    Abstract Cyclic Communicating Processes: A Logical View. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:68-69 [Conf]
  14. P. S. Thiagarajan, Klaus Voss
    In praise of free choice nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:438-454 [Conf]
  15. Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan
    Interface Design for Rationally Clocked GALS Systems. [Citation Graph (0, 0)][DBLP]
    ASYNC, 2006, pp:160-171 [Conf]
  16. P. S. Thiagarajan
    Regular Event Structures and Finite Petri Nets: A Conjecture. [Citation Graph (0, 0)][DBLP]
    Formal and Natural Computing, 2002, pp:244-256 [Conf]
  17. P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
    Local Event Structures and Petri Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:462-476 [Conf]
  18. Jesper G. Henriksen, P. S. Thiagarajan
    A Product Version of Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:45-58 [Conf]
  19. Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi
    Timed vs. Time-Triggered Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:340-354 [Conf]
  20. Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi
    Open Systems in Reactive Environments: Control and Synthesis. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:92-107 [Conf]
  21. P. Madhusudan, P. S. Thiagarajan
    A Decidable Class of Asynchronous Distributed Controllers. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:145-160 [Conf]
  22. P. Madhusudan, P. S. Thiagarajan
    Controllers for Discrete Event Systems via Morphisms. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:18-33 [Conf]
  23. Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
    Netcharts: Bridging the gap between HMSCs and executable specifications. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:293-307 [Conf]
  24. P. S. Thiagarajan
    A Trace Consistent Subset of PTL. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:438-452 [Conf]
  25. J. Robert Jump, P. S. Thiagarajan
    On the Equivalence of Asynchronous Control Structures [Citation Graph (0, 0)][DBLP]
    FOCS, 1972, pp:212-223 [Conf]
  26. Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan
    Synthesizing Distributed Transition Systems from Global Specification. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:219-231 [Conf]
  27. Deepak D'Souza, P. S. Thiagarajan
    Product Interval Automata: A Subclass of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:60-71 [Conf]
  28. P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
    The MSO Theory of Connectedly Communicating Processes. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:201-212 [Conf]
  29. Mogens Nielsen, P. S. Thiagarajan
    Degrees of Non-Determinism and Concurrency: A Petri Net View. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1984, pp:89-117 [Conf]
  30. Madhavan Mukund, P. S. Thiagarajan
    An Axiomatization of Event Structures. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1989, pp:143-160 [Conf]
  31. Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan
    Petri nets and their relation to graph grammars. [Citation Graph (0, 0)][DBLP]
    Graph-Grammars and Their Application to Computer Science, 1982, pp:115-129 [Conf]
  32. Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang
    Behavioural Approximations for Restricted Linear Differential Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:4-18 [Conf]
  33. Manindra Agrawal, P. S. Thiagarajan
    Lazy Rectangular Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:1-15 [Conf]
  34. Manindra Agrawal, P. S. Thiagarajan
    The Discrete Time Behavior of Lazy Linear Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:55-69 [Conf]
  35. César Fernández, P. S. Thiagarajan
    Some Properties of D-Continuous Causal Nets. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:225-238 [Conf]
  36. Hartmann J. Genrich, P. S. Thiagarajan
    Bipolar Synchronization Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:257-272 [Conf]
  37. Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
    On Message Sequence Graphs and Finitely Generated Regular MSC Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:675-686 [Conf]
  38. P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
    A Trace Semantics for Petri Nets (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:595-604 [Conf]
  39. Kamal Lodaya, P. S. Thiagarajan
    A Modal Logic for a Subclass of Event Structures. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:290-303 [Conf]
  40. Kamal Lodaya, P. S. Thiagarajan
    Decidability of a Partial Order Based Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:582-592 [Conf]
  41. P. Madhusudan, P. S. Thiagarajan
    Distributed Controller Synthesis for Local Specifications. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:396-407 [Conf]
  42. P. S. Thiagarajan
    Some Behavioural Aspects of Net Theory. [Citation Graph (0, 0)][DBLP]
    ICALP, 1988, pp:630-653 [Conf]
  43. Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan
    Interacting process classes. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:302-311 [Conf]
  44. 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. [Citation Graph (0, 0)][DBLP]
    ISMB (Supplement of Bioinformatics), 2006, pp:271-280 [Conf]
  45. P. S. Thiagarajan
    A Trace Based Extension of Linear Time Temporal Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:438-447 [Conf]
  46. P. S. Thiagarajan, Igor Walukiewicz
    An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:183-194 [Conf]
  47. Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
    Substitution Systems - A Family of System Models Based on Concurrency. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:698-723 [Conf]
  48. Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
    Regular Collections of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:405-414 [Conf]
  49. Madhavan Mukund, P. S. Thiagarajan
    Linear Time Temporal Logics over Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:62-92 [Conf]
  50. Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
    A logic for distributed transition sytems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:508-522 [Conf]
  51. Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan
    Event Count Automata: A State-Based Model for Stream Processing Systems. [Citation Graph (0, 0)][DBLP]
    RTSS, 2005, pp:87-98 [Conf]
  52. Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong
    Model-Driven SoC Design via Executable UML to SystemC. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:459-468 [Conf]
  53. Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva
    Automatic Generation of Protocol Converters from Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:447-458 [Conf]
  54. Abhik Roychoudhury, P. S. Thiagarajan
    An Executable Specification Language Based on Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:226-241 [Conf]
  55. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
    Elementary Transition Systems and Refinement. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1992, v:29, n:6/7, pp:555-578 [Journal]
  56. Jesper G. Henriksen, P. S. Thiagarajan
    Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:187-207 [Journal]
  57. Hartmann J. Genrich, P. S. Thiagarajan
    Surveyor's Forum: Net Progress. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1978, v:10, n:1, pp:84-85 [Journal]
  58. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
    Behavioural Notions for Elementary Net Systems. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1990, v:4, n:, pp:45-57 [Journal]
  59. Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan
    Generalized Handle Grammars and Their Relation to Petri Nets. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1984, v:20, n:4, pp:179-206 [Journal]
  60. P. S. Thiagarajan
    Some Logical and Automata-Theoretic Aspects of Product Behaviours. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal]
  61. Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan
    A theory of regular MSC languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:202, n:1, pp:1-38 [Journal]
  62. P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
    A Trace Semantics for Petri Nets [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:117, n:1, pp:98-114 [Journal]
  63. Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
    A Logical Study of Distributed Transition Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:119, n:1, pp:91-118 [Journal]
  64. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
    Transition Systems, Event Structures and Unfoldings [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:2, pp:191-207 [Journal]
  65. P. S. Thiagarajan, K. Vos
    A Fresh Look at Free Choice Nets [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:61, n:2, pp:85-113 [Journal]
  66. P. S. Thiagarajan, Igor Walukiewicz
    An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:230-249 [Journal]
  67. Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
    Temporal Logics for Communicating Sequential Agents: I. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1992, v:3, n:2, pp:117-159 [Journal]
  68. P. S. Thiagarajan, Roland H. C. Yap
    5th Asian Computing Science Conference - Preface. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2002, v:13, n:3, pp:313-314 [Journal]
  69. J. Robert Jump, P. S. Thiagarajan
    On the Interconnection of Asynchronous Control Structures. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1975, v:22, n:4, pp:596-612 [Journal]
  70. J. Robert Jump, P. S. Thiagarajan
    On the Equivalence of Asynchronous Control Structures. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1973, v:2, n:2, pp:67-87 [Journal]
  71. César Fernández, P. S. Thiagarajan
    D-Continuous Causal Nets: A Model of Non-Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:171-196 [Journal]
  72. Hartmann J. Genrich, P. S. Thiagarajan
    A Theory of Bipolar Synchronization Schemes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:30, n:, pp:241-318 [Journal]
  73. P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
    An Event Structure Semantics for General Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:153, n:1&2, pp:129-170 [Journal]
  74. P. Madhusudan, P. S. Thiagarajan
    Branching time controllers for discrete event systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:274, n:1-2, pp:117-149 [Journal]
  75. Madhavan Mukund, P. S. Thiagarajan
    A Logical Characterization of Well Branching Event Structures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:96, n:1, pp:35-72 [Journal]
  76. Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
    Elementary Transition Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:96, n:1, pp:3-33 [Journal]
  77. Brigitte Rozoy, P. S. Thiagarajan
    Event Structures and Trace Monoids. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:91, n:2, pp:285-313 [Journal]
  78. P. S. Thiagarajan
    Some Behavioural Aspects of Net Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:71, n:1, pp:133-153 [Journal]
  79. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
    Causal Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:166-180 [Conf]
  80. Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan
    Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation. [Citation Graph (0, 0)][DBLP]
    WABI, 2007, pp:420-430 [Conf]
  81. L. Feng, W. Murray Wonham, P. S. Thiagarajan
    Designing communicating transaction processes by supervisory control theory. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:30, n:2, pp:117-141 [Journal]

  82. Probabilistic Approximations of Signaling Pathway Dynamics. [Citation Graph (, )][DBLP]


  83. Quasi-Static Scheduling of Communicating Tasks. [Citation Graph (, )][DBLP]


  84. Succinct discrete time approximations of distributed hybrid automata. [Citation Graph (, )][DBLP]


  85. Incremental Signaling Pathway Modeling by Data Integration. [Citation Graph (, )][DBLP]


  86. A UML-Based Design Framework for Time-Triggered Applications. [Citation Graph (, )][DBLP]


  87. Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. [Citation Graph (, )][DBLP]


  88. A Multi-mode Real-Time Calculus. [Citation Graph (, )][DBLP]


Search in 0.225secs, Finished in 0.230secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002