Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: P. S. Thiagarajan
@inproceedings{DBLP:conf/aspdac/XuGHTC23,
author = {Shengjie Xu and
Bineet Ghosh and
Clara Hobbs and
P. S. Thiagarajan and
Samarjit Chakraborty},
editor = {Atsushi Takahashi},
title = {Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems
Using Weakly-Hard Constraints},
booktitle = {Proceedings of the 28th Asia and South Pacific Design Automation Conference,
{ASPDAC} 2023, Tokyo, Japan, January 16-19, 2023},
pages = {46--51},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3566097.3567848},
doi = {10.1145/3566097.3567848},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/XuGHTC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/XuGHTJC23,
author = {Shengjie Xu and
Bineet Ghosh and
Clara Hobbs and
P. S. Thiagarajan and
Prachi Joshi and
Samarjit Chakraborty},
title = {Safety-Aware Implementation of Control Tasks via Scheduling with Period
Boosting and Compressing},
booktitle = {29th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2023, Niigata, Japan, August 30
- Sept. 1, 2023},
pages = {196--205},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RTCSA58653.2023.00031},
doi = {10.1109/RTCSA58653.2023.00031},
timestamp = {Mon, 13 Nov 2023 16:37:42 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/XuGHTJC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/GhoshHXDATC22,
author = {Bineet Ghosh and
Clara Hobbs and
Shengjie Xu and
Parasara Sridhar Duggirala and
James H. Anderson and
P. S. Thiagarajan and
Samarjit Chakraborty},
title = {Statistical Hypothesis Testing of Controller Implementations Under
Timing Uncertainties},
booktitle = {28th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2022, Taipei, Taiwan, August 23-25,
2022},
pages = {11--20},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/RTCSA55878.2022.00008},
doi = {10.1109/RTCSA55878.2022.00008},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/GhoshHXDATC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ThiagarajanY20,
author = {P. S. Thiagarajan and
Shaofa Yang},
title = {A Theory of Distributed Markov Chains},
journal = {Fundam. Informaticae},
volume = {175},
number = {1-4},
pages = {301--325},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1958},
doi = {10.3233/FI-2020-1958},
timestamp = {Wed, 07 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ThiagarajanY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/0013GT19,
author = {Bing Liu and
Benjamin M. Gyori and
P. S. Thiagarajan},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Statistical Model Checking-Based Analysis of Biological Networks},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {63--92},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_3},
doi = {10.1007/978-3-030-17297-8\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/cb/0013GT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/ZhouRWT17,
author = {Jun Zhou and
R. Ramanathan and
Weng{-}Fai Wong and
P. S. Thiagarajan},
editor = {J{\'{e}}r{\^{o}}me Feret and
Heinz Koeppl},
title = {Automated Property Synthesis of ODEs Based Bio-pathways Models},
booktitle = {Computational Methods in Systems Biology - 15th International Conference,
{CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10545},
pages = {265--282},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67471-1\_16},
doi = {10.1007/978-3-319-67471-1\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/ZhouRWT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SuCFRT16,
author = {Guoxin Su and
Taolue Chen and
Yuan Feng and
David S. Rosenblum and
P. S. Thiagarajan},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {An Iterative Decision-Making Scheme for Markov Decision Processes
and Its Application to Self-adaptive Systems},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {269--286},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_16},
doi = {10.1007/978-3-662-49665-7\_16},
timestamp = {Wed, 16 Mar 2022 23:55:35 +0100},
biburl = {https://dblp.org/rec/conf/fase/SuCFRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AgrawalAGT15,
author = {Manindra Agrawal and
S. Akshay and
Blaise Genest and
P. S. Thiagarajan},
title = {Approximate Verification of the Symbolic Dynamics of Markov Chains},
journal = {J. {ACM}},
volume = {62},
number = {1},
pages = {2:1--2:34},
year = {2015},
url = {https://doi.org/10.1145/2629417},
doi = {10.1145/2629417},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AgrawalAGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/RamanathanZZGWT15,
author = {R. Ramanathan and
Yan Zhang and
Jun Zhou and
Benjamin M. Gyori and
Weng{-}Fai Wong and
P. S. Thiagarajan},
editor = {Alessandro Abate and
David Safr{\'{a}}nek},
title = {Parallelized Parameter Estimation of Biological Pathway Models},
booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9271},
pages = {37--57},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26916-0\_3},
doi = {10.1007/978-3-319-26916-0\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/RamanathanZZGWT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/Gyori0PRT15,
author = {Benjamin M. Gyori and
Bing Liu and
Soumya Paul and
R. Ramanathan and
P. S. Thiagarajan},
editor = {Alessandro Abate and
David Safr{\'{a}}nek},
title = {Approximate Probabilistic Verification of Hybrid Systems},
booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9271},
pages = {96--116},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26916-0\_6},
doi = {10.1007/978-3-319-26916-0\_6},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/Gyori0PRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SahaEJMT15,
author = {Ratul Saha and
Javier Esparza and
Sumit Kumar Jha and
Madhavan Mukund and
P. S. Thiagarajan},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Distributed Markov Chains},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {117--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_7},
doi = {10.1007/978-3-662-46081-8\_7},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SahaEJMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/WangTNJTWY14,
author = {Junjie Wang and
Lisa Tucker{-}Kellogg and
Inn Chuan Ng and
Ruirui Jia and
P. S. Thiagarajan and
Jacob K. White and
Hanry Yu},
title = {The Self-Limiting Dynamics of TGF-{\(\beta\)} Signaling \emph{In Silico}
and \emph{In Vitro}, with Negative Feedback through {PPM1A} Upregulation},
journal = {PLoS Comput. Biol.},
volume = {10},
number = {6},
year = {2014},
url = {https://doi.org/10.1371/journal.pcbi.1003573},
doi = {10.1371/JOURNAL.PCBI.1003573},
timestamp = {Mon, 08 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/WangTNJTWY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ThiagarajanY14,
author = {P. S. Thiagarajan and
Shaofa Yang},
title = {Rabin's theorem in the concurrency setting: {A} conjecture},
journal = {Theor. Comput. Sci.},
volume = {546},
pages = {225--236},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.03.010},
doi = {10.1016/J.TCS.2014.03.010},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ThiagarajanY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JhaMST14,
author = {Sumit Kumar Jha and
Madhavan Mukund and
Ratul Saha and
P. S. Thiagarajan},
title = {Distributed Markov Chains},
journal = {CoRR},
volume = {abs/1408.0979},
year = {2014},
url = {http://arxiv.org/abs/1408.0979},
eprinttype = {arXiv},
eprint = {1408.0979},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JhaMST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Gyori0PRT14,
author = {Benjamin M. Gyori and
Bing Liu and
Soumya Paul and
R. Ramanathan and
P. S. Thiagarajan},
title = {Approximate probabilistic verification of hybrid systems},
journal = {CoRR},
volume = {abs/1412.6953},
year = {2014},
url = {http://arxiv.org/abs/1412.6953},
eprinttype = {arXiv},
eprint = {1412.6953},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Gyori0PRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/Hagiescu0RPCCTW13,
author = {Andrei Hagiescu and
Bing Liu and
R. Ramanathan and
Sucheendra K. Palaniappan and
Zheng Cui and
Bipasa Chattopadhyay and
P. S. Thiagarajan and
Weng{-}Fai Wong},
title = {{GPU} code generation for ODE-based applications with phased shared-data
access patterns},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {10},
number = {4},
pages = {55:1--55:19},
year = {2013},
url = {https://doi.org/10.1145/2541228.2555311},
doi = {10.1145/2541228.2555311},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taco/Hagiescu0RPCCTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ReisigRT13,
author = {Wolfgang Reisig and
Grzegorz Rozenberg and
P. S. Thiagarajan},
title = {In Memoriam: Carl Adam Petri},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {7},
pages = {1--5},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38143-0\_1},
doi = {10.1007/978-3-642-38143-0\_1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/ReisigRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/PalaniappanG0HT13,
author = {Sucheendra K. Palaniappan and
Benjamin M. Gyori and
Bing Liu and
David Hsu and
P. S. Thiagarajan},
editor = {Ashutosh Gupta and
Thomas A. Henzinger},
title = {Statistical Model Checking Based Calibration and Analysis of Bio-pathway
Models},
booktitle = {Computational Methods in Systems Biology - 11th International Conference,
{CMSB} 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8130},
pages = {120--134},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40708-6\_10},
doi = {10.1007/978-3-642-40708-6\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/PalaniappanG0HT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/LiuHPCCWT12,
author = {Bing Liu and
Andrei Hagiescu and
Sucheendra K. Palaniappan and
Bipasa Chattopadhyay and
Zheng Cui and
Weng{-}Fai Wong and
P. S. Thiagarajan},
title = {Approximate probabilistic analysis of biopathway dynamics},
journal = {Bioinform.},
volume = {28},
number = {11},
pages = {1508--1516},
year = {2012},
url = {https://doi.org/10.1093/bioinformatics/bts166},
doi = {10.1093/BIOINFORMATICS/BTS166},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/LiuHPCCWT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/KohPTW12,
author = {Chuan Hock Koh and
Sucheendra K. Palaniappan and
P. S. Thiagarajan and
Limsoon Wong},
title = {Improved statistical model checking methods for pathway analysis},
journal = {{BMC} Bioinform.},
volume = {13},
number = {{S-17}},
pages = {S15},
year = {2012},
url = {https://doi.org/10.1186/1471-2105-13-S17-S15},
doi = {10.1186/1471-2105-13-S17-S15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/KohPTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcb/0013T12,
author = {Bing Liu and
P. S. Thiagarajan},
title = {Modeling and Analysis of biopathways Dynamics},
journal = {J. Bioinform. Comput. Biol.},
volume = {10},
number = {4},
year = {2012},
url = {https://doi.org/10.1142/S0219720012310014},
doi = {10.1142/S0219720012310014},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcb/0013T12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/PalaniappanA0GT12,
author = {Sucheendra K. Palaniappan and
S. Akshay and
Bing Liu and
Blaise Genest and
P. S. Thiagarajan},
title = {A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks
with a Biopathways Application},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {9},
number = {5},
pages = {1352--1365},
year = {2012},
url = {https://doi.org/10.1109/TCBB.2012.60},
doi = {10.1109/TCBB.2012.60},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/PalaniappanA0GT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ThiagarajanY12,
author = {P. S. Thiagarajan and
Shaofa Yang},
title = {Modular discrete time approximations of distributed hybrid automata},
journal = {Theor. Comput. Sci.},
volume = {429},
pages = {292--304},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.050},
doi = {10.1016/J.TCS.2011.12.050},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ThiagarajanY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PalaniappanT12,
author = {Sucheendra K. Palaniappan and
P. S. Thiagarajan},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Dynamic Bayesian Networks: {A} Factored Model of Probabilistic Dynamics},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {17--25},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_2},
doi = {10.1007/978-3-642-33386-6\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/PalaniappanT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AgrawalAGT12,
author = {Manindra Agrawal and
S. Akshay and
Blaise Genest and
P. S. Thiagarajan},
title = {Approximate Verification of the Symbolic Dynamics of Markov Chains},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.17},
doi = {10.1109/LICS.2012.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AgrawalAGT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/AgrawalSTY12,
author = {Manindra Agrawal and
Frank Stephan and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Deepak D'Souza and
Priti Shankar},
title = {The Discrete Time Behaviour of Restricted Linear Hybrid Automata},
booktitle = {Modern Applications of Automata Theory},
series = {IISc Research Monographs Series},
volume = {2},
pages = {437--456},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814271059\_0014},
doi = {10.1142/9789814271059\_0014},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/automata2012/AgrawalSTY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/LiuZTHBLSHDT11,
author = {Bing Liu and
Jing Zhang and
Pei Yi Tan and
David Hsu and
Anna M. Blom and
Benjamin Leong and
Sunil Sethi and
Bow Ho and
Jeak Ling Ding and
P. S. Thiagarajan},
title = {A Computational and Experimental Study of the Regulatory Mechanisms
of the Complement System},
journal = {PLoS Comput. Biol.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.1371/journal.pcbi.1001059},
doi = {10.1371/JOURNAL.PCBI.1001059},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/LiuZTHBLSHDT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiuHT11,
author = {Bing Liu and
David Hsu and
P. S. Thiagarajan},
title = {Probabilistic approximations of ODEs based bio-pathway dynamics},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {21},
pages = {2188--2206},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.01.021},
doi = {10.1016/J.TCS.2011.01.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiuHT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KohHT11,
author = {Geoffrey Koh and
David Hsu and
P. S. Thiagarajan},
title = {Component-based construction of bio-pathway models: The parameter
estimation problem},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {26},
pages = {2840--2853},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.013},
doi = {10.1016/J.TCS.2011.02.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KohHT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/PalaniappanAGT11,
author = {Sucheendra K. Palaniappan and
S. Akshay and
Blaise Genest and
P. S. Thiagarajan},
editor = {Fran{\c{c}}ois Fages},
title = {A hybrid factored frontier algorithm for dynamic Bayesian network
models of biopathways},
booktitle = {Computational Methods in Systems Biology, 9th International Conference,
{CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
pages = {35--44},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2037509.2037516},
doi = {10.1145/2037509.2037516},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/PalaniappanAGT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DarondeauGTY10,
author = {Philippe Darondeau and
Blaise Genest and
P. S. Thiagarajan and
Shaofa Yang},
title = {Quasi-static scheduling of communicating tasks},
journal = {Inf. Comput.},
volume = {208},
number = {10},
pages = {1154--1168},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.09.005},
doi = {10.1016/J.IC.2009.09.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DarondeauGTY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ThiagarajanY10,
author = {P. S. Thiagarajan and
Shaofa Yang},
editor = {Karl Henrik Johansson and
Wang Yi},
title = {Succinct discrete time approximations of distributed hybrid automata},
booktitle = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
2010},
pages = {1--10},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755952.1755955},
doi = {10.1145/1755952.1755955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/ThiagarajanY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recomb/KohHT10,
author = {Geoffrey Koh and
David Hsu and
P. S. Thiagarajan},
editor = {Bonnie Berger},
title = {Incremental Signaling Pathway Modeling by Data Integration},
booktitle = {Research in Computational Molecular Biology, 14th Annual International
Conference, {RECOMB} 2010, Lisbon, Portugal, April 25-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6044},
pages = {281--296},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12683-3\_18},
doi = {10.1007/978-3-642-12683-3\_18},
timestamp = {Mon, 13 May 2019 09:30:09 +0200},
biburl = {https://dblp.org/rec/conf/recomb/KohHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GazagnaireGHTY09,
author = {Thomas Gazagnaire and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
P. S. Thiagarajan and
Shaofa Yang},
title = {Causal Message Sequence Charts},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {41},
pages = {4094--4110},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.06.013},
doi = {10.1016/J.TCS.2009.06.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GazagnaireGHTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GoelRT09,
author = {Ankit Goel and
Abhik Roychoudhury and
P. S. Thiagarajan},
title = {Interacting process classes},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {18},
number = {4},
pages = {13:1--13:47},
year = {2009},
url = {https://doi.org/10.1145/1538942.1538943},
doi = {10.1145/1538942.1538943},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/GoelRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/LiuTH09,
author = {Bing Liu and
P. S. Thiagarajan and
David Hsu},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {Probabilistic Approximations of Signaling Pathway Dynamics},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {251--265},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_17},
doi = {10.1007/978-3-642-03845-7\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/LiuTH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DarondeauGTY08,
author = {Philippe Darondeau and
Blaise Genest and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Quasi-Static Scheduling of Communicating Tasks},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {310--324},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_26},
doi = {10.1007/978-3-540-85361-9\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/DarondeauGTY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PhanCT08,
author = {Linh T. X. Phan and
Samarjit Chakraborty and
P. S. Thiagarajan},
title = {A Multi-mode Real-Time Calculus},
booktitle = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS}
2008, Barcelona, Spain, 30 November - 3 December 2008},
pages = {59--69},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTSS.2008.47},
doi = {10.1109/RTSS.2008.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/PhanCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FengWT07,
author = {Lei Feng and
Walter Murray Wonham and
P. S. Thiagarajan},
title = {Designing communicating transaction processes by supervisory control
theory},
journal = {Formal Methods Syst. Des.},
volume = {30},
number = {2},
pages = {117--141},
year = {2007},
url = {https://doi.org/10.1007/s10703-006-0023-0},
doi = {10.1007/S10703-006-0023-0},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FengWT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MukundKTY07,
author = {Madhavan Mukund and
K. Narayan Kumar and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Madhavan Mukund and
K. Rangarajan and
K. G. Subramanian},
title = {Anchored Concatenation of MSCs},
booktitle = {Formal Models, Languages and Applications [this volume commemorates
the 75th birthday of Prof. Rani Siromoney]},
series = {Series in Machine Perception and Artificial Intelligence},
volume = {66},
pages = {274--288},
publisher = {World Scientific},
year = {2007},
url = {https://doi.org/10.1142/9789812773036\_0019},
doi = {10.1142/9789812773036\_0019},
timestamp = {Tue, 23 May 2017 01:06:47 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MukundKTY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GazagnaireGHTY07,
author = {Thomas Gazagnaire and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Causal Message Sequence Charts},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {166--180},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_12},
doi = {10.1007/978-3-540-74407-8\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GazagnaireGHTY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/NguyenTW07,
author = {Kathy Dang Nguyen and
P. S. Thiagarajan and
Weng{-}Fai Wong},
title = {A UML-Based Design Framework for Time-Triggered Applications},
booktitle = {Proceedings of the 28th {IEEE} Real-Time Systems Symposium {(RTSS}
2007), 3-6 December 2007, Tucson, Arizona, {USA}},
pages = {39--48},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTSS.2007.18},
doi = {10.1109/RTSS.2007.18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/NguyenTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PhanCTT07,
author = {Linh T. X. Phan and
Samarjit Chakraborty and
P. S. Thiagarajan and
Lothar Thiele},
title = {Composing Functional and State-Based Performance Models for Analyzing
Heterogeneous Real-Time Systems},
booktitle = {Proceedings of the 28th {IEEE} Real-Time Systems Symposium {(RTSS}
2007), 3-6 December 2007, Tucson, Arizona, {USA}},
pages = {343--352},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTSS.2007.46},
doi = {10.1109/RTSS.2007.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/PhanCTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wabi/KohTHT07,
author = {Geoffrey Koh and
Lisa Tucker{-}Kellogg and
David Hsu and
P. S. Thiagarajan},
editor = {Raffaele Giancarlo and
Sridhar Hannenhalli},
title = {Composing Globally Consistent Pathway Parameter Estimates Through
Belief Propagation},
booktitle = {Algorithms in Bioinformatics, 7th International Workshop, {WABI} 2007,
Philadelphia, PA, USA, September 8-9, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4645},
pages = {420--430},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74126-8\_39},
doi = {10.1007/978-3-540-74126-8\_39},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wabi/KohTHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2007,
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1},
doi = {10.1007/978-3-540-75454-1},
isbn = {978-3-540-75453-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/MekieCSVT06,
author = {Joycee Mekie and
Supratik Chakraborty and
Dinesh K. Sharma and
Girish Venkataramani and
P. S. Thiagarajan},
title = {Interface Design for Rationally Clocked {GALS} Systems},
booktitle = {12th {IEEE} International Symposium on Asynchronous Circuits and Systems
{(ASYNC} 2006), 13-15 March 2006, Grenoble, France},
pages = {160--171},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASYNC.2006.19},
doi = {10.1109/ASYNC.2006.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/MekieCSVT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AgrawalSTY06,
author = {Manindra Agrawal and
Frank Stephan and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Behavioural Approximations for Restricted Linear Differential Hybrid
Automata},
booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop,
{HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3927},
pages = {4--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11730637\_4},
doi = {10.1007/11730637\_4},
timestamp = {Wed, 30 Aug 2023 16:03:58 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AgrawalSTY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GoelMRT06,
author = {Ankit Goel and
Sun Meng and
Abhik Roychoudhury and
P. S. Thiagarajan},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Interacting process classes},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {302--311},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134328},
doi = {10.1145/1134285.1134328},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GoelMRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismb/KohTCHT06,
author = {Geoffrey Koh and
Huey Fern Carol Teong and
Marie{-}V{\'{e}}ronique Cl{\'{e}}ment and
David Hsu and
P. S. Thiagarajan},
title = {A decompositional approach to parameter estimation in pathway modeling:
a case study of the Akt and {MAPK} pathways and their crosstalk},
booktitle = {Proceedings 14th International Conference on Intelligent Systems for
Molecular Biology 2006, Fortaleza, Brazil, August 6-10, 2006},
pages = {271--280},
year = {2006},
url = {https://doi.org/10.1093/bioinformatics/btl264},
doi = {10.1093/BIOINFORMATICS/BTL264},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismb/KohTCHT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2006,
editor = {Susanna Donatelli and
P. S. Thiagarajan},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {4024},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767589},
doi = {10.1007/11767589},
isbn = {3-540-34699-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip10-3/2006dipes,
editor = {Bernd Kleinjohann and
Lisa Kleinjohann and
Ricardo Jorge Machado and
Carlos Eduardo Pereira and
P. S. Thiagarajan},
title = {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},
series = {{IFIP}},
volume = {225},
publisher = {Springer},
year = {2006},
isbn = {978-0-387-39361-2},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/2006dipes.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HenriksenMKST05,
author = {Jesper G. Henriksen and
Madhavan Mukund and
K. Narayan Kumar and
Milind A. Sohoni and
P. S. Thiagarajan},
title = {A theory of regular {MSC} languages},
journal = {Inf. Comput.},
volume = {202},
number = {1},
pages = {1--38},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2004.08.004},
doi = {10.1016/J.IC.2004.08.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HenriksenMKST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MadhusudanTY05,
author = {P. Madhusudan and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Ramaswamy Ramanujam and
Sandeep Sen},
title = {The {MSO} Theory of Connectedly Communicating Processes},
booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
Computer Science, 25th International Conference, Hyderabad, India,
December 15-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3821},
pages = {201--212},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590156\_16},
doi = {10.1007/11590156\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MadhusudanTY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AgrawalT05,
author = {Manindra Agrawal and
P. S. Thiagarajan},
editor = {Manfred Morari and
Lothar Thiele},
title = {The Discrete Time Behavior of Lazy Linear Hybrid Automata},
booktitle = {Hybrid Systems: Computation and Control, 8th International Workshop,
{HSCC} 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3414},
pages = {55--69},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31954-2\_4},
doi = {10.1007/978-3-540-31954-2\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AgrawalT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ChakrabortyPT05,
author = {Samarjit Chakraborty and
Linh T. X. Phan and
P. S. Thiagarajan},
title = {Event Count Automata: {A} State-Based Model for Stream Processing
Systems},
booktitle = {Proceedings of the 26th {IEEE} Real-Time Systems Symposium {(RTSS}
2005), 6-8 December 2005, Miami, FL, {USA}},
pages = {87--98},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTSS.2005.21},
doi = {10.1109/RTSS.2005.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ChakrabortyPT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KrcalMTY04,
author = {Pavel Krc{\'{a}}l and
Leonid Mokrushin and
P. S. Thiagarajan and
Wang Yi},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Timed vs. Time-Triggered Automata},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {340--354},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_22},
doi = {10.1007/978-3-540-28644-8\_22},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/KrcalMTY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AgrawalT04,
author = {Manindra Agrawal and
P. S. Thiagarajan},
editor = {Rajeev Alur and
George J. Pappas},
title = {Lazy Rectangular Hybrid Automata},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {1--15},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_1},
doi = {10.1007/978-3-540-24743-2\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AgrawalT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/RoychoudhuryTTZ04,
author = {Abhik Roychoudhury and
P. S. Thiagarajan and
Tuan{-}Anh Tran and
Vera A. Zvereva},
title = {Automatic Generation of Protocol Converters from Scenario-Based Specifications},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {447--458},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.12},
doi = {10.1109/REAL.2004.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/RoychoudhuryTTZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/NguyenSTW04,
author = {Kathy Dang Nguyen and
Zhenxin Sun and
P. S. Thiagarajan and
Weng{-}Fai Wong},
title = {Model-Driven SoC Design via Executable {UML} to SystemC},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {459--468},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.32},
doi = {10.1109/REAL.2004.32},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/NguyenSTW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/RoychoudhuryT03,
author = {Abhik Roychoudhury and
P. S. Thiagarajan},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Communicating Transaction Processes: An MSC-Based Model of Computation
for Reactive Embedded Systems},
booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
tutorial volume originates from the 4th Advanced Course on Petri Nets,
{ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
pages = {789--818},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_22},
doi = {10.1007/978-3-540-27755-2\_22},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/RoychoudhuryT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Thiagarajan03,
author = {P. S. Thiagarajan},
title = {Cyclic Communicating Processes: Hierarchy and Verification},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207693},
doi = {10.1109/CSD.2003.1207693},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Thiagarajan03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/RoychoudhuryT03,
author = {Abhik Roychoudhury and
P. S. Thiagarajan},
title = {Communicating Transaction Processes},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207710},
doi = {10.1109/CSD.2003.1207710},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/RoychoudhuryT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MukundKT03,
author = {Madhavan Mukund and
K. Narayan Kumar and
P. S. Thiagarajan},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Netcharts: Bridging the gap between HMSCs and executable specifications},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {293--307},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_20},
doi = {10.1007/978-3-540-45187-7\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/MukundKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/HarelT03,
author = {David Harel and
P. S. Thiagarajan},
editor = {Luciano Lavagno and
Grant Martin and
Bran Selic},
title = {Message Sequence Charts},
booktitle = {{UML} for Real - Design of Embedded Real-Time Systems},
pages = {77--105},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48738-1\_4},
doi = {10.1007/0-306-48738-1\_4},
timestamp = {Tue, 20 Aug 2019 14:51:08 +0200},
biburl = {https://dblp.org/rec/books/sp/03/HarelT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ThiagarajanW02,
author = {P. S. Thiagarajan and
Igor Walukiewicz},
title = {An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz
Traces},
journal = {Inf. Comput.},
volume = {179},
number = {2},
pages = {230--249},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.2956},
doi = {10.1006/INCO.2001.2956},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ThiagarajanW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ThiagarajanY02,
author = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {5th Asian Computing Science Conference - Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {13},
number = {3},
pages = {313--314},
year = {2002},
url = {http://www.worldscinet.com/ijfcs/13/1303/S0129054102001138.html},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/ThiagarajanY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MadhusudanT02,
author = {P. Madhusudan and
P. S. Thiagarajan},
title = {Branching time controllers for discrete event systems},
journal = {Theor. Comput. Sci.},
volume = {274},
number = {1-2},
pages = {117--149},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00307-8},
doi = {10.1016/S0304-3975(00)00307-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MadhusudanT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Thiagarajan02,
author = {P. S. Thiagarajan},
editor = {Javier Esparza and
Charles Lakos},
title = {Abstract Cyclic Communicating Processes: {A} Logical View},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {68--69},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_5},
doi = {10.1007/3-540-48068-4\_5},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/Thiagarajan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/NielsenT02,
author = {Mogens Nielsen and
P. S. Thiagarajan},
editor = {Javier Esparza and
Charles Lakos},
title = {Regular Event Structures and Finite Petri Nets: The Conflict-Free
Case},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {335--351},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_20},
doi = {10.1007/3-540-48068-4\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/NielsenT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Thiagarajan02,
author = {P. S. Thiagarajan},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Regular Event Structures and Finite Petri Nets: {A} Conjecture},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {244--256},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_14},
doi = {10.1007/3-540-45711-9\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Thiagarajan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MadhusudanT02,
author = {P. Madhusudan and
P. S. Thiagarajan},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {A Decidable Class of Asynchronous Distributed Controllers},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {145--160},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_11},
doi = {10.1007/3-540-45694-5\_11},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/concur/MadhusudanT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unu/RoychoudhuryT02,
author = {Abhik Roychoudhury and
P. S. Thiagarajan},
editor = {Bernhard K. Aichernig and
T. S. E. Maibaum},
title = {An Executable Specification Language Based on Message Sequence Charts},
booktitle = {Formal Methods at the Crossroads. From Panacea to Foundational Support,
10th Anniversary Colloquium of UNU/IIST, the International Institute
for Software Technology of The United Nations University, Lisbon,
Portugal, March 18-20, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2757},
pages = {226--241},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40007-3\_15},
doi = {10.1007/978-3-540-40007-3\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/unu/RoychoudhuryT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MadhusudanT01,
author = {P. Madhusudan and
P. S. Thiagarajan},
editor = {Fernando Orejas and
Paul G. Spirakis and
Jan van Leeuwen},
title = {Distributed Controller Synthesis for Local Specifications},
booktitle = {Automata, Languages and Programming, 28th International Colloquium,
{ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2076},
pages = {396--407},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48224-5\_33},
doi = {10.1007/3-540-48224-5\_33},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MadhusudanT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KupfermanMTV00,
author = {Orna Kupferman and
P. Madhusudan and
P. S. Thiagarajan and
Moshe Y. Vardi},
editor = {Catuscia Palamidessi},
title = {Open Systems in Reactive Environments: Control and Synthesis},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {92--107},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_9},
doi = {10.1007/3-540-44618-4\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/KupfermanMTV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HenriksenMKT00,
author = {Jesper G. Henriksen and
Madhavan Mukund and
K. Narayan Kumar and
P. S. Thiagarajan},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {On Message Sequence Graphs and Finitely Generated Regular {MSC} Languages},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {675--686},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_57},
doi = {10.1007/3-540-45022-X\_57},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HenriksenMKT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HenriksenMKT00,
author = {Jesper G. Henriksen and
Madhavan Mukund and
K. Narayan Kumar and
P. S. Thiagarajan},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {Regular Collections of Message Sequence Charts},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {405--414},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_36},
doi = {10.1007/3-540-44612-5\_36},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HenriksenMKT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HenriksenT99,
author = {Jesper G. Henriksen and
P. S. Thiagarajan},
title = {Dynamic Linear Time Temporal Logic},
journal = {Ann. Pure Appl. Log.},
volume = {96},
number = {1-3},
pages = {187--207},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00039-6},
doi = {10.1016/S0168-0072(98)00039-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HenriksenT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DSouzaT99,
author = {Deepak D'Souza and
P. S. Thiagarajan},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Product Interval Automata: {A} Subclass of Timed Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {60--71},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_5},
doi = {10.1007/3-540-46691-6\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DSouzaT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CastellaniMT99,
author = {Ilaria Castellani and
Madhavan Mukund and
P. S. Thiagarajan},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Synthesizing Distributed Transition Systems from Global Specification},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {219--231},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_17},
doi = {10.1007/3-540-46691-6\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/CastellaniMT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/1999,
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6},
doi = {10.1007/3-540-46674-6},
isbn = {3-540-66856-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MadhusudanT98,
author = {P. Madhusudan and
P. S. Thiagarajan},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Controllers for Discrete Event Systems via Morphisms},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {18--33},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055613},
doi = {10.1007/BFB0055613},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/MadhusudanT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Thiagarajan98,
author = {P. S. Thiagarajan},
editor = {Ilaria Castellani and
Catuscia Palamidessi},
title = {Some Logical and Automata-Theoretic Aspects of Product Behaviours},
booktitle = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
7, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {2},
pages = {153},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00124-0},
doi = {10.1016/S1571-0661(04)00124-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Thiagarajan98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HenriksenT97,
author = {Jesper G. Henriksen and
P. S. Thiagarajan},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {A Product Version of Dynamic Linear Time Temporal Logic},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {45--58},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_4},
doi = {10.1007/3-540-63141-0\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HenriksenT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ThiagarajanW97,
author = {P. S. Thiagarajan and
Igor Walukiewicz},
title = {An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz
Traces},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {183--194},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614946},
doi = {10.1109/LICS.1997.614946},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ThiagarajanW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HoogersKT96,
author = {P. W. Hoogers and
H. C. M. Kleijn and
P. S. Thiagarajan},
title = {An Event Structure Semantics for General Petri Nets},
journal = {Theor. Comput. Sci.},
volume = {153},
number = {1{\&}2},
pages = {129--170},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00120-4},
doi = {10.1016/0304-3975(95)00120-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HoogersKT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/ThiagarajanH96,
author = {P. S. Thiagarajan and
Jesper G. Henriksen},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Distributed Versions of Linear Time Temporal Logic: {A} Trace Perspective},
booktitle = {Lectures on Petri Nets {I:} Basic Models, Advances in Petri Nets,
the volumes are based on the Advanced Course on Petri Nets, held in
Dagstuhl, September 1996},
series = {Lecture Notes in Computer Science},
volume = {1491},
pages = {643--681},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65306-6\_24},
doi = {10.1007/3-540-65306-6\_24},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/ThiagarajanH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/MukundT96,
author = {Madhavan Mukund and
P. S. Thiagarajan},
editor = {Doron A. Peled and
Vaughan R. Pratt and
Gerard J. Holzmann},
title = {Linear time temporal logics over Mazurkiewicz traces},
booktitle = {Partial Order Methods in Verification, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, July 24-26, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {29},
pages = {171--201},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/029/10},
doi = {10.1090/DIMACS/029/10},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/MukundT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MukundT96,
author = {Madhavan Mukund and
P. S. Thiagarajan},
editor = {Wojciech Penczek and
Andrzej Szalas},
title = {Linear Time Temporal Logics over Mazurkiewicz Traces},
booktitle = {Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
pages = {62--92},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4\_140},
doi = {10.1007/3-540-61550-4\_140},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MukundT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HoogersKT95,
author = {P. W. Hoogers and
H. C. M. Kleijn and
P. S. Thiagarajan},
title = {A Trace Semantics for Petri Nets},
journal = {Inf. Comput.},
volume = {117},
number = {1},
pages = {98--114},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1032},
doi = {10.1006/INCO.1995.1032},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HoogersKT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NielsenRT95,
author = {Mogens Nielsen and
Grzegorz Rozenberg and
P. S. Thiagarajan},
title = {Transition Systems, Event Structures and Unfoldings},
journal = {Inf. Comput.},
volume = {118},
number = {2},
pages = {191--207},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1062},
doi = {10.1006/INCO.1995.1062},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NielsenRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LodayaPRT95,
author = {Kamal Lodaya and
Rohit Parikh and
Ramaswamy Ramanujam and
P. S. Thiagarajan},
title = {A Logical Study of Distributed Transition Systems},
journal = {Inf. Comput.},
volume = {119},
number = {1},
pages = {91--118},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1078},
doi = {10.1006/INCO.1995.1078},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LodayaPRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Thiagarajan95,
author = {P. S. Thiagarajan},
editor = {Insup Lee and
Scott A. Smolka},
title = {A Trace Consistent Subset of {PTL}},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {438--452},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_33},
doi = {10.1007/3-540-60218-6\_33},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/Thiagarajan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1995,
editor = {P. S. Thiagarajan},
title = {Foundations of Software Technology and Theoretical Computer Science,
15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1026},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60692-0},
doi = {10.1007/3-540-60692-0},
isbn = {3-540-60692-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Thiagarajan94,
author = {P. S. Thiagarajan},
title = {A Trace Based Extension of Linear Time Temporal Logic},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {438--447},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316047},
doi = {10.1109/LICS.1994.316047},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Thiagarajan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1994,
editor = {P. S. Thiagarajan},
title = {Foundations of Software Technology and Theoretical Computer Science,
14th Conference, Madras, India, December 15-17, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {880},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58715-2},
doi = {10.1007/3-540-58715-2},
isbn = {3-540-58715-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HoogersKT93,
author = {P. W. Hoogers and
H. C. M. Kleijn and
P. S. Thiagarajan},
editor = {Eike Best},
title = {Local Event Structures and Petri Nets},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {462--476},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_32},
doi = {10.1007/3-540-57208-2\_32},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HoogersKT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LodayaT93,
author = {Kamal Lodaya and
P. S. Thiagarajan},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {Decidability of a Partial Order Based Temporal Logic},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {582--592},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_104},
doi = {10.1007/3-540-56939-1\_104},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LodayaT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/NielsenRT92,
author = {Mogens Nielsen and
Grzegorz Rozenberg and
P. S. Thiagarajan},
title = {Elementary Transition Systems and Refinement},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {555--578},
year = {1992},
url = {https://doi.org/10.1007/BF01185561},
doi = {10.1007/BF01185561},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/NielsenRT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LodayaRT92,
author = {Kamal Lodaya and
Ramaswamy Ramanujam and
P. S. Thiagarajan},
title = {Temporal Logics for Communicating Sequential Agents: {I}},
journal = {Int. J. Found. Comput. Sci.},
volume = {3},
number = {2},
pages = {117--159},
year = {1992},
url = {https://doi.org/10.1142/S0129054192000103},
doi = {10.1142/S0129054192000103},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LodayaRT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NielsenRT92,
author = {Mogens Nielsen and
Grzegorz Rozenberg and
P. S. Thiagarajan},
title = {Elementary Transition Systems},
journal = {Theor. Comput. Sci.},
volume = {96},
number = {1},
pages = {3--33},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90180-N},
doi = {10.1016/0304-3975(92)90180-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NielsenRT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MukundT92,
author = {Madhavan Mukund and
P. S. Thiagarajan},
title = {A Logical Characterization of Well Branching Event Structures},
journal = {Theor. Comput. Sci.},
volume = {96},
number = {1},
pages = {35--72},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90181-E},
doi = {10.1016/0304-3975(92)90181-E},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MukundT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HoogersKT92,
author = {P. W. Hoogers and
H. C. M. Kleijn and
P. S. Thiagarajan},
editor = {Werner Kuich},
title = {A Trace Semantics for Petri Nets (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {595--604},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_107},
doi = {10.1007/3-540-55719-9\_107},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HoogersKT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RozoyT91,
author = {Brigitte Rozoy and
P. S. Thiagarajan},
title = {Event Structures and Trace Monoids},
journal = {Theor. Comput. Sci.},
volume = {91},
number = {2},
pages = {285--313},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90087-I},
doi = {10.1016/0304-3975(91)90087-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RozoyT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/NielsenRT90,
author = {Mogens Nielsen and
Grzegorz Rozenberg and
P. S. Thiagarajan},
title = {Behavioural Notions for Elementary Net Systems},
journal = {Distributed Comput.},
volume = {4},
pages = {45--57},
year = {1990},
url = {https://doi.org/10.1007/BF01783665},
doi = {10.1007/BF01783665},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/NielsenRT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Thiagarajan90,
author = {P. S. Thiagarajan},
title = {Some Behavioural Aspects of Net Theory},
journal = {Theor. Comput. Sci.},
volume = {71},
number = {1},
pages = {133--153},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90193-L},
doi = {10.1016/0304-3975(90)90193-L},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Thiagarajan90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MukundT89,
author = {Madhavan Mukund and
P. S. Thiagarajan},
editor = {C. E. Veni Madhavan},
title = {An Axiomatization of Event Structures},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {405},
pages = {143--160},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52048-1\_40},
doi = {10.1007/3-540-52048-1\_40},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MukundT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/MukundT89,
author = {Madhavan Mukund and
P. S. Thiagarajan},
editor = {R. Narasimhan},
title = {A Petri Net Model of Asynchronously Communicating Sequential Processes},
booktitle = {A Perspective in Theoretical Computer Science - Commemorative Volume
for Gift Siromoney},
series = {World Scientific Series in Computer Science},
volume = {16},
pages = {165--198},
publisher = {World Scientific},
year = {1989},
url = {https://doi.org/10.1142/9789814368452\_0010},
doi = {10.1142/9789814368452\_0010},
timestamp = {Tue, 16 May 2017 14:24:25 +0200},
biburl = {https://dblp.org/rec/series/wsscs/MukundT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Thiagarajan88,
author = {P. S. Thiagarajan},
editor = {Timo Lepist{\"{o}} and
Arto Salomaa},
title = {Some Behavioural Aspects of Net Theory},
booktitle = {Automata, Languages and Programming, 15th International Colloquium,
ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {317},
pages = {630--653},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19488-6\_147},
doi = {10.1007/3-540-19488-6\_147},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Thiagarajan88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/LodayaRT88,
author = {Kamal Lodaya and
Ramaswamy Ramanujam and
P. S. Thiagarajan},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {A logic for distributed transition systems},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models
for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
May 30 - June 3, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {354},
pages = {508--522},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013033},
doi = {10.1007/BFB0013033},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/LodayaRT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LodayaT87,
author = {Kamal Lodaya and
P. S. Thiagarajan},
editor = {Thomas Ottmann},
title = {A Modal Logic for a Subclass of Event Structures},
booktitle = {Automata, Languages and Programming, 14th International Colloquium,
ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {267},
pages = {290--303},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18088-5\_24},
doi = {10.1007/3-540-18088-5\_24},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LodayaT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Thiagarajan86,
author = {P. S. Thiagarajan},
editor = {Wilfried Brauer and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Elementary Net Systems},
booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri
Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef,
Germany, 8-19 September 1986},
series = {Lecture Notes in Computer Science},
volume = {254},
pages = {26--59},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0046835},
doi = {10.1007/BFB0046835},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Thiagarajan86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/trends86/RozenbergT86,
author = {Grzegorz Rozenberg and
P. S. Thiagarajan},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Petri Nets: Basic Notions, Structure, Behaviour},
booktitle = {Current Trends in Concurrency, Overviews and Tutorials},
series = {Lecture Notes in Computer Science},
volume = {224},
pages = {585--668},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0027048},
doi = {10.1007/BFB0027048},
timestamp = {Fri, 17 Jul 2020 16:12:44 +0200},
biburl = {https://dblp.org/rec/books/sp/trends86/RozenbergT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/GenrichJRT84,
author = {Hartmann J. Genrich and
Dirk Janssens and
Grzegorz Rozenberg and
P. S. Thiagarajan},
title = {Generalized Handle Grammars and Their Relation to Petri Nets},
journal = {J. Inf. Process. Cybern.},
volume = {20},
number = {4},
pages = {179--206},
year = {1984},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/GenrichJRT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ThiagarajanV84,
author = {P. S. Thiagarajan and
K. Vos},
title = {A Fresh Look at Free Choice Nets},
journal = {Inf. Control.},
volume = {61},
number = {2},
pages = {85--113},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80052-2},
doi = {10.1016/S0019-9958(84)80052-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ThiagarajanV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FernandezT84,
author = {C{\'{e}}sar Fern{\'{a}}ndez and
P. S. Thiagarajan},
title = {D-Continuous Causal Nets: {A} Model of Non-Sequential Processes},
journal = {Theor. Comput. Sci.},
volume = {28},
pages = {171--196},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(83)90070-1},
doi = {10.1016/0304-3975(83)90070-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FernandezT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GenrichT84,
author = {Hartmann J. Genrich and
P. S. Thiagarajan},
title = {A Theory of Bipolar Synchronization Schemes},
journal = {Theor. Comput. Sci.},
volume = {30},
pages = {241--318},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90137-3},
doi = {10.1016/0304-3975(84)90137-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GenrichT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FernandezNT84,
author = {C{\'{e}}sar Fern{\'{a}}ndez and
Mogens Nielsen and
P. S. Thiagarajan},
editor = {Grzegorz Rozenberg and
Hartmann J. Genrich and
G{\'{e}}rard Roucairol},
title = {A note on observable occurrence nets},
booktitle = {Advances in Petri Nets 1984, European Workshop on Applications and
Theory in Petri Nets, covers the last two years which include the
workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {188},
pages = {122--138},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15204-0\_8},
doi = {10.1007/3-540-15204-0\_8},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/FernandezNT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FernandezT84,
author = {C{\'{e}}sar Fern{\'{a}}ndez and
P. S. Thiagarajan},
editor = {Grzegorz Rozenberg and
Hartmann J. Genrich and
G{\'{e}}rard Roucairol},
title = {A lattice theoretic view of K-density},
booktitle = {Advances in Petri Nets 1984, European Workshop on Applications and
Theory in Petri Nets, covers the last two years which include the
workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {188},
pages = {139--153},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15204-0\_9},
doi = {10.1007/3-540-15204-0\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FernandezT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ThiagarajanV84,
author = {P. S. Thiagarajan and
Klaus Voss},
editor = {Grzegorz Rozenberg and
Hartmann J. Genrich and
G{\'{e}}rard Roucairol},
title = {In praise of free choice nets},
booktitle = {Advances in Petri Nets 1984, European Workshop on Applications and
Theory in Petri Nets, covers the last two years which include the
workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {188},
pages = {438--454},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15204-0\_24},
doi = {10.1007/3-540-15204-0\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ThiagarajanV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/NielsenT84,
author = {Mogens Nielsen and
P. S. Thiagarajan},
editor = {Mathai Joseph and
R. K. Shyamasundar},
title = {Degrees of Non-Determinism and Concurrency: {A} Petri Net View},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {181},
pages = {89--117},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13883-8\_66},
doi = {10.1007/3-540-13883-8\_66},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/NielsenT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Thiagarajan83,
author = {P. S. Thiagarajan},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Some Aspects of Net Theory},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {26--54},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_34},
doi = {10.1007/3-540-16047-7\_34},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/acs/Thiagarajan83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FernandezT82,
author = {C{\'{e}}sar Fern{\'{a}}ndez and
P. S. Thiagarajan},
editor = {Anastasia Pagnoni and
Grzegorz Rozenberg},
title = {A Note on D-Continuous Causal Nets},
booktitle = {Applications and Theory of Petri Nets, Selected Papers from the 3rd
European Workshop on Applications and Theory of Petri Nets, Varenna,
Italy, September 27-30, 1982},
series = {Informatik-Fachberichte},
volume = {66},
pages = {86--97},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-69028-0\_7},
doi = {10.1007/978-3-642-69028-0\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FernandezT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GenrichJRT82,
author = {Hartmann J. Genrich and
Dirk Janssens and
Grzegorz Rozenberg and
P. S. Thiagarajan},
editor = {Hartmut Ehrig and
Manfred Nagl and
Grzegorz Rozenberg},
title = {Petri nets and their relation to graph grammars},
booktitle = {Graph-Grammars and Their Application to Computer Science, 2nd International
Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October
4-8, 1982},
series = {Lecture Notes in Computer Science},
volume = {153},
pages = {115--129},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000102},
doi = {10.1007/BFB0000102},
timestamp = {Thu, 14 Oct 2021 10:05:48 +0200},
biburl = {https://dblp.org/rec/conf/gg/GenrichJRT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FernandezT82,
author = {C{\'{e}}sar Fern{\'{a}}ndez and
P. S. Thiagarajan},
editor = {Mogens Nielsen and
Erik Meineche Schmidt},
title = {Some Properties of D-Continuous Causal Nets},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
July 12-16, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {225--238},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0012772},
doi = {10.1007/BFB0012772},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FernandezT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/GenrichT82,
author = {Hartmann J. Genrich and
P. S. Thiagarajan},
editor = {Dines Bj{\o}rner},
title = {Well-Formed Flow Charts for Concurrent Programming},
booktitle = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts-
II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
pages = {357--382},
publisher = {North-Holland},
year = {1982},
timestamp = {Tue, 15 Jan 2019 18:15:42 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/GenrichT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GoltzRT81,
author = {Ursula Goltz and
Wolfgang Reisig and
P. S. Thiagarajan},
editor = {Claude Girault and
Wolfgang Reisig},
title = {Two Alterative Definitions of Synchronic Distance},
booktitle = {Application and Theory of Petri Nets, Selected Papers from the First
and the Second European Workshop on Application and Theory of Petri
Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany,
28.-30. September 1981},
series = {Informatik-Fachberichte},
volume = {52},
pages = {96--103},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-642-68353-4\_16},
doi = {10.1007/978-3-642-68353-4\_16},
timestamp = {Tue, 19 Jun 2018 18:32:05 +0200},
biburl = {https://dblp.org/rec/conf/apn/GoltzRT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenrichT80,
author = {Hartmann J. Genrich and
P. S. Thiagarajan},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Bipolar Synchronization Systems},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {257--272},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_76},
doi = {10.1007/3-540-10003-2\_76},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GenrichT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GenrichLT80,
author = {Hartmann J. Genrich and
Kurt Lautenbach and
P. S. Thiagarajan},
editor = {Piotr Dembinski},
title = {Substitution Systems - {A} Family of System Models Based on Concurrency},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings
of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
series = {Lecture Notes in Computer Science},
volume = {88},
pages = {698--723},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/BFb0022544},
doi = {10.1007/BFB0022544},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GenrichLT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/GenrichLT75,
author = {Hartmann J. Genrich and
Kurt Lautenbach and
P. S. Thiagarajan},
editor = {Wilfried Brauer},
title = {Elements of General Net Theory},
booktitle = {Net Theory and Applications, Proceedings of the Advanced Course on
General Net Theory of Processes and Systems, Hamburg, Germany, October
8-19, 1979},
series = {Lecture Notes in Computer Science},
volume = {84},
pages = {21--163},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10001-6\_22},
doi = {10.1007/3-540-10001-6\_22},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/GenrichLT75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/GenrichT78,
author = {Hartmann J. Genrich and
P. S. Thiagarajan},
title = {Surveyor's Forum: Net Progress},
journal = {{ACM} Comput. Surv.},
volume = {10},
number = {1},
pages = {84--85},
year = {1978},
url = {https://doi.org/10.1145/356715.356723},
doi = {10.1145/356715.356723},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/GenrichT78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/JumpT75,
author = {J. Robert Jump and
P. S. Thiagarajan},
title = {On the Interconnection of Asynchronous Control Structures},
journal = {J. {ACM}},
volume = {22},
number = {4},
pages = {596--612},
year = {1975},
url = {https://doi.org/10.1145/321906.321920},
doi = {10.1145/321906.321920},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/JumpT75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/JumpT73,
author = {J. Robert Jump and
P. S. Thiagarajan},
title = {On the Equivalence of Asynchronous Control Structures},
journal = {{SIAM} J. Comput.},
volume = {2},
number = {2},
pages = {67--87},
year = {1973},
url = {https://doi.org/10.1137/0202008},
doi = {10.1137/0202008},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/JumpT73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/JumpT72,
author = {J. Robert Jump and
P. S. Thiagarajan},
title = {On the Equivalence of Asynchronous Control Structures},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {212--223},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.13},
doi = {10.1109/SWAT.1972.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/JumpT72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
