P. S. Thiagarajan - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Component-based construction of bio-pathway models: The parameter estimation problemGeoffrey Koh, David Hsu, P. S. Thiagarajan. TCS, 412(26):2840-2853, 2011. [doi]

Probabilistic approximations of ODEs based bio-pathway dynamicsBing Liu, David Hsu, P. S. Thiagarajan. TCS, 412(21):2188-2206, 2011. [doi]

2010

Quasi-static scheduling of communicating tasksPhilippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang. iandc, 208(10):1154-1168, 2010. [doi]

Incremental Signaling Pathway Modeling by Data IntegrationGeoffrey Koh, David Hsu, P. S. Thiagarajan. recomb 2010: 281-296 [doi]

Succinct discrete time approximations of distributed hybrid automataP. S. Thiagarajan, Shaofa Yang. hybrid 2010: 1-10 [doi]

2009

2008

Quasi-Static Scheduling of Communicating TasksPhilippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang. concur 2008: 310-324 [doi]

A Multi-mode Real-Time CalculusLinh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan. rtss 2008: 59-69 [doi]

2007

Designing communicating transaction processes by supervisory control theoryL. Feng, W. Murray Wonham, P. S. Thiagarajan. fmsd, 30(2):117-141, 2007. [doi]

Causal Message Sequence ChartsThomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang. concur 2007: 166-180 [doi]

Composing Globally Consistent Pathway Parameter Estimates Through Belief PropagationGeoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan. wabi 2007: 420-430 [doi]

A UML-Based Design Framework for Time-Triggered ApplicationsKathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong. rtss 2007: 39-48 [doi]

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time SystemsLinh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele. rtss 2007: 343-352 [doi]

Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, ProceedingsJean-François Raskin, P. S. Thiagarajan, editors, Volume 4763 of Lecture Notes in Computer Science, Springer, 2007.

2006

Behavioural Approximations for Restricted Linear Differential Hybrid AutomataManindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang. hybrid 2006: 4-18 [doi]

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, ProceedingsSusanna Donatelli, P. S. Thiagarajan, editors, Volume 4024 of Lecture Notes in Computer Science, Springer, 2006.

Interacting process classesAnkit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan. ICSE 2006: 302-311 [doi]

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, PortugalBernd Kleinjohann, Lisa Kleinjohann, Ricardo Jorge Machado, Carlos Eduardo Pereira, P. S. Thiagarajan, editors, Volume 225 of IFIP, Springer, 2006.

A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalkGeoffrey Koh, Huey Fern Carol Teong, Marie-Véronique Clément, David Hsu, P. S. Thiagarajan. ismb 2006: 271-280 [doi]

Interface Design for Rationally Clocked GALS SystemsJoycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan. async 2006: 160-171 [doi]

2005

2004

2003

2002

A Decidable Class of Asynchronous Distributed ControllersP. Madhusudan, P. S. Thiagarajan. concur 2002: 145-160 [doi]

Branching time controllers for discrete event systemsP. Madhusudan, P. S. Thiagarajan. TCS, 274(1-2):117-149, 2002. [doi]

Regular Event Structures and Finite Petri Nets: The Conflict-Free CaseMogens Nielsen, P. S. Thiagarajan. apn 2002: 335-351 [doi]

An Executable Specification Language Based on Message Sequence ChartsAbhik Roychoudhury, P. S. Thiagarajan. unu 2003: 226-241 [doi]

Regular Event Structures and Finite Petri Nets: A ConjectureP. S. Thiagarajan. BIRTHDAY 2002: 244-256 [doi]

Abstract Cyclic Communicating Processes: A Logical ViewP. S. Thiagarajan. apn 2002: 68-69 [doi]

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz TracesP. S. Thiagarajan, Igor Walukiewicz. iandc, 179(2):230-249, 2002. [doi]

5th Asian Computing Science Conference - PrefaceP. S. Thiagarajan, Roland H. C. Yap. ijfcs, 13(3):313-314, 2002. [doi]

2001

Distributed Controller Synthesis for Local SpecificationsP. Madhusudan, P. S. Thiagarajan. icalp 2001: 396-407 [doi]

2000

1999

Synthesizing Distributed Transition Systems from Global SpecificationIlaria Castellani, Madhavan Mukund, P. S. Thiagarajan. fsttcs 1999: 219-231 [doi]

Dynamic Linear Time Temporal LogicJesper G. Henriksen, P. S. Thiagarajan. APAL, 96(1-3):187-207, 1999.

Product Interval Automata: A Subclass of Timed AutomataDeepak D Souza, P. S. Thiagarajan. fsttcs 1999: 60-71 [doi]

Advances in Computing Science - ASIAN 99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, ProceedingsP. S. Thiagarajan, Roland H. C. Yap, editors, Volume 1742 of Lecture Notes in Computer Science, Springer, 1999.

1998

Controllers for Discrete Event Systems via MorphismsP. Madhusudan, P. S. Thiagarajan. concur 1998: 18-33 [doi]

Some Logical and Automata-Theoretic Aspects of Product BehavioursP. S. Thiagarajan. ENTCS, 16(2), 1998. [doi]

1997

A Product Version of Dynamic Linear Time Temporal LogicJesper G. Henriksen, P. S. Thiagarajan. concur 1997: 45-58

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz TracesP. S. Thiagarajan, Igor Walukiewicz. lics 1997: 183-194 [doi]

1996

An Event Structure Semantics for General Petri NetsP. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan. TCS, 153(1&2):129-170, 1996. [doi]

Linear Time Temporal Logics over Mazurkiewicz TracesMadhavan Mukund, P. S. Thiagarajan. mfcs 1996: 62-92

