P. S. Thiagarajan spends much of his time researching Theoretical computer science, Concurrency, Artificial intelligence, Petri net and Algorithm. His Theoretical computer science research integrates issues from Realizability, Bounded function and Message sequence chart. His studies in Concurrency integrate themes in fields like Net and Algebra.
As part of his studies on Artificial intelligence, P. S. Thiagarajan frequently links adjacent subjects like Distributed computing. His Process architecture study, which is part of a larger body of work in Petri net, is frequently linked to Synchronization, bridging the gap between disciplines. His work deals with themes such as Well-formed formula, Propositional variable, Intermediate logic and Systems analysis, which intersect with Algorithm.
His main research concerns Theoretical computer science, Concurrency, Petri net, Temporal logic and Algorithm. His Theoretical computer science research is multidisciplinary, relying on both Finite-state machine, Probabilistic logic and Class. His research in Concurrency intersects with topics in Discrete mathematics, Transition system, Net, Algebra and Artificial intelligence.
His work in the fields of Discrete mathematics, such as Conjecture, overlaps with other areas such as Event. His Petri net study frequently draws connections to other fields, such as Event structure. His Temporal logic research also works with subjects such as
Markov chain, Probabilistic logic, Probability distribution, Theoretical computer science and Ode are his primary areas of study. He has researched Markov chain in several fields, including Interval and Finite set. The study incorporates disciplines such as Time complexity, Dynamical systems theory and Concurrency in addition to Probabilistic logic.
His Concurrency research is multidisciplinary, incorporating perspectives in Event, Variety and New Foundations. His Disjoint sets research extends to Theoretical computer science, which is thematically connected. In his study, Discrete time and continuous time, Applied mathematics and Bounded function is inextricably linked to Hybrid system, which falls within the broad field of Probabilistic analysis of algorithms.
P. S. Thiagarajan mainly focuses on Probability distribution, Theoretical computer science, Ode, Ordinary differential equation and Markov chain. His work on Model checking as part of general Theoretical computer science study is frequently linked to Context, bridging the gap between disciplines. His Model checking research incorporates elements of Time complexity, Probabilistic analysis of algorithms, Kernel and Temporal logic.
His Ode study integrates concerns from other disciplines, such as Estimation theory and Sensitivity. The various areas that P. S. Thiagarajan examines in his Sensitivity study include Algorithm, Mathematical optimization and Formal specification. His Markov chain study which covers Discrete mathematics that intersects with Matrix analytic method, Discrete phase-type distribution, Tuple, Set and Finite set.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
OpenComet: an automated tool for comet assay image analysis.
Benjamin M. Gyori;Gireedhar Venkatachalam;P.S. Thiagarajan;David Hsu.
Redox biology (2014)
Elementary transition systems
M. Nielsen;G. Rozenberg;P. S. Thiagarajan.
Theoretical Computer Science (1992)
Elements of General Net Theory
Hartmann J. Genrich;Kurt Lautenbach;P. S. Thiagarajan.
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications (1979)
Elementary net systems
P. S. Thiagarajan.
Advances in Petri nets 1986, part I on Petri nets: central models and their properties (1987)
Petri nets: basic notions, structure, behaviour
G Rozenberg;P S Thiagarajan.
Current trends in concurrency. Overviews and tutorials (1986)
Message sequence charts
David Harel;P. S. Thiagarajan.
UML for real (2003)
Dynamic linear time temporal logic
Jesper G. Henriksen;P.S. Thiagarajan.
Annals of Pure and Applied Logic (1999)
A trace based extension of linear time temporal logic
P.S. Thiagarajan.
logic in computer science (1994)
Open Systems in Reactive Environments: Control and Synthesis
Orna Kupferman;P. Madhusudan;P. S. Thiagarajan;Moshe Y. Vardi.
international conference on concurrency theory (2000)
A theory of regular MSC languages
Jesper G. Henriksen;Madhavan Mukund;K. Narayan Kumar;Milind Sohoni.
Information & Computation (2005)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Aarhus University
University of Illinois at Chicago
Leiden University
National University of Singapore
University of Illinois at Urbana-Champaign
National University of Singapore
University of North Carolina at Chapel Hill
Lund University
Humboldt-Universität zu Berlin
MIT
Huazhong University of Science and Technology
IBM (United States)
Kyoto University
Uppsala University
Japan Atomic Energy Agency
Kanagawa University
Nichia Corporation (Japan)
Wellcome Sanger Institute
Kyoto University
National Cheng Kung University
Rush University Medical Center
Fisheries and Oceans Canada
Centre national de la recherche scientifique, CNRS
The Ohio State University
Princess Margaret Cancer Centre
Kaiser Permanente