Search dblp for Publications

export results for "toc:db/conf/fsttcs/fsttcs98.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fsttcs/AcetoBBL98,
  author       = {Luca Aceto and
                  Patricia Bouyer and
                  Augusto Burgue{\~{n}}o and
                  Kim Guldstrand Larsen},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {The Power of Reachability Testing for Timed Automata},
  booktitle    = {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},
  pages        = {245--256},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_22},
  doi          = {10.1007/978-3-540-49382-2\_22},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/AcetoBBL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Alur98,
  author       = {Rajeev Alur},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Efficient Formal Verification of Hierarchical Descriptions},
  booktitle    = {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},
  pages        = {269},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_24},
  doi          = {10.1007/978-3-540-49382-2\_24},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Alur98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/BohnDGHL98,
  author       = {J{\"{u}}rgen Bohn and
                  Werner Damm and
                  Orna Grumberg and
                  Hardi Hungar and
                  Karen Laster},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {First-Order-CTL Model Checking},
  booktitle    = {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},
  pages        = {283--294},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_27},
  doi          = {10.1007/978-3-540-49382-2\_27},
  timestamp    = {Wed, 27 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BohnDGHL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/CalbrixK98,
  author       = {Hugues Calbrix and
                  Teodor Knapik},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {A String-Rewriting Characterization of Muller and Schupp's Context-Free
                  Graphs},
  booktitle    = {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},
  pages        = {331--342},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_31},
  doi          = {10.1007/978-3-540-49382-2\_31},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/CalbrixK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/CastellaniH98,
  author       = {Ilaria Castellani and
                  Matthew Hennessy},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Testing Theories for Asynchronous Languages},
  booktitle    = {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},
  pages        = {90--101},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_9},
  doi          = {10.1007/978-3-540-49382-2\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/CastellaniH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Dubhashi98,
  author       = {Devdatt P. Dubhashi},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Martingales and Locality in Distributed Computing},
  booktitle    = {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},
  pages        = {174--185},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_16},
  doi          = {10.1007/978-3-540-49382-2\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Dubhashi98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/FotakisS98,
  author       = {Dimitris Fotakis and
                  Paul G. Spirakis},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {A Hamiltonian Approach to the Assignment of Non-reusable Frequencies},
  booktitle    = {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},
  pages        = {18--29},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_3},
  doi          = {10.1007/978-3-540-49382-2\_3},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/FotakisS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/GargM98,
  author       = {Vijay K. Garg and
                  J. Roger Mitchell},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Implementable Failure Detectors in Asynchronous Systems},
  booktitle    = {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},
  pages        = {158--169},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_14},
  doi          = {10.1007/978-3-540-49382-2\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/GargM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/GudmundssonL98,
  author       = {Joachim Gudmundsson and
                  Christos Levcopoulos},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {A Parallel Approximation Algorithm for Minimum Weight Triangulation},
  booktitle    = {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},
  pages        = {233--244},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_21},
  doi          = {10.1007/978-3-540-49382-2\_21},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/GudmundssonL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/GuhaK98,
  author       = {Sudipto Guha and
                  Samir Khuller},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Improved Methods for Approximating Node Weighted Steiner Trees and
                  Connected Dominating Sets},
  booktitle    = {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},
  pages        = {54--65},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_6},
  doi          = {10.1007/978-3-540-49382-2\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/GuhaK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Guttmann-BeckHKR98,
  author       = {Nili Guttmann{-}Beck and
                  Refael Hassin and
                  Samir Khuller and
                  Balaji Raghavachari},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Approximation Algorithms with Bounded Performance Guarantees for the
                  Clustered Traveling Salesman Problem},
  booktitle    = {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},
  pages        = {6--17},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_2},
  doi          = {10.1007/978-3-540-49382-2\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Guttmann-BeckHKR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/HuhnNW98,
  author       = {Michaela Huhn and
                  Peter Niebert and
                  Heike Wehrheim},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Partial Order Reductions for Bisimulation Checking},
  booktitle    = {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},
  pages        = {271--282},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_26},
  doi          = {10.1007/978-3-540-49382-2\_26},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/HuhnNW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Immerman98,
  author       = {Neil Immerman},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Descriptive Complexity and Model Checking},
  booktitle    = {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},
  pages        = {1--5},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_1},
  doi          = {10.1007/978-3-540-49382-2\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Immerman98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/JancarMPV98,
  author       = {Petr Jancar and
                  Frantisek Mr{\'{a}}z and
                  Martin Pl{\'{a}}tek and
                  J{\"{o}}rg Vogel},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Different Types of Monotonicity for Restarting Automata},
  booktitle    = {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},
  pages        = {343--354},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_32},
  doi          = {10.1007/978-3-540-49382-2\_32},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/JancarMPV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/KallahallaV98,
  author       = {Mahesh Kallahalla and
                  Peter J. Varman},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Red-Black Prefetching: An Approximation Algorithm for Parallel Disk
                  Scheduling},
  booktitle    = {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},
  pages        = {66--77},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_7},
  doi          = {10.1007/978-3-540-49382-2\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/KallahallaV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Kuhnemann98,
  author       = {Armin K{\"{u}}hnemann},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Benefits of Tree Transducers for Optimizing Functional Programs},
  booktitle    = {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},
  pages        = {146--157},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_13},
  doi          = {10.1007/978-3-540-49382-2\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Kuhnemann98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/KumarCS98,
  author       = {K. Narayan Kumar and
                  Rance Cleaveland and
                  Scott A. Smolka},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Infinite Probabilistic and Nonprobabilistic Testing},
  booktitle    = {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},
  pages        = {209--220},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_19},
  doi          = {10.1007/978-3-540-49382-2\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/KumarCS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Lavatelli98,
  author       = {Carolina Lavatelli},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Deadlock Sensitive Types for Lambda Calculus with Resources},
  booktitle    = {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},
  pages        = {30--41},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_4},
  doi          = {10.1007/978-3-540-49382-2\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Lavatelli98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/LodayaW98,
  author       = {Kamal Lodaya and
                  Pascal Weil},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {A Kleene Iteration for Parallelism},
  booktitle    = {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},
  pages        = {355--366},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_33},
  doi          = {10.1007/978-3-540-49382-2\_33},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/LodayaW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Lohrey98,
  author       = {Markus Lohrey},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {On the Confluence of Trace Rewriting Systems},
  booktitle    = {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},
  pages        = {319--330},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_30},
  doi          = {10.1007/978-3-540-49382-2\_30},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Lohrey98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Lokam98,
  author       = {Satyanarayana V. Lokam},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Remarks on Graph Complexity},
  booktitle    = {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},
  pages        = {307--318},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_29},
  doi          = {10.1007/978-3-540-49382-2\_29},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Lokam98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/LozanoR98,
  author       = {Antoni Lozano and
                  Vijay Raghavan},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {On the Complexity of Counting the Number of Vertices Moved by Graph
                  Automorphisms},
  booktitle    = {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},
  pages        = {295--306},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_28},
  doi          = {10.1007/978-3-540-49382-2\_28},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/LozanoR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/MadhavanS98,
  author       = {Maya Madhavan and
                  Priti Shankar},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Optimal Regular Tree Pattern Matching Using Pushdown Automata},
  booktitle    = {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},
  pages        = {122--133},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_11},
  doi          = {10.1007/978-3-540-49382-2\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MadhavanS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/McMillan98,
  author       = {Kenneth L. McMillan},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Proof Rules for Model Checking Systems with Data},
  booktitle    = {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},
  pages        = {270},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_25},
  doi          = {10.1007/978-3-540-49382-2\_25},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/McMillan98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/MunroRR98,
  author       = {J. Ian Munro and
                  Venkatesh Raman and
                  S. Srinivasa Rao},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Space Efficient Suffix Trees},
  booktitle    = {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},
  pages        = {186--196},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_17},
  doi          = {10.1007/978-3-540-49382-2\_17},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MunroRR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/NeumannS98,
  author       = {Andreas Neumann and
                  Helmut Seidl},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Locating Matches of Tree Patterns in Forests},
  booktitle    = {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},
  pages        = {134--145},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_12},
  doi          = {10.1007/978-3-540-49382-2\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/NeumannS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/PandyaR98,
  author       = {Paritosh K. Pandya and
                  Y. S. Ramakrishna},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Recursive Mean-Value Calculus},
  booktitle    = {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},
  pages        = {257--268},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_23},
  doi          = {10.1007/978-3-540-49382-2\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/PandyaR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/PendharkarG98,
  author       = {N. S. Pendharkar and
                  K. Gopinath},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Formal Verification of an O. S. Submodule},
  booktitle    = {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},
  pages        = {197--208},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_18},
  doi          = {10.1007/978-3-540-49382-2\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/PendharkarG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/PrasadK98,
  author       = {N. Kalyana Rama Prasad and
                  P. Sreenivasa Kumar},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {On Generating Strong Elimination Orderings of Strongly Chordal Graphs},
  booktitle    = {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},
  pages        = {221--232},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_20},
  doi          = {10.1007/978-3-540-49382-2\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/PrasadK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/QuagliaW98,
  author       = {Paola Quaglia and
                  David Walker},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {On Encoding p-pi in m-pi},
  booktitle    = {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},
  pages        = {42--53},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_5},
  doi          = {10.1007/978-3-540-49382-2\_5},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/QuagliaW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Reif98,
  author       = {John H. Reif},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Alternative Computational Models: {A} Comparison of Biomolecular and
                  Quantum Computation},
  booktitle    = {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},
  pages        = {102--121},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_10},
  doi          = {10.1007/978-3-540-49382-2\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Reif98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Schmidt98,
  author       = {Erik Meineche Schmidt},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {{BRICS} and Quantum Information Processing},
  booktitle    = {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},
  pages        = {170--173},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_15},
  doi          = {10.1007/978-3-540-49382-2\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Schmidt98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/TalpinN98,
  author       = {Jean{-}Pierre Talpin and
                  David Nowak},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable
                  Reactive Systems},
  booktitle    = {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},
  pages        = {78--89},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_8},
  doi          = {10.1007/978-3-540-49382-2\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/TalpinN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/Vazirani98,
  author       = {Umesh V. Vazirani},
  editor       = {Vikraman Arvind and
                  Ramaswamy Ramanujam},
  title        = {Quantum Computation and Information},
  booktitle    = {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},
  pages        = {367},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-49382-2\_34},
  doi          = {10.1007/978-3-540-49382-2\_34},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Vazirani98.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}
}

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.