Distributed Versions of Linear Time Temporal Logic: A Trace PerspectiveP. S. Thiagarajan, Jesper G. Henriksen. ac 1998: 643-681

1995

A Trace Semantics for Petri NetsP. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan. iandc, 117(1):98-114, February 1995.

A Logical Study of Distributed Transition SystemsKamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan. iandc, 119(1):91-118, May 1995.

Transition Systems, Event Structures and UnfoldingsMogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. iandc, 118(2):191-207, May 1995.

A Trace Consistent Subset of PTLP. S. Thiagarajan. concur 1995: 438-452

Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, ProceedingsP. S. Thiagarajan, editor, Volume 1026 of Lecture Notes in Computer Science, Springer, 1995.

1994

Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, ProceedingsP. S. Thiagarajan, editor, Volume 880 of Lecture Notes in Computer Science, Springer, 1994.

A Trace Based Extension of Linear Time Temporal LogicP. S. Thiagarajan. lics 1994: 438-447

1993

Local Event Structures and Petri NetsP. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan. concur 1993: 462-476

Decidability of a Partial Order Based Temporal LogicKamal Lodaya, P. S. Thiagarajan. icalp 1993: 582-592

1992

A Trace Semantics for Petri Nets (Extended Abstract)P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan. icalp 1992: 595-604

Temporal Logics for Communicating Sequential Agents: IKamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan. ijfcs, 3(2):117-159, 1992.

A Logical Characterization of Well Branching Event StructuresMadhavan Mukund, P. S. Thiagarajan. TCS, 96(1):35-72, 1992.

Elementary Transition SystemsMogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. TCS, 96(1):3-33, 1992.

Elementary Transition Systems and RefinementMogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. ACTA, 29(6/7):555-578, 1992.

1991

Event Structures and Trace MonoidsBrigitte Rozoy, P. S. Thiagarajan. TCS, 91(2):285-313, 1991.

1990

Behavioural Notions for Elementary Net SystemsMogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan. dc, 4:45-57, 1990.

Some Behavioural Aspects of Net TheoryP. S. Thiagarajan. TCS, 71(1):133-153, 1990.

1989

An Axiomatization of Event StructuresMadhavan Mukund, P. S. Thiagarajan. fsttcs 1989: 143-160

1988

A logic for distributed transition sytemsKamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan. rex 1989: 508-522

Some Behavioural Aspects of Net TheoryP. S. Thiagarajan. icalp 1988: 630-653

1987

A Modal Logic for a Subclass of Event StructuresKamal Lodaya, P. S. Thiagarajan. icalp 1987: 290-303

1986

Petri Nets: Basic Notions, Structure, BehaviourGrzegorz Rozenberg, P. S. Thiagarajan. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Current Trends in Concurrency, Overviews and Tutorials. Volume 224 of Lecture Notes in Computer Science, pages 585-668, Springer, 1986.

Elementary Net SystemsP. S. Thiagarajan. ac 1987: 26-59

1984

A note on observable occurrence netsCésar Fernández, Mogens Nielsen, P. S. Thiagarajan. apn 1985: 122-138

A lattice theoretic view of K-densityCésar Fernández, P. S. Thiagarajan. apn 1985: 139-153

D-Continuous Causal Nets: A Model of Non-Sequential ProcessesCésar Fernández, P. S. Thiagarajan. TCS, 28:171-196, 1984.

A Theory of Bipolar Synchronization SchemesHartmann J. Genrich, P. S. Thiagarajan. TCS, 30:241-318, 1984.

Generalized Handle Grammars and Their Relation to Petri NetsHartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan. eik, 20(4):179-206, 1984.

Degrees of Non-Determinism and Concurrency: A Petri Net ViewMogens Nielsen, P. S. Thiagarajan. fsttcs 1984: 89-117

A Fresh Look at Free Choice NetsP. S. Thiagarajan, K. Vos. iandc, 61(2):85-113, May 1984.

In praise of free choice netsP. S. Thiagarajan, Klaus Voss. apn 1985: 438-454

1983

Some Aspects of Net TheoryP. S. Thiagarajan. acs 1985: 26-54

1982

A Note on D-Continuous Causal NetsCésar Fernández, P. S. Thiagarajan. apn 1983: 86-97

Some Properties of D-Continuous Causal NetsCésar Fernández, P. S. Thiagarajan. icalp 1982: 225-238

Petri nets and their relation to graph grammarsHartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan. gg 1983: 115-129

1981

Two Alterative Definitions of Synchronic DistanceUrsula Goltz, Wolfgang Reisig, P. S. Thiagarajan. apn 1982: 96-103

1980

Bipolar Synchronization SystemsHartmann J. Genrich, P. S. Thiagarajan. icalp 1980: 257-272

Substitution Systems - A Family of System Models Based on ConcurrencyHartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan. mfcs 1980: 698-723

1978

Surveyor s Forum: Net ProgressHartmann J. Genrich, P. S. Thiagarajan. ACM Comput. Surv., 10(1):84-85, 1978.

1975

Elements of General Net TheoryHartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan. ac 1980: 21-163

On the Interconnection of Asynchronous Control StructuresJ. Robert Jump, P. S. Thiagarajan. JACM, 22(4):596-612, 1975. [doi]

1973

On the Equivalence of Asynchronous Control StructuresJ. Robert Jump, P. S. Thiagarajan. siamcomp, 2(2):67-87, 1973.

1972

On the Equivalence of Asynchronous Control StructuresJ. Robert Jump, P. S. Thiagarajan. focs 1972: 212-223