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}
}
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.