BibTeX records: K. T. Narayana

download as .bib file

@article{DBLP:journals/iandc/ShadeN93,
  author       = {Eric Shade and
                  K. T. Narayana},
  title        = {Real-Time Semantics for Shared-Variable Concurrency},
  journal      = {Inf. Comput.},
  volume       = {102},
  number       = {1},
  pages        = {56--82},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1002},
  doi          = {10.1006/INCO.1993.1002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ShadeN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ShyamasundarNP93,
  author       = {R. K. Shyamasundar and
                  K. T. Narayana and
                  Toniann Pitassi},
  title        = {Semantics of Nondeterministic Asynchronous Broadcast Networks},
  journal      = {Inf. Comput.},
  volume       = {104},
  number       = {2},
  pages        = {215--252},
  year         = {1993},
  url          = {https://doi.org/10.1006/inco.1993.1031},
  doi          = {10.1006/INCO.1993.1031},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ShyamasundarNP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftrtft/Narayana92,
  author       = {K. T. Narayana},
  editor       = {Jan Vytopil},
  title        = {Observing Task Preemption in Ada 9x},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {107--129},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_7},
  doi          = {10.1007/3-540-55092-5\_7},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Narayana92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/NarayanaD90,
  author       = {K. T. Narayana and
                  Sanjeev Dharap},
  title        = {Formal Specification of a Look Manager},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {16},
  number       = {9},
  pages        = {1089--1103},
  year         = {1990},
  url          = {https://doi.org/10.1109/32.58792},
  doi          = {10.1109/32.58792},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/NarayanaD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/NarayanaD90,
  author       = {K. T. Narayana and
                  Sanjeev Dharap},
  editor       = {Mark Moriconi},
  title        = {Invariant properties in a dialog system},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {67--79},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99818},
  doi          = {10.1145/99569.99818},
  timestamp    = {Thu, 17 Feb 2022 09:26:24 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/NarayanaD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/AabyN88,
  author       = {A. A. Aaby and
                  K. T. Narayana},
  editor       = {Ewing L. Lusk and
                  Ross A. Overbeek},
  title        = {Propositional Temporal Interval Logic is {PSPACE} Complete},
  booktitle    = {9th International Conference on Automated Deduction, Argonne, Illinois,
                  USA, May 23-26, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {310},
  pages        = {218--237},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0012834},
  doi          = {10.1007/BFB0012834},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AabyN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/NarayanaA88,
  author       = {K. T. Narayana and
                  A. A. Aaby},
  title        = {Specification of Real-Time Systems in Real-Time Temporal Interval
                  Logic},
  booktitle    = {Proceedings of the 9th {IEEE} Real-Time Systems Symposium {(RTSS}
                  '88), December 6-8, 1988, Huntsville, Alabama, {USA}},
  pages        = {86--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/REAL.1988.51104},
  doi          = {10.1109/REAL.1988.51104},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/NarayanaA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/ShyamasundarNP87,
  author       = {R. K. Shyamasundar and
                  K. T. Narayana and
                  Toniann Pitassi},
  editor       = {Thomas Ottmann},
  title        = {Semantics for Nondeterministic Asynchronous Broadcast Networks},
  booktitle    = {Automata, Languages and Programming, 14th International Colloquium,
                  ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {267},
  pages        = {72--83},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-18088-5\_7},
  doi          = {10.1007/3-540-18088-5\_7},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/ShyamasundarNP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icpp/AabyN86,
  author       = {A. A. Aaby and
                  K. T. Narayana},
  title        = {A Distributed Implementation Scheme for Communicating Processes},
  booktitle    = {International Conference on Parallel Processing, ICPP'86, University
                  Park, PA, USA, August 1986},
  pages        = {942--949},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1986},
  timestamp    = {Mon, 28 Jul 2014 17:06:02 +0200},
  biburl       = {https://dblp.org/rec/conf/icpp/AabyN86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Narayana82,
  author       = {K. T. Narayana},
  title        = {Semantics of a synchronous parallel programming language},
  school       = {Queen's University Belfast, {UK}},
  year         = {1982},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.348868},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Narayana82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigplan/NarayanaC81,
  author       = {K. T. Narayana and
                  Maurice Clint},
  title        = {On the formal treatment of a permutation finding program},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {16},
  number       = {10},
  pages        = {62--73},
  year         = {1981},
  url          = {https://doi.org/10.1145/954255.954260},
  doi          = {10.1145/954255.954260},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/NarayanaC81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/spe/NarayanaPJ79,
  author       = {K. T. Narayana and
                  V. R. Prasad and
                  Mathai Joseph},
  title        = {Some Aspects of Concurrent Programmming in {CCNPASCAL}},
  journal      = {Softw. Pract. Exp.},
  volume       = {9},
  number       = {9},
  pages        = {749--770},
  year         = {1979},
  url          = {https://doi.org/10.1002/spe.4380090908},
  doi          = {10.1002/SPE.4380090908},
  timestamp    = {Fri, 13 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/NarayanaPJ79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.