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