Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "P. S. Thiagarajan" ( http://dblp.L3S.de/Authors/P._S._Thiagarajan )

URL (Homepage):  http://www.comp.nus.edu.sg/~thiagu/  Author page on DBLP  Author page in RDF  Community of P. S. Thiagarajan in ASPL-2

Publication years (Num. hits)
1972-1984 (20) 1986-1993 (16) 1994-1999 (18) 2000-2003 (16) 2004-2007 (20) 2008-2011 (12)
Publication types (Num. hits)
article(31) incollection(1) inproceedings(64) proceedings(6)
Venues (Conferences, Journals, ...)
Theor. Comput. Sci.(11) CONCUR(10) ICALP(8) FSTTCS(7) Inf. Comput.(6) RTSS(5) HSCC(4) European Workshop on Applicati...(3) ICATPN(3) MFCS(3) ACSD(2) CMSB(2) Int. J. Found. Comput. Sci.(2) LICS(2) 10th Anniversary Colloquium of...(1) ACM Comput. Surv.(1) More (+10 of total 48)
Authors
P. S. Thiagarajan(102) Madhavan Mukund(8) David Hsu(7) Grzegorz Rozenberg(7) Hartmann J. Genrich(7) Mogens Nielsen(7) Shaofa Yang(7) Abhik Roychoudhury(6) Jesper G. Henriksen(6) P. Madhusudan(6) Blaise Genest(5) César Fernández(5) Kamal Lodaya(5) Geoffrey Koh(4) H. C. M. Kleijn(4) K. Narayan Kumar(4) More (+10 of total 77)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 9 keywords
Results
Found 102 publication records. Showing 102 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Geoffrey Koh, David Hsu, P. S. Thiagarajan Component-based construction of bio-pathway models: The parameter estimation problem. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bing Liu 0013, David Hsu, P. S. Thiagarajan Probabilistic approximations of ODEs based bio-pathway dynamics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bing Liu 0013, Jing Zhang, Pei Yi Tan, David Hsu, Anna M. Blom, Benjamin Leong, Sunil Sethi, Bow Ho, Jeak Ling Ding, P. S. Thiagarajan A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System. Search on Bibsonomy PLoS Computational Biology The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. Search on Bibsonomy CMSB The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang Quasi-static scheduling of communicating tasks. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan, Shaofa Yang Succinct discrete time approximations of distributed hybrid automata. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF discrete time approximation, distributed hybrid automata
1Geoffrey Koh, David Hsu, P. S. Thiagarajan Incremental Signaling Pathway Modeling by Data Integration. Search on Bibsonomy RECOMB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang Causal Message Sequence Charts. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan Interacting process classes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Abstract execution, Unified Modeling Language (UML), message sequence charts, active objects
1Bing Liu 0013, P. S. Thiagarajan, David Hsu Probabilistic Approximations of Signaling Pathway Dynamics. Search on Bibsonomy CMSB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang Quasi-Static Scheduling of Communicating Tasks. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan A Multi-mode Real-Time Calculus. Search on Bibsonomy IEEE Real-Time Systems Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Lei Feng, W. Murray Wonham, P. S. Thiagarajan Designing communicating transaction processes by supervisory control theory. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Communicating transaction processes, Discrete-event systems, Supervisory control, Message sequence charts
1Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang Causal Message Sequence Charts. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jean-François Raskin, P. S. Thiagarajan (eds.) Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  BibTeX  RDF
1Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. Search on Bibsonomy RTSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong A UML-Based Design Framework for Time-Triggered Applications. Search on Bibsonomy RTSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation. Search on Bibsonomy WABI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Susanna Donatelli, P. S. Thiagarajan (eds.) 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 Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  BibTeX  RDF
1Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan Interface Design for Rationally Clocked GALS Systems. Search on Bibsonomy ASYNC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernd Kleinjohann, Lisa Kleinjohann, Ricardo Jorge Machado, Carlos Eduardo Pereira, P. S. Thiagarajan (eds.) 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 Search on Bibsonomy DIPES The full citation details ... 2006 DBLP  BibTeX  RDF
1Geoffrey 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. Search on Bibsonomy ISMB (Supplement of Bioinformatics) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang Behavioural Approximations for Restricted Linear Differential Hybrid Automata. Search on Bibsonomy HSCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan Interacting process classes. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF unified modeling language (UML), symbolic execution, message sequence charts, active objects
1Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan A theory of regular MSC languages. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan Event Count Automata: A State-Based Model for Stream Processing Systems. Search on Bibsonomy RTSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Manindra Agrawal, P. S. Thiagarajan The Discrete Time Behavior of Lazy Linear Hybrid Automata. Search on Bibsonomy HSCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan, Shaofa Yang The MSO Theory of Connectedly Communicating Processes. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi Timed vs. Time-Triggered Automata. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong Model-Driven SoC Design via Executable UML to SystemC. Search on Bibsonomy RTSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva Automatic Generation of Protocol Converters from Scenario-Based Specifications. Search on Bibsonomy RTSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Manindra Agrawal, P. S. Thiagarajan Lazy Rectangular Hybrid Automata. Search on Bibsonomy HSCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan Netcharts: Bridging the gap between HMSCs and executable specifications. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan Cyclic Communicating Processes: Hierarchy and Verification. Search on Bibsonomy ACSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, P. S. Thiagarajan Communicating Transaction Processes. Search on Bibsonomy ACSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, P. S. Thiagarajan Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan Branching time controllers for discrete event systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan, Roland H. C. Yap 5th Asian Computing Science Conference - Preface. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2002 DBLP  BibTeX  RDF
1P. S. Thiagarajan, Igor Walukiewicz An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan A Decidable Class of Asynchronous Distributed Controllers. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Mogens Nielsen, P. S. Thiagarajan Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. Search on Bibsonomy ICATPN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan Abstract Cyclic Communicating Processes: A Logical View. Search on Bibsonomy ICATPN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, P. S. Thiagarajan An Executable Specification Language Based on Message Sequence Charts. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan Regular Event Structures and Finite Petri Nets: A Conjecture. Search on Bibsonomy Formal and Natural Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan Distributed Controller Synthesis for Local Specifications. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi Open Systems in Reactive Environments: Control and Synthesis. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan On Message Sequence Graphs and Finitely Generated Regular MSC Languages. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan Regular Collections of Message Sequence Charts. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jesper G. Henriksen, P. S. Thiagarajan Dynamic Linear Time Temporal Logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan, Roland H. C. Yap (eds.) Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  BibTeX  RDF
1Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan Synthesizing Distributed Transition Systems from Global Specification. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Deepak D'Souza, P. S. Thiagarajan Product Interval Automata: A Subclass of Timed Automata. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan Some Logical and Automata-Theoretic Aspects of Product Behaviours. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan Controllers for Discrete Event Systems via Morphisms. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jesper G. Henriksen, P. S. Thiagarajan A Product Version of Dynamic Linear Time Temporal Logic. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan, Igor Walukiewicz An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan An Event Structure Semantics for General Petri Nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, P. S. Thiagarajan Linear Time Temporal Logics over Mazurkiewicz Traces. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan, Jesper G. Henriksen Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. Search on Bibsonomy Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan Transition Systems, Event Structures and Unfoldings Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan A Logical Study of Distributed Transition Systems Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan A Trace Semantics for Petri Nets Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan A Trace Consistent Subset of PTL. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan (eds.) Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings Search on Bibsonomy FSTTCS The full citation details ... 1995 DBLP  BibTeX  RDF
1P. S. Thiagarajan A Trace Based Extension of Linear Time Temporal Logic Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan (eds.) Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  BibTeX  RDF
1P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan Local Event Structures and Petri Nets. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Kamal Lodaya, P. S. Thiagarajan Decidability of a Partial Order Based Temporal Logic. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan Elementary Transition Systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, P. S. Thiagarajan A Logical Characterization of Well Branching Event Structures. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan Temporal Logics for Communicating Sequential Agents: I. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 1992 DBLP  BibTeX  RDF
1Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan Elementary Transition Systems and Refinement. Search on Bibsonomy Acta Inf. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan A Trace Semantics for Petri Nets (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Brigitte Rozoy, P. S. Thiagarajan Event Structures and Trace Monoids. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan Some Behavioural Aspects of Net Theory. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan Behavioural Notions for Elementary Net Systems. Search on Bibsonomy Distributed Computing The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Madhavan Mukund, P. S. Thiagarajan An Axiomatization of Event Structures. Search on Bibsonomy FSTTCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan Some Behavioural Aspects of Net Theory. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan A logic for distributed transition sytems. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF concurrent step, distributed transition systems, completeness, soundness, axiomatization
1Kamal Lodaya, P. S. Thiagarajan A Modal Logic for a Subclass of Event Structures. Search on Bibsonomy ICALP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Grzegorz Rozenberg, P. S. Thiagarajan Petri Nets: Basic Notions, Structure, Behaviour. Search on Bibsonomy Current Trends in Concurrency The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan Elementary Net Systems. Search on Bibsonomy Advances in Petri Nets The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1César Fernández, P. S. Thiagarajan D-Continuous Causal Nets: A Model of Non-Sequential Processes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Hartmann J. Genrich, P. S. Thiagarajan A Theory of Bipolar Synchronization Schemes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan, K. Vos A Fresh Look at Free Choice Nets Search on Bibsonomy Information and Control The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan Generalized Handle Grammars and Their Relation to Petri Nets. Search on Bibsonomy Elektronische Informationsverarbeitung und Kybernetik The full citation details ... 1984 DBLP  BibTeX  RDF
1César Fernández, P. S. Thiagarajan A lattice theoretic view of K-density. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1César Fernández, Mogens Nielsen, P. S. Thiagarajan A note on observable occurrence nets. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan, Klaus Voss In praise of free choice nets. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Mogens Nielsen, P. S. Thiagarajan Degrees of Non-Determinism and Concurrency: A Petri Net View. Search on Bibsonomy FSTTCS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan Some Aspects of Net Theory. Search on Bibsonomy The Analysis of Concurrent Systems The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan Petri nets and their relation to graph grammars. Search on Bibsonomy Graph-Grammars and Their Application to Computer Science The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1César Fernández, P. S. Thiagarajan A Note on D-Continuous Causal Nets. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1982 DBLP  BibTeX  RDF
1César Fernández, P. S. Thiagarajan Some Properties of D-Continuous Causal Nets. Search on Bibsonomy ICALP The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan Two Alterative Definitions of Synchronic Distance. Search on Bibsonomy Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets The full citation details ... 1981 DBLP  BibTeX  RDF
1Hartmann J. Genrich, P. S. Thiagarajan Bipolar Synchronization Systems. Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan Substitution Systems - A Family of System Models Based on Concurrency. Search on Bibsonomy MFCS The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Hartmann J. Genrich, P. S. Thiagarajan Surveyor's Forum: Net Progress. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1J. Robert Jump, P. S. Thiagarajan On the Interconnection of Asynchronous Control Structures. Search on Bibsonomy J. ACM The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
1Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan Elements of General Net Theory. Search on Bibsonomy Advanced Course: Net Theory and Applications The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 102 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.