( en | de | ru )

 

Disambiguation of "Thiagarajan, P. S."

Author of the publication

copydeleteadd this publication to your clipboard
Statistical verification of autonomous system controllers under timing uncertainties.

, , , , , , , , and . Real Time Syst., 60 (1): 108-149 (March 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Arvind Thiagarajan

Egon P S Zehnder

Natarajan Thiagarajan

McDonald's Choultry Thulasilingam Thiagarajan

S Danischewski

 

Other publications of authors with the same name

A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk., , , , and . ISMB (Supplement of Bioinformatics), page 271-280. (2006)A Petri Net Model of Asynchronously Communicating Sequential Processes., and . A Perspective in Theoretical Computer Science, volume 16 of World Scientific Series in Computer Science, World Scientific, (1989)Generalized Handle Grammars and Their Relation to Petri Nets., , , and . Elektronische Informationsverarbeitung und Kybernetik, 20 (4): 179-206 (1984)Models and Logics for True Concurrency, , , and . IMSc/90/12. The Institute of Mathematical Sciences, Madras, INDIA, (1990)Distributed Markov Chains., , , and . CoRR, (2014)Regular Collections of Message Sequence Charts., , , and . MFCS, volume 1893 of Lecture Notes in Computer Science, page 405-414. Springer, (2000)Some Behavioural Aspects of Net Theory.. ICALP, volume 317 of Lecture Notes in Computer Science, page 630-653. Springer, (1988)Bipolar Synchronization Systems., and . ICALP, volume 85 of Lecture Notes in Computer Science, page 257-272. Springer, (1980)A Trace Semantics for Petri Nets (Extended Abstract)., , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 595-604. Springer, (1992)Degrees of Non-Determinism and Concurrency: A Petri Net View., and . FSTTCS, volume 181 of Lecture Notes in Computer Science, page 89-117. Springer, (1984)