Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: S. Purushothaman Iyer
@article{DBLP:journals/corr/abs-1301-1261,
author = {M. Suresh and
Maheswar Dutta and
S. Purushothaman},
title = {Application of polynomial vector (pv) processing to improve the estimation
performance of bio diesel in variable compression ratio diesel engine},
journal = {CoRR},
volume = {abs/1301.1261},
year = {2013},
url = {http://arxiv.org/abs/1301.1261},
eprinttype = {arXiv},
eprint = {1301.1261},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-1261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ZhangRNI07,
author = {Qinghua Zhang and
Douglas S. Reeves and
Peng Ning and
S. Purushothaman Iyer},
editor = {Feng Bao and
Steven Miller},
title = {Analyzing network traffic to detect self-decrypting exploit code},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2007, Singapore, March 20-22, 2007},
pages = {4--12},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229285.1229291},
doi = {10.1145/1229285.1229291},
timestamp = {Thu, 20 Oct 2022 10:45:07 +0200},
biburl = {https://dblp.org/rec/conf/ccs/ZhangRNI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/ZhangI07,
author = {Yi Zhang and
S. Purushothaman Iyer},
title = {Error Report Driven Post-Mortem Analysis},
booktitle = {15th International Conference on Program Comprehension {(ICPC} 2007),
June 26-29, 2007, Banff, Alberta, Canada},
pages = {208--220},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICPC.2007.43},
doi = {10.1109/ICPC.2007.43},
timestamp = {Wed, 12 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/ZhangI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/JetleyIJ06,
author = {Raoul Praful Jetley and
S. Purushothaman Iyer and
Paul L. Jones},
title = {A Formal Methods Approach to Medical Device Review},
journal = {Computer},
volume = {39},
number = {4},
pages = {61--67},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.113},
doi = {10.1109/MC.2006.113},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/JetleyIJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/JetleyIJS06,
author = {Raoul Praful Jetley and
S. Purushothaman Iyer and
Paul L. Jones and
William Spees},
title = {A Formal Approach to Pre-Market Review for Medical Device Software},
booktitle = {30th Annual International Computer Software and Applications Conference,
{COMPSAC} 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume
1},
pages = {169--177},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/COMPSAC.2006.9},
doi = {10.1109/COMPSAC.2006.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/JetleyIJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/JetleyZI06,
author = {Raoul Praful Jetley and
Yi Zhang and
S. Purushothaman Iyer},
title = {Using Abstraction-driven Slicing for Postmortem Analysis of Software},
booktitle = {14th International Conference on Program Comprehension {(ICPC} 2006),
14-16 June 2006, Athens, Greece},
pages = {107--116},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICPC.2006.50},
doi = {10.1109/ICPC.2006.50},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/JetleyZI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AbdullaBIJ05,
author = {Parosh Aziz Abdulla and
Christel Baier and
S. Purushothaman Iyer and
Bengt Jonsson},
title = {Simulating perfect channels with probabilistic lossy channels},
journal = {Inf. Comput.},
volume = {197},
number = {1-2},
pages = {22--40},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2004.12.001},
doi = {10.1016/J.IC.2004.12.001},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AbdullaBIJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CleavelandIN05,
author = {Rance Cleaveland and
S. Purushothaman Iyer and
Murali Narasimha},
title = {Probabilistic temporal logics via the modal mu-calculus},
journal = {Theor. Comput. Sci.},
volume = {342},
number = {2-3},
pages = {316--350},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.03.048},
doi = {10.1016/J.TCS.2005.03.048},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CleavelandIN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeiI05,
author = {Yu Lei and
S. Purushothaman Iyer},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {An Approach to Unfolding Asynchronous Communication Protocols},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {334--349},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_23},
doi = {10.1007/11526841\_23},
timestamp = {Fri, 15 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LeiI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AbdullaIN04,
author = {Parosh Aziz Abdulla and
S. Purushothaman Iyer and
Aletta Nyl{\'{e}}n},
title = {SAT-Solving the Coverability Problem for Petri Nets},
journal = {Formal Methods Syst. Des.},
volume = {24},
number = {1},
pages = {25--43},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000004786.30007.f8},
doi = {10.1023/B:FORM.0000004786.30007.F8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AbdullaIN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/IyerHJLPA04,
author = {S. Purushothaman Iyer and
David Hislop and
Paul L. Jones and
Jaime Lee and
Frederick Pearce and
Stephen Van Albert},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {4},
pages = {299--300},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0131-8},
doi = {10.1007/S10009-003-0131-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/IyerHJLPA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JetleyCI04,
author = {Raoul Praful Jetley and
Cohan Carlos and
S. Purushothaman Iyer},
title = {A case study on applying formal methods to medical devices: computer-aided
resuscitation algorithm},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {4},
pages = {320--330},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0137-2},
doi = {10.1007/S10009-003-0137-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JetleyCI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FinkelIS03,
author = {Alain Finkel and
S. Purushothaman Iyer and
Gr{\'{e}}goire Sutre},
title = {Well-abstracted transition systems: application to {FIFO} automata},
journal = {Inf. Comput.},
volume = {181},
number = {1},
pages = {1--31},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(02)00027-5},
doi = {10.1016/S0890-5401(02)00027-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FinkelIS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DuVarneyI02,
author = {Daniel C. DuVarney and
S. Purushothaman Iyer},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {C Wolf - {A} Toolset for Extracting Models from {C} Programs},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {260--275},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_17},
doi = {10.1007/3-540-36135-9\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/DuVarneyI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/PurushothamanTG02,
author = {S. Purushothaman and
Christofer Toumazou and
Julius Georgiou},
title = {Towards fast solid state {DNA} sequencing},
booktitle = {Proceedings of the 2002 International Symposium on Circuits and Systems,
{ISCAS} 2002, Scottsdale, Arizona, USA, May 26-29, 2002},
pages = {169--172},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ISCAS.2002.1010416},
doi = {10.1109/ISCAS.2002.1010416},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/PurushothamanTG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaIN00,
author = {Parosh Aziz Abdulla and
S. Purushothaman Iyer and
Aletta Nyl{\'{e}}n},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Unfoldings of Unbounded Petri Nets},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {495--507},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_37},
doi = {10.1007/10722167\_37},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdullaIN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AbdullaBIJ00,
author = {Parosh Aziz Abdulla and
Christel Baier and
S. Purushothaman Iyer and
Bengt Jonsson},
editor = {Catuscia Palamidessi},
title = {Reasoning about Probabilistic Lossy Channel Systems},
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 = {320--333},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_24},
doi = {10.1007/3-540-44618-4\_24},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AbdullaBIJ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FinkelIS00,
author = {Alain Finkel and
S. Purushothaman Iyer and
Gr{\'{e}}goire Sutre},
editor = {Catuscia Palamidessi},
title = {Well-Abstracted Transition Systems},
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 = {566--580},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_40},
doi = {10.1007/3-540-44618-4\_40},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FinkelIS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CleavelandI00,
author = {Rance Cleaveland and
S. Purushothaman Iyer},
editor = {Jos{\'{e}} D. P. Rolim and
Andrei Z. Broder and
Andrea Corradini and
Roberto Gorrieri and
Reiko Heckel and
Juraj Hromkovic and
Ugo Vaccaro and
J. B. Wells},
title = {Branching-Time Probalistic Model Checking},
booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
27th International Colloquium on Automata, Languages and Programming,
Geneva, Switzerland, July 9-15, 2000},
pages = {487--500},
publisher = {Carleton Scientific, Waterloo, Ontario, Canada},
year = {2000},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CleavelandI00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/NarasimhaCI99,
author = {Murali Narasimha and
Rance Cleaveland and
S. Purushothaman Iyer},
editor = {Wolfgang Thomas},
title = {Probabilistic Temporal Logics via the Modal Mu-Calculus},
booktitle = {Foundations of Software Science and Computation Structure, Second
International Conference, FoSSaCS'99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1578},
pages = {288--305},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49019-1\_20},
doi = {10.1007/3-540-49019-1\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/NarasimhaCI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NarasimhaCI99,
author = {Murali Narasimha and
Rance Cleaveland and
S. Purushothaman Iyer},
editor = {Luqi and
Manfred Broy},
title = {The role of observations in probabilistic open systems},
booktitle = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
for Computer Basesd Systems, Carmel, California, USA, October 23-26,
1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {25},
pages = {133--144},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00138-0},
doi = {10.1016/S1571-0661(04)00138-0},
timestamp = {Wed, 23 Nov 2022 16:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NarasimhaCI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/IyerN97,
author = {S. Purushothaman Iyer and
Murali Narasimha},
editor = {Michel Bidoit and
Max Dauchet},
title = {Probabilistic Lossy Channel Systems},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {667--681},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030633},
doi = {10.1007/BFB0030633},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/IyerN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CeceFI96,
author = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
Alain Finkel and
S. Purushothaman Iyer},
title = {Unreliable Channels are Easier to Verify Than Perfect Channels},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {20--31},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0003},
doi = {10.1006/INCO.1996.0003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CeceFI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SeamanI96,
author = {Jill Seaman and
S. Purushothaman Iyer},
title = {An Operational Semantics of Sharing in Lazy Evaluation},
journal = {Sci. Comput. Program.},
volume = {27},
number = {3},
pages = {289--322},
year = {1996},
url = {https://doi.org/10.1016/0167-6423(96)00012-3},
doi = {10.1016/0167-6423(96)00012-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SeamanI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PengI95,
author = {Wuxu Peng and
S. Purushothaman Iyer},
title = {A New Typee of Pushdown Automata on Infinite Trees},
journal = {Int. J. Found. Comput. Sci.},
volume = {6},
number = {2},
pages = {169--186},
year = {1995},
url = {https://doi.org/10.1142/S0129054195000123},
doi = {10.1142/S0129054195000123},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/PengI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcr/KumarAI95,
author = {Sandeep Kumar and
Dharma P. Agrawal and
S. Purushothaman Iyer},
editor = {Boleslaw K. Szymanski and
Balaram Sinharoy},
title = {An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented
Programs},
booktitle = {Languages, Compilers and Run-Time Systems for Scalable Computers,
Third Workshop, {LCR} 1995, Troy, NY, USA, May 1995},
pages = {283--286},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4615-2315-4\_22},
doi = {10.1007/978-1-4615-2315-4\_22},
timestamp = {Mon, 14 Feb 2022 14:49:19 +0100},
biburl = {https://dblp.org/rec/conf/lcr/KumarAI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CleavelandIY95,
author = {Rance Cleaveland and
S. Purushothaman Iyer and
Daniel Yankelevich},
editor = {Alan Mycroft},
title = {Optimality in Abstractions of Model Checking},
booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
UK, September 25-27, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {983},
pages = {51--63},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60360-3\_32},
doi = {10.1007/3-540-60360-3\_32},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CleavelandIY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CeceFI94,
author = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
Alain Finkel and
S. Purushothaman Iyer},
editor = {David S. Wile},
title = {Duplication, Insertion and Lossiness Errors in Unreliable Communication
Channels},
booktitle = {Proceedings of the Second {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1994, New Orleans, Louisiana, USA,
December 6-9, 1994},
pages = {35--43},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/193173.195292},
doi = {10.1145/193173.195292},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CeceFI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Purushothaman93,
author = {S. Purushothaman},
title = {Book Review: Nets, Terms and Formulas . By {E.-R.} Olderog. (Cambridge
University Press, 1991 . x+267pp. {ISBN} 0-521-40044-9 . {\textdollar}49.95)},
journal = {{SIGACT} News},
volume = {24},
number = {1},
pages = {26--27},
year = {1993},
url = {https://doi.org/10.1145/152992.990674},
doi = {10.1145/152992.990674},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Purushothaman93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DraghicescuP93,
author = {M. Draghicescu and
S. Purushothaman},
title = {A Uniform Treatment of Order of Evalaution and Aggregate Update},
journal = {Theor. Comput. Sci.},
volume = {118},
number = {2},
pages = {231--262},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90110-F},
doi = {10.1016/0304-3975(93)90110-F},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DraghicescuP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Iyer93,
author = {S. Purushothaman Iyer},
editor = {Richard L. Tenney and
Paul D. Amer and
M. {\"{U}}mit Uyar},
title = {Experiments in Data flow analysis of Communicating Finite State Machines},
booktitle = {Formal Description Techniques, VI, Proceedings of the {IFIP} {TC6/WG6.1}
Sixth International Conference on Formal Description Techniques -
{FORTE} '93, Boston, MA, USA, 26-29 October 1993},
series = {{IFIP} Transactions},
volume = {{C-22}},
pages = {141--153},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Iyer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/PurushothamanS93,
author = {S. Purushothaman and
Jill Seaman},
editor = {John Williams},
title = {From Operational Definitions to Abstract Semantics},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {276--288},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165224},
doi = {10.1145/165180.165224},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/PurushothamanS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/93/PurushothamanS93,
author = {S. Purushothaman and
Jill Seaman},
editor = {Calyampudi Radhakrishna Rao},
title = {5 Programming languages and systems},
booktitle = {Computational Statistics},
series = {Handbook of Statistics},
volume = {9},
pages = {141--168},
publisher = {North-Holland},
year = {1993},
url = {https://doi.org/10.1016/s0169-7161(05)80129-4},
doi = {10.1016/S0169-7161(05)80129-4},
timestamp = {Tue, 02 Jun 2020 17:09:08 +0200},
biburl = {https://dblp.org/rec/books/el/93/PurushothamanS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/napaw/1992,
editor = {S. Purushothaman and
Amy E. Zwarico},
title = {{NAPAW} 92, Proceedings of the First North American Process Algebra
Workshop, Stony Brook, New York, USA, 28 Agust 1992},
series = {Workshops in Computing},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3217-2},
doi = {10.1007/978-1-4471-3217-2},
isbn = {3-540-19822-9},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/napaw/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PengP92,
author = {Wuxu Peng and
S. Purushothaman},
title = {Analysis of a Class of Communicating Finite State Machines},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {499--522},
year = {1992},
url = {https://doi.org/10.1007/BF01185558},
doi = {10.1007/BF01185558},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/PengP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/PengP92,
author = {Wuxu Peng and
S. Purushothaman},
editor = {Jean{-}Claude Raoult},
title = {Empty Stack Pushdown Omega-Tree Automata},
booktitle = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
France, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {581},
pages = {248--264},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55251-0\_14},
doi = {10.1007/3-540-55251-0\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/PengP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PurushothamanS92,
author = {S. Purushothaman and
Jill Seaman},
editor = {Bernd Krieg{-}Br{\"{u}}ckner},
title = {An Adequate Operational Semantics for Sharing in Lazy Evaluation},
booktitle = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {582},
pages = {435--450},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55253-7\_26},
doi = {10.1007/3-540-55253-7\_26},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/PurushothamanS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PengP91,
author = {Wuxu Peng and
S. Purushothaman},
title = {Data Flow Analysis of Communicating Finite State Machines},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {13},
number = {3},
pages = {399--442},
year = {1991},
url = {https://doi.org/10.1145/117009.117015},
doi = {10.1145/117009.117015},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PengP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PengP90,
author = {Wuxu Peng and
S. Purushothaman},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {A Unified Approach to the Deadlock Detection Problem in Networks of
Communicating Finite State Machines},
booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {531},
pages = {243--252},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023738},
doi = {10.1007/BFB0023738},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PengP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/PengI90,
author = {Wuxu Peng and
S. Purushothaman Iyer},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {A Unified Approach to the Deadlock Detection Problem in Networks of
Communicating Finite State Machines},
booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
New Brunswick, New Jersey, USA, June 18-21, 1990},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {3},
pages = {395--404},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/003/25},
doi = {10.1090/DIMACS/003/25},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/PengI90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DraghicescuP90,
author = {M. Draghicescu and
S. Purushothaman},
editor = {Gilles Kahn},
title = {A Compositional Analysis of Evaluation-Order and Its Application},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {242--250},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91658},
doi = {10.1145/91556.91658},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DraghicescuP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PurushothamanS89,
author = {S. Purushothaman and
P. A. Subrahmanyam},
title = {Mechanical Certification of Systolic Algorithms},
journal = {J. Autom. Reason.},
volume = {5},
number = {1},
pages = {67--91},
year = {1989},
url = {https://doi.org/10.1007/BF00245022},
doi = {10.1007/BF00245022},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PurushothamanS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/PengP89,
author = {Wuxu Peng and
S. Purushothaman},
title = {Analysis of communicating processes for non-progress},
booktitle = {9th International Conference on Distributed Computing Systems, {ICDCS}
1989, Newport Beach, CA, USA, June 5-9, 1989},
pages = {280--287},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ICDCS.1989.37957},
doi = {10.1109/ICDCS.1989.37957},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/PengP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/PengP89,
author = {Wuxu Peng and
S. Purushothaman},
editor = {Piotr Rudnicki},
title = {Towards Dataflow Analysis of Communicating Finite State Machines},
booktitle = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
pages = {45--58},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/72981.72984},
doi = {10.1145/72981.72984},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/PengP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/PurushothamanS88,
author = {S. Purushothaman and
P. A. Subrahmanyam},
title = {Reasoning about Systolic Algorithms},
journal = {J. Parallel Distributed Comput.},
volume = {5},
number = {6},
pages = {669--699},
year = {1988},
url = {https://doi.org/10.1016/0743-7315(88)90036-6},
doi = {10.1016/0743-7315(88)90036-6},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/PurushothamanS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PurushothamanS87,
author = {S. Purushothaman and
P. A. Subrahmanyam},
title = {Reasoning About Probabilistic Behavior in Concurrent Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {6},
pages = {740--745},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233478},
doi = {10.1109/TSE.1987.233478},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/PurushothamanS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/Purushothaman87,
author = {S. Purushothaman},
title = {Reasoning About Modular Systolic Algorithms},
booktitle = {International Conference on Parallel Processing, ICPP'87, University
Park, PA, USA, August 1987},
pages = {841--843},
publisher = {Pennsylvania State University Press},
year = {1987},
timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
biburl = {https://dblp.org/rec/conf/icpp/Purushothaman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RajopadhyePF86,
author = {Sanjay V. Rajopadhye and
S. Purushothaman and
Richard Fujimoto},
editor = {Kesav V. Nori},
title = {On Synthesizing Systolic Arrays from Recurrence Equations with Linear
Dependencies},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {241},
pages = {488--503},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17179-7\_30},
doi = {10.1007/3-540-17179-7\_30},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RajopadhyePF86.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-25 02:35 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:
