( en | de | ru )

 

Disambiguation of "Thiagarajan, P. S."

Author of the publication

copydeleteadd this publication to your clipboard
The Discrete Time Behaviour of Restricted Linear Hybrid Automata.

, , , and . Modern Applications of Automata Theory, volume 2 of IISc Research Monographs Series, World Scientific, (2012)

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 Hüttelmaier

 

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)Distributed Markov Chains., , , and . CoRR, (2014)A lattice theoretic view of K-density., and . European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, page 139-153. Springer, (1984)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)Statistical Model Checking-Based Analysis of Biological Networks., , and . Automated Reasoning for Systems Biology and Medicine, volume 30 of Computational Biology, Springer, (2019)Approximate Probabilistic Verification of Hybrid Systems., , , , and . HSB, volume 9271 of Lecture Notes in Computer Science, page 96-116. Springer, (2015)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)