Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ramaswamy Ramanujam
@article{DBLP:journals/iandc/LiuPRW23,
author = {Mo Liu and
Anantha Padmanabha and
R. Ramanujam and
Yanjing Wang},
title = {Are bundles good deals for first-order modal logic?},
journal = {Inf. Comput.},
volume = {293},
pages = {105062},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105062},
doi = {10.1016/J.IC.2023.105062},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LiuPRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/GhoshR23,
author = {Sujata Ghosh and
R. Ramanujam},
title = {Preface},
journal = {J. Log. Lang. Inf.},
volume = {32},
number = {1},
pages = {1--2},
year = {2023},
url = {https://doi.org/10.1007/s10849-022-09379-6},
doi = {10.1007/S10849-022-09379-6},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/GhoshR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/PadmanabhaR23,
author = {Anantha Padmanabha and
R. Ramanujam},
title = {A Decidable Fragment of First Order Modal Logic: Two Variable Term
Modal Logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {4},
pages = {29:1--29:38},
year = {2023},
url = {https://doi.org/10.1145/3593584},
doi = {10.1145/3593584},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/PadmanabhaR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Ramanujam23,
author = {R. Ramanujam},
editor = {Mohua Banerjee and
A. V. Sreejith},
title = {Big Ideas from Logic for Mathematics and Computing Education},
booktitle = {Logic and Its Applications - 10th Indian Conference, {ICLA} 2023,
Indore, India, March 3-5, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13963},
pages = {79--91},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26689-8\_6},
doi = {10.1007/978-3-031-26689-8\_6},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/Ramanujam23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DasRS23,
author = {Ramit Das and
R. Ramanujam and
Sunil Simon},
editor = {Natasha Alechina and
Andreas Herzig and
Fei Liang},
title = {A Logical Description of Priority Separable Games},
booktitle = {Logic, Rationality, and Interaction - 9th International Workshop,
{LORI} 2023, Jinan, China, October 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14329},
pages = {31--46},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45558-2\_3},
doi = {10.1007/978-3-031-45558-2\_3},
timestamp = {Thu, 09 Nov 2023 15:01:06 +0100},
biburl = {https://dblp.org/rec/conf/lori/DasRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-13773,
author = {Ramaswamy Ramanujam and
Vaishnavi Sundararajan and
S. P. Suresh},
title = {Solving the insecurity problem for assertions},
journal = {CoRR},
volume = {abs/2308.13773},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.13773},
doi = {10.48550/ARXIV.2308.13773},
eprinttype = {arXiv},
eprint = {2308.13773},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-13773.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LiuPRW22,
author = {Mo Liu and
Anantha Padmanabha and
R. Ramanujam and
Yanjing Wang},
editor = {Stefan Szeider and
Robert Ganian and
Alexandra Silva},
title = {Generalized Bundled Fragments for First-Order Modal Logic},
booktitle = {47th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria},
series = {LIPIcs},
volume = {241},
pages = {70:1--70:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2022.70},
doi = {10.4230/LIPICS.MFCS.2022.70},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LiuPRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-01581,
author = {Mo Liu and
Anantha Padmanabha and
Ramaswamy Ramanujam and
Yanjing Wang},
title = {Are Bundles Good Deals for FOML?},
journal = {CoRR},
volume = {abs/2202.01581},
year = {2022},
url = {https://arxiv.org/abs/2202.01581},
eprinttype = {arXiv},
eprint = {2202.01581},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-01581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-04518,
author = {Ramaswamy Ramanujam and
Vaishnavi Sundararajan and
S. P. Suresh},
title = {Protocol Insecurity with Assertions},
journal = {CoRR},
volume = {abs/2202.04518},
year = {2022},
url = {https://arxiv.org/abs/2202.04518},
eprinttype = {arXiv},
eprint = {2202.04518},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-04518.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DasPR21,
author = {Ramit Das and
Anantha Padmanabha and
R. Ramanujam},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Reasoning in Large Games with Unboundedly Many Players},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {41--57},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_4},
doi = {10.1007/978-3-030-88708-7\_4},
timestamp = {Wed, 06 Oct 2021 16:27:55 +0200},
biburl = {https://dblp.org/rec/conf/lori/DasPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-11505,
author = {R. Ramanujam},
editor = {Joseph Y. Halpern and
Andr{\'{e}}s Perea},
title = {Reasoning about Emergence of Collective Memory},
booktitle = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2021, Beijing, China, June 25-27, 2021},
series = {{EPTCS}},
volume = {335},
pages = {269--280},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.335.26},
doi = {10.4204/EPTCS.335.26},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RamanujamT20,
author = {R. Ramanujam and
Ramanathan S. Thinniyam},
title = {Definability in first-order theories of graph orderings {\(\star\)}},
journal = {J. Log. Comput.},
volume = {30},
number = {1},
pages = {403--420},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa017},
doi = {10.1093/LOGCOM/EXAA017},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RamanujamT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RamanujamSS20,
author = {R. Ramanujam and
Vaishnavi Sundararajan and
S. P. Suresh},
title = {The complexity of disjunction in intuitionistic logic},
journal = {J. Log. Comput.},
volume = {30},
number = {1},
pages = {421--445},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa018},
doi = {10.1093/LOGCOM/EXAA018},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RamanujamSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/PadmanabhaR20,
author = {Anantha Padmanabha and
R. Ramanujam},
editor = {Dang Van Hung and
Meenakshi D'Souza},
title = {Verifying Implicitly Quantified Modal Logic over Dynamic Networks
of Processes},
booktitle = {Distributed Computing and Internet Technology - 16th International
Conference, {ICDCIT} 2020, Bhubaneswar, India, January 9-12, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11969},
pages = {165--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36987-3\_10},
doi = {10.1007/978-3-030-36987-3\_10},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/PadmanabhaR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/PadmanabhaR19,
author = {Anantha Padmanabha and
R. Ramanujam},
title = {The Monodic Fragment of Propositional Term Modal Logic},
journal = {Stud Logica},
volume = {107},
number = {3},
pages = {533--557},
year = {2019},
url = {https://doi.org/10.1007/s11225-018-9784-x},
doi = {10.1007/S11225-018-9784-X},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/PadmanabhaR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/PadmanabhaR19,
author = {Anantha Padmanabha and
R. Ramanujam},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Propositional Modal Logic with Implicit Modal Quantification},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {6--17},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_2},
doi = {10.1007/978-3-662-58771-3\_2},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/PadmanabhaR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PadmanabhaR19,
author = {Anantha Padmanabha and
R. Ramanujam},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {Two variable fragment of Term Modal Logic},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {30:1--30:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.30},
doi = {10.4230/LIPICS.MFCS.2019.30},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/PadmanabhaR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/DongRW19,
author = {Huimin Dong and
R. Ramanujam and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Subset Spaces for Conditional Norms},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {289--304},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_18},
doi = {10.1007/978-3-030-33792-6\_18},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/DongRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BaskarRS19,
author = {Anguraj Baskar and
R. Ramanujam and
S. P. Suresh},
editor = {Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}}},
title = {Dolev-Yao Theory with Associative Blindpair Operators},
booktitle = {Implementation and Application of Automata - 24th International Conference,
{CIAA} 2019, Ko{\v{s}}ice, Slovakia, July 22-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11601},
pages = {58--69},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23679-3\_5},
doi = {10.1007/978-3-030-23679-3\_5},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BaskarRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-09100,
author = {Ramit Das and
R. Ramanujam and
Sunil Simon},
editor = {Lawrence S. Moss},
title = {Reasoning about Social Choice and Games in Monadic Fixed-Point Logic},
booktitle = {Proceedings Seventeenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2019, Toulouse, France, 17-19 July 2019},
series = {{EPTCS}},
volume = {297},
pages = {106--120},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.297.8},
doi = {10.4204/EPTCS.297.8},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-10260,
author = {Anantha Padmanabha and
R. Ramanujam},
title = {Two variable fragment of Term Modal Logic},
journal = {CoRR},
volume = {abs/1904.10260},
year = {2019},
url = {http://arxiv.org/abs/1904.10260},
eprinttype = {arXiv},
eprint = {1904.10260},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-10260.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PadmanabhaRW18,
author = {Anantha Padmanabha and
R. Ramanujam and
Yanjing Wang},
editor = {Sumit Ganguly and
Paritosh K. Pandya},
title = {Bundled Fragments of First-Order Modal Logic: (Un)Decidability},
booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018,
Ahmedabad, India},
series = {LIPIcs},
volume = {122},
pages = {43:1--43:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.43},
doi = {10.4230/LIPICS.FSTTCS.2018.43},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/PadmanabhaRW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2017,
editor = {Satya V. Lokam and
R. Ramanujam},
title = {37th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017,
Kanpur, India},
series = {LIPIcs},
volume = {93},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-055-2},
isbn = {978-3-95977-055-2},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10508,
author = {Anantha Padmanabha and
R. Ramanujam and
Yanjing Wang},
title = {Bundled fragments of first-order modal logic: (un)decidability},
journal = {CoRR},
volume = {abs/1803.10508},
year = {2018},
url = {http://arxiv.org/abs/1803.10508},
eprinttype = {arXiv},
eprint = {1803.10508},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-09454,
author = {Anantha Padmanabha and
R. Ramanujam},
title = {Propositional modal logic with implicit modal quantification},
journal = {CoRR},
volume = {abs/1811.09454},
year = {2018},
url = {http://arxiv.org/abs/1811.09454},
eprinttype = {arXiv},
eprint = {1811.09454},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-09454.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/RamanujamSS17,
author = {R. Ramanujam and
Vaishnavi Sundararajan and
S. P. Suresh},
editor = {Michael Brenner and
Kurt Rohloff and
Joseph Bonneau and
Andrew Miller and
Peter Y. A. Ryan and
Vanessa Teague and
Andrea Bracciali and
Massimiliano Sala and
Federico Pintore and
Markus Jakobsson},
title = {Existential Assertions for Voting Protocols},
booktitle = {Financial Cryptography and Data Security - {FC} 2017 International
Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
7, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10323},
pages = {337--352},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70278-0\_21},
doi = {10.1007/978-3-319-70278-0\_21},
timestamp = {Tue, 16 Aug 2022 23:04:23 +0200},
biburl = {https://dblp.org/rec/conf/fc/RamanujamSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/GhoshKR17,
author = {Sujata Ghosh and
Neethi Konar and
R. Ramanujam},
editor = {H. Jaap van den Herik and
Ana Paula Rocha and
Joaquim Filipe},
title = {Strategy Composition in Dynamic Games with Simultaneous Moves},
booktitle = {Proceedings of the 9th International Conference on Agents and Artificial
Intelligence, {ICAART} 2017, Volume 2, Porto, Portugal, February 24-26,
2017},
pages = {624--631},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006205106240631},
doi = {10.5220/0006205106240631},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/GhoshKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/MSR17,
author = {Anantha Padmanabha and
R. Ramanujam},
editor = {Sujit Kumar Chakrabarti and
Anh Nguyen{-}Duc},
title = {Model Checking a Logic over Systems with Regular Sets of Processes},
booktitle = {Joint Proceedings of the 3rd Modelling Symposium (ModSym), Developmental
Aspects of Intelligent Adaptive Systems (DIAS), and Educational Data
Mining Practices in Indian Academia {(EDUDM)} co-located with 10th
Innovations in Software Engineering {(ISEC} 2017), Jaipur, India,
February 5, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1819},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1819/dias2017-paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/MSR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GhoshR17,
editor = {Sujata Ghosh and
R. Ramanujam},
title = {Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA
2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January
2017},
series = {{EPTCS}},
volume = {243},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.243},
doi = {10.4204/EPTCS.243},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GhoshR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamanujamSS17,
author = {Ramaswamy Ramanujam and
Vaishnavi Sundararajan and
S. P. Suresh},
title = {Existential Assertions for Voting Protocols},
journal = {CoRR},
volume = {abs/1702.05000},
year = {2017},
url = {http://arxiv.org/abs/1702.05000},
eprinttype = {arXiv},
eprint = {1702.05000},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamanujamSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-09686,
author = {Dietmar Berwanger and
R. Ramanujam},
title = {Deviator Detection under Imperfect Monitoring},
journal = {CoRR},
volume = {abs/1712.09686},
year = {2017},
url = {http://arxiv.org/abs/1712.09686},
eprinttype = {arXiv},
eprint = {1712.09686},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-09686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RamanujamS16,
author = {Ramaswamy Ramanujam and
S. Sheerazuddin},
title = {Realizable temporal logics for web service choreography},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {759--781},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.06.002},
doi = {10.1016/J.JLAMP.2016.06.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/RamanujamS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/RamanujamT16,
author = {Ramaswamy Ramanujam and
Ramanathan S. Thinniyam},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Definability in First Order Theories of Graph Orderings},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {331--348},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_23},
doi = {10.1007/978-3-319-27683-0\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/RamanujamT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/RamanujamSS16,
author = {R. Ramanujam and
Vaishnavi Sundararajan and
S. P. Suresh},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {The Complexity of Disjunction in Intuitionistic Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {349--363},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_24},
doi = {10.1007/978-3-319-27683-0\_24},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/RamanujamSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Ramanujam16,
editor = {R. Ramanujam},
title = {Proceedings Fifteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2015, Carnegie Mellon University, Pittsburgh,
USA, June 4-6, 2015},
series = {{EPTCS}},
volume = {215},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.215},
doi = {10.4204/EPTCS.215},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ramanujam16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerwangerMR16,
author = {Dietmar Berwanger and
Anup Basil Mathew and
R. Ramanujam},
title = {A Retraction Theorem for Distributed Synthesis},
journal = {CoRR},
volume = {abs/1604.07564},
year = {2016},
url = {http://arxiv.org/abs/1604.07564},
eprinttype = {arXiv},
eprint = {1604.07564},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerwangerMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/PaulRS15,
author = {Soumya Paul and
Ramaswamy Ramanujam and
Sunil Simon},
editor = {Johan van Benthem and
Sujata Ghosh and
Rineke Verbrugge},
title = {Automata and Compositional Strategies in Extensive Form Games},
booktitle = {Models of Strategic Reasoning - Logics, Games, and Communities},
series = {Lecture Notes in Computer Science},
volume = {8972},
pages = {174--201},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48540-8\_6},
doi = {10.1007/978-3-662-48540-8\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/PaulRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/PaulR14,
author = {Soumya Paul and
Ramaswamy Ramanujam},
title = {Subgames within Large Games and the Heuristic of Imitation},
journal = {Stud Logica},
volume = {102},
number = {2},
pages = {361--388},
year = {2014},
url = {https://doi.org/10.1007/s11225-014-9549-0},
doi = {10.1007/S11225-014-9549-0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/PaulR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/RamanujamSS14,
author = {Ramaswamy Ramanujam and
Vaishnavi Sundararajan and
S. P. Suresh},
editor = {Atul Prakash and
Rudrapatna K. Shyamasundar},
title = {Extending Dolev-Yao with Assertions},
booktitle = {Information Systems Security - 10th International Conference, {ICISS}
2014, Hyderabad, India, December 16-20, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8880},
pages = {50--68},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13841-1\_4},
doi = {10.1007/978-3-319-13841-1\_4},
timestamp = {Wed, 12 May 2021 16:44:21 +0200},
biburl = {https://dblp.org/rec/conf/iciss/RamanujamSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/RamanujamS14,
author = {Ramaswamy Ramanujam and
S. Sheerazuddin},
editor = {Maurice H. ter Beek and
Ant{\'{o}}nio Ravara},
title = {A Local Logic for Realizability in Web Service Choreographies},
booktitle = {Proceedings 10th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2014, Vienna, Austria, July
18, 2014},
series = {{EPTCS}},
volume = {163},
pages = {16--35},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.163.3},
doi = {10.4204/EPTCS.163.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamanujamS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Ramanujam14,
author = {R. Ramanujam},
editor = {Alexandru Baltag and
Sonja Smets},
title = {Logical Player Types for a Theory of Play},
booktitle = {Johan van Benthem on Logic and Information Dynamics},
pages = {509--528},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06025-5\_18},
doi = {10.1007/978-3-319-06025-5\_18},
timestamp = {Mon, 26 Jun 2023 08:47:47 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Ramanujam14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/GowdaKPRR13,
author = {M. Seetharama Gowda and
Nagarajan Krishnamurthy and
T. Parthasarathy and
R. Ramanujam and
G. Ravindran},
title = {Preface to the Special Issue on Gtora 2012},
journal = {{IGTR}},
volume = {15},
number = {4},
year = {2013},
url = {https://doi.org/10.1142/S0219198913600013},
doi = {10.1142/S0219198913600013},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/GowdaKPRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/PaulR13,
author = {Soumya Paul and
Ramaswamy Ramanujam},
title = {Dynamics of Choice restriction in Large Games},
journal = {{IGTR}},
volume = {15},
number = {4},
year = {2013},
url = {https://doi.org/10.1142/S0219198913400318},
doi = {10.1142/S0219198913400318},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/PaulR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/ManuelR12,
author = {Amaldev Manuel and
Ramaswamy Ramanujam},
editor = {Deepak D'Souza and
Priti Shankar},
title = {Automata over Infinite Alphabets},
booktitle = {Modern Applications of Automata Theory},
series = {IISc Research Monographs Series},
volume = {2},
pages = {529--554},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814271059\_0017},
doi = {10.1142/9789814271059\_0017},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/automata2012/ManuelR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdcit/2012,
editor = {Ramaswamy Ramanujam and
Srini Ramaswamy},
title = {Distributed Computing and Internet Technology - 8th International
Conference, {ICDCIT} 2012, Bhubaneswar, India, February 2-4, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7154},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28073-3},
doi = {10.1007/978-3-642-28073-3},
isbn = {978-3-642-28072-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ManuelR11,
author = {Amaldev Manuel and
Ramaswamy Ramanujam},
title = {Class Counting Automata on Datawords},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {4},
pages = {863--882},
year = {2011},
url = {https://doi.org/10.1142/S0129054111008465},
doi = {10.1142/S0129054111008465},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ManuelR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/DitmarschPR11,
author = {Hans van Ditmarsch and
Rohit Parikh and
Ramaswamy Ramanujam},
title = {Logic in India - Editorial Introduction},
journal = {J. Philos. Log.},
volume = {40},
number = {5},
pages = {557--561},
year = {2011},
url = {https://doi.org/10.1007/s10992-011-9213-3},
doi = {10.1007/S10992-011-9213-3},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/DitmarschPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esslli/GhoshR11,
author = {Sujata Ghosh and
Ramaswamy Ramanujam},
editor = {Nick Bezhanishvili and
Valentin Goranko},
title = {Strategies in Games: {A} Logic-Automata Study},
booktitle = {Lectures on Logic and Computation - {ESSLLI} 2010 Copenhagen, Denmark,
August 2010, {ESSLLI} 2011, Ljubljana, Slovenia, August 2011, Selected
Lecture Notes},
series = {Lecture Notes in Computer Science},
volume = {7388},
pages = {110--159},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31485-8\_4},
doi = {10.1007/978-3-642-31485-8\_4},
timestamp = {Mon, 01 May 2023 13:01:40 +0200},
biburl = {https://dblp.org/rec/conf/esslli/GhoshR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/PaulR11,
author = {Soumya Paul and
Ramaswamy Ramanujam},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Dynamic Restriction of Choices: Synthesis of Societal Rules},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {28--50},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_2},
doi = {10.1007/978-3-642-24130-7\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/PaulR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/PaulR11,
author = {Soumya Paul and
Ramaswamy Ramanujam},
editor = {Krzysztof R. Apt},
title = {Neighbourhood structure in large games},
booktitle = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14,
2011},
pages = {121--130},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000378.2000392},
doi = {10.1145/2000378.2000392},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/PaulR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/MohalikR10,
author = {Swarup Mohalik and
Ramaswamy Ramanujam},
title = {Automata for Epistemic Temporal Logic with Synchronous Communication},
journal = {J. Log. Lang. Inf.},
volume = {19},
number = {4},
pages = {451--484},
year = {2010},
url = {https://doi.org/10.1007/s10849-009-9118-5},
doi = {10.1007/S10849-009-9118-5},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/MohalikR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/GhoshR10,
author = {Sujata Ghosh and
Ramaswamy Ramanujam},
title = {Logic and social interaction: introduction},
journal = {Synth.},
volume = {177},
number = {Supplement-1},
pages = {1--3},
year = {2010},
url = {https://doi.org/10.1007/s11229-010-9769-4},
doi = {10.1007/S11229-010-9769-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/GhoshR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/GhoshRS10,
author = {Sujata Ghosh and
Ramaswamy Ramanujam and
Sunil Easaw Simon},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Leite and
Guido Governatori and
Wojtek Jamroga},
title = {Playing Extensive Form Games in Parallel},
booktitle = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
{CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6245},
pages = {153--170},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14977-1\_13},
doi = {10.1007/978-3-642-14977-1\_13},
timestamp = {Tue, 07 May 2024 20:13:36 +0200},
biburl = {https://dblp.org/rec/conf/clima/GhoshRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RamanujamS10,
author = {Ramaswamy Ramanujam and
Sunil Easaw Simon},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {A Communication Based Model for Games of Imperfect Information},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {509--523},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_35},
doi = {10.1007/978-3-642-15375-4\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/RamanujamS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BaskarRS10,
author = {Anguraj Baskar and
Ramaswamy Ramanujam and
S. P. Suresh},
editor = {Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {A dexptime-Complete Dolev-Yao Theory with Distributive Encryption},
booktitle = {Mathematical Foundations of Computer Science 2010, 35th International
Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6281},
pages = {102--113},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15155-2\_11},
doi = {10.1007/978-3-642-15155-2\_11},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BaskarRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-2992,
author = {Soumya Paul and
Ramaswamy Ramanujam},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Imitation in Large Games},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {162--172},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.16},
doi = {10.4204/EPTCS.25.16},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-2992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BaskarRS09,
author = {Anguraj Baskar and
Ramaswamy Ramanujam and
S. P. Suresh},
editor = {Anupam Datta},
title = {A Dolev-Yao Model for Zero Knowledge},
booktitle = {Advances in Computer Science - {ASIAN} 2009. Information Security
and Privacy, 13th Asian Computing Science Conference, Seoul, Korea,
December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5913},
pages = {137--146},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10622-4\_11},
doi = {10.1007/978-3-642-10622-4\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/BaskarRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/PaulRS09,
author = {Soumya Paul and
Ramaswamy Ramanujam and
Sunil Easaw Simon},
editor = {Klaus Ambos{-}Spies and
Benedikt L{\"{o}}we and
Wolfgang Merkle},
title = {Stability under Strategy Switching},
booktitle = {Mathematical Theory and Computational Practice, 5th Conference on
Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5635},
pages = {389--398},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03073-4\_40},
doi = {10.1007/978-3-642-03073-4\_40},
timestamp = {Sun, 02 Jun 2019 21:17:54 +0200},
biburl = {https://dblp.org/rec/conf/cie/PaulRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/NiyogiR09,
author = {Rajdeep Niyogi and
Ramaswamy Ramanujam},
editor = {Xiangdong He and
John F. Horty and
Eric Pacuit},
title = {An Epistemic Logic for Planning with Trials},
booktitle = {Logic, Rationality, and Interaction, Second International Workshop,
{LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5834},
pages = {238--250},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04893-7\_19},
doi = {10.1007/978-3-642-04893-7\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/NiyogiR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ManuelR09,
author = {Amaldev Manuel and
Ramaswamy Ramanujam},
editor = {Olivier Bournez and
Igor Potapov},
title = {Counting Multiplicity over Infinite Alphabets},
booktitle = {Reachability Problems, 3rd International Workshop, {RP} 2009, Palaiseau,
France, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5797},
pages = {141--153},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04420-5\_14},
doi = {10.1007/978-3-642-04420-5\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/ManuelR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/PaulRS09,
author = {Soumya Paul and
Ramaswamy Ramanujam and
Sunil Easaw Simon},
editor = {Aviad Heifetz},
title = {Dynamic restriction of choices: a preliminary logical report},
booktitle = {Proceedings of the 12th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009},
pages = {218--226},
year = {2009},
url = {https://doi.org/10.1145/1562814.1562844},
doi = {10.1145/1562814.1562844},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/PaulRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2009,
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3},
doi = {10.1007/978-3-540-92701-3},
isbn = {978-3-540-92700-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RamanujamS08,
author = {Ramaswamy Ramanujam and
Sunil Easaw Simon},
editor = {J{\"{o}}rg Flum and
Erich Gr{\"{a}}del and
Thomas Wilke},
title = {Structured strategies in games on graphs},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang
Thomas]},
series = {Texts in Logic and Games},
volume = {2},
pages = {553--574},
publisher = {Amsterdam University Press},
year = {2008},
timestamp = {Wed, 15 Dec 2010 22:14:40 +0100},
biburl = {https://dblp.org/rec/conf/birthday/RamanujamS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RamanujamS08,
author = {Ramaswamy Ramanujam and
Sunil Easaw Simon},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Dynamic Logic on Games with Structured Strategies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {49--58},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-006.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RamanujamS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8171,
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/portals/08171/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2008P8171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MuschollRRSV08,
author = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {08171 Abstracts Collection - Beyond the Finite: New Challenges in
Verification and Semistructured Data},
booktitle = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1560/},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MuschollRRSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MuschollRRSV08a,
author = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
editor = {Anca Muscholl and
Ramaswamy Ramanujam and
Micha{\"{e}}l Rusinowitch and
Thomas Schwentick and
Victor Vianu},
title = {08171 Summary - Beyond the Finite: New Challenges in Verification
and Semistructured Data},
booktitle = {Beyond the Finite: New Challenges in Verification and Semistructured
Data, 20.04. - 25.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1558/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MuschollRRSV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/BaskarRS07,
author = {Anguraj Baskar and
Ramaswamy Ramanujam and
S. P. Suresh},
editor = {Dov Samet},
title = {Knowledge-based modelling of voting protocols},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
pages = {62--71},
year = {2007},
url = {https://doi.org/10.1145/1324249.1324261},
doi = {10.1145/1324249.1324261},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/BaskarRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RamanujamS06,
author = {Ramaswamy Ramanujam and
S. P. Suresh},
title = {A (restricted) quantifier elimination for security protocols},
journal = {Theor. Comput. Sci.},
volume = {367},
number = {1-2},
pages = {228--256},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.037},
doi = {10.1016/J.TCS.2006.08.037},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/RamanujamS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/RamanujamS05,
author = {Ramaswamy Ramanujam and
S. P. Suresh},
title = {Decidability of context-explicit security protocols},
journal = {J. Comput. Secur.},
volume = {13},
number = {1},
pages = {135--165},
year = {2005},
url = {https://doi.org/10.3233/jcs-2005-13106},
doi = {10.3233/JCS-2005-13106},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/RamanujamS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/RamanujamS05,
author = {Ramaswamy Ramanujam and
S. P. Suresh},
editor = {Ron van der Meyden},
title = {Deciding knowledge properties of security protocols},
booktitle = {Proceedings of the 10th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2005), Singapore, June 10-12, 2005},
pages = {219--235},
publisher = {National University of Singapore},
year = {2005},
url = {https://dl.acm.org/citation.cfm?id=1089958},
timestamp = {Thu, 29 Nov 2018 12:50:42 +0100},
biburl = {https://dblp.org/rec/conf/tark/RamanujamS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2005,
editor = {Ramaswamy Ramanujam and
Sandeep Sen},
title = {{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},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590156},
doi = {10.1007/11590156},
isbn = {3-540-30495-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/MeenakshiR04,
author = {B. Meenakshi and
Ramaswamy Ramanujam},
title = {Reasoning about layered message passing systems},
journal = {Comput. Lang. Syst. Struct.},
volume = {30},
number = {3-4},
pages = {171--206},
year = {2004},
url = {https://doi.org/10.1016/j.cl.2004.02.003},
doi = {10.1016/J.CL.2004.02.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/MeenakshiR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/ParikhR03,
author = {Rohit Parikh and
Ramaswamy Ramanujam},
title = {A Knowledge Based Semantics of Messages},
journal = {J. Log. Lang. Inf.},
volume = {12},
number = {4},
pages = {453--467},
year = {2003},
url = {https://doi.org/10.1023/A:1025007018583},
doi = {10.1023/A:1025007018583},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/ParikhR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RamanujamS03,
author = {Ramaswamy Ramanujam and
S. P. Suresh},
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {Tagging Makes Secrecy Decidable with Unbounded Nonces as Well},
booktitle = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2914},
pages = {363--374},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24597-1\_31},
doi = {10.1007/978-3-540-24597-1\_31},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RamanujamS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MeenakshiR03,
author = {B. Meenakshi and
Ramaswamy Ramanujam},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Reasoning about Layered Message Passing Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {268--282},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_22},
doi = {10.1007/3-540-36384-X\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MeenakshiR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RamanujamS01,
author = {Ramaswamy Ramanujam and
S. P. Suresh},
editor = {Jean Goubault{-}Larrecq},
title = {Information based reasoning about security protocols},
booktitle = {Logical Aspects of Cryptographic Protocol Verification, {LACPV} 2001,
in connection with {CAV} 2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {1},
pages = {85--100},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00246-4},
doi = {10.1016/S1571-0661(04)00246-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RamanujamS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MeenakshiR00,
author = {B. Meenakshi and
Ramaswamy Ramanujam},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Reasoning about Message Passing in Finite State Environments},
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 = {487--498},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_41},
doi = {10.1007/3-540-45022-X\_41},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MeenakshiR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/LodayaR00,
author = {Kamal Lodaya and
Ramaswamy Ramanujam},
editor = {Sheng Yu and
Andrei Paun},
title = {An Automaton Model of User-Controlled Navigation on the Web},
booktitle = {Implementation and Application of Automata, 5th International Conference,
{CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2088},
pages = {208--216},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44674-5\_17},
doi = {10.1007/3-540-44674-5\_17},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/wia/LodayaR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ramanujam99,
author = {Ramaswamy Ramanujam},
title = {View-Based Explicit Knowledge},
journal = {Ann. Pure Appl. Log.},
volume = {96},
number = {1-3},
pages = {343--368},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00045-1},
doi = {10.1016/S0168-0072(98)00045-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Ramanujam99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1999,
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {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},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6},
doi = {10.1007/3-540-46691-6},
isbn = {3-540-66836-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MohalikR98,
author = {Swarup Mohalik and
Ramaswamy Ramanujam},
title = {A Presentation of Regular Languages in the Assumption - Commitment
Framework},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {250--260},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657556},
doi = {10.1109/CSD.1998.657556},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/MohalikR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1998,
editor = {Vikraman Arvind and
Ramaswamy Ramanujam},
title = {Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1530},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/b71635},
doi = {10.1007/B71635},
isbn = {3-540-65384-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Ramanujam97,
author = {Ramaswamy Ramanujam},
editor = {R. K. Shyamasundar and
Kazunori Ueda},
title = {Rules for Trace Consistent Reasoning},
booktitle = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing
Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1345},
pages = {57--71},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63875-X\_43},
doi = {10.1007/3-540-63875-X\_43},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/Ramanujam97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MohalikR97,
author = {Swarup Mohalik and
Ramaswamy Ramanujam},
editor = {S. Ramesh and
G. Sivakumar},
title = {Assumption-Commitment in Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1346},
pages = {153--168},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0058029},
doi = {10.1007/BFB0058029},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MohalikR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Ramanujam96,
author = {Ramaswamy Ramanujam},
editor = {Vijay Chandru and
V. Vinay},
title = {Trace Consistency and Inevitablity},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1180},
pages = {250--261},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62034-6\_54},
doi = {10.1007/3-540-62034-6\_54},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Ramanujam96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Ramanujam96,
author = {Ramaswamy Ramanujam},
title = {Locally Linear Time Temporal Logic},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {118--127},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561311},
doi = {10.1109/LICS.1996.561311},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Ramanujam96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Ramanujam96,
author = {Ramaswamy Ramanujam},
editor = {Yoav Shoham},
title = {Local Knowledge Assertions in a Changing World},
booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality
and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996},
pages = {1--14},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
biburl = {https://dblp.org/rec/conf/tark/Ramanujam96.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/strict/Ramanujam95,
author = {R. Ramanujam},
editor = {J{\"{o}}rg Desel},
title = {A Local Presentation of Synchronizing Systems},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency
Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
series = {Workshops in Computing},
pages = {264--278},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3078-9\_18},
doi = {10.1007/978-1-4471-3078-9\_18},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/strict/Ramanujam95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/KrasuckiR94,
author = {Paul J. Krasucki and
Ramaswamy Ramanujam},
editor = {Ronald Fagin},
title = {Knowledge and the Ordering of Events in Distributed Systems},
booktitle = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1994},
pages = {267--283},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 24 Aug 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/KrasuckiR94.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}
}
@inproceedings{DBLP:conf/fsttcs/LodayaR91,
author = {Kamal Lodaya and
Ramaswamy Ramanujam},
editor = {Somenath Biswas and
Kesav V. Nori},
title = {Tense Logics for Local Reasoning in Distributed Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
11th Conference, New Delhi, India, December 17-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {560},
pages = {71--88},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54967-6\_62},
doi = {10.1007/3-540-54967-6\_62},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LodayaR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ramanujam89,
author = {Ramaswamy Ramanujam},
title = {Semantics of Distributed Definite Clause Programs},
journal = {Theor. Comput. Sci.},
volume = {68},
number = {2},
pages = {203--220},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90129-1},
doi = {10.1016/0304-3975(89)90129-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ramanujam89.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/fsttcs/Ramanujam87,
author = {Ramaswamy Ramanujam},
editor = {Kesav V. Nori},
title = {Semantics of Distributed Horn Clause Programs},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {287},
pages = {361--371},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18625-5\_60},
doi = {10.1007/3-540-18625-5\_60},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Ramanujam87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/ParikhR85,
author = {Rohit Parikh and
Ramaswamy Ramanujam},
editor = {Rohit Parikh},
title = {Distributed Processes and the Logic of Knowledge},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {256--268},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_21},
doi = {10.1007/3-540-15648-8\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/ParikhR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/RamanujamL85,
author = {Ramaswamy Ramanujam and
Kamal Lodaya},
editor = {Rohit Parikh},
title = {Proving Fairness of Schedulers},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {284--301},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_23},
doi = {10.1007/3-540-15648-8\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/RamanujamL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RamanujamS84,
author = {Ramaswamy Ramanujam and
R. K. Shyamasundar},
editor = {Mathai Joseph and
R. K. Shyamasundar},
title = {Process Specification of Logic Programs},
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 = {31--43},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13883-8\_63},
doi = {10.1007/3-540-13883-8\_63},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RamanujamS84.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 05:49 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:
