Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AbdullaJ96a,
  author       = {Parosh Aziz Abdulla and
                  Bengt Jonsson},
  title        = {Undecidable Verification Problems for Programs with Unreliable Channels},
  journal      = {Inf. Comput.},
  volume       = {130},
  number       = {1},
  pages        = {71--90},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0083},
  doi          = {10.1006/INCO.1996.0083},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AbdullaJ96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BeameBRRT96,
  author       = {Paul Beame and
                  Allan Borodin and
                  Prabhakar Raghavan and
                  Walter L. Ruzzo and
                  Martin Tompa},
  title        = {Time-Space Tradeoffs for Undirected Graph Traversal by Graph Automata},
  journal      = {Inf. Comput.},
  volume       = {130},
  number       = {2},
  pages        = {101--129},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0085},
  doi          = {10.1006/INCO.1996.0085},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BeameBRRT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BruyereF96,
  author       = {V{\'{e}}ronique Bruy{\`{e}}re and
                  Clelia de Felice},
  title        = {Any Lifting of a Trace Coding is a Word Coding},
  journal      = {Inf. Comput.},
  volume       = {130},
  number       = {2},
  pages        = {183--193},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0088},
  doi          = {10.1006/INCO.1996.0088},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BruyereF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DammH96,
  author       = {Carsten Damm and
                  Markus Holzer},
  title        = {Inductive Counting for Width-Restricted Branching Programs},
  journal      = {Inf. Comput.},
  volume       = {130},
  number       = {1},
  pages        = {91--99},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0084},
  doi          = {10.1006/INCO.1996.0084},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/DammH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FennerFL96,
  author       = {Stephen A. Fenner and
                  Lance Fortnow and
                  Lide Li},
  title        = {Gap-Definability as a Closure Property},
  journal      = {Inf. Comput.},
  volume       = {130},
  number       = {1},
  pages        = {1--17},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0080},
  doi          = {10.1006/INCO.1996.0080},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FennerFL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GiancarloG96,
  author       = {Raffaele Giancarlo and
                  Roberto Grossi},
  title        = {On the Construction of Classes of Suffix Trees for Square Matrices:
                  Algorithms and Applications},
  journal      = {Inf. Comput.},
  volume       = {130},
  number       = {2},
  pages        = {151--182},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0087},
  doi          = {10.1006/INCO.1996.0087},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GiancarloG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JainS96,
  author       = {Sanjay Jain and
                  Arun Sharma},
  title        = {Computational Limits on Team Identification of Languages},
  journal      = {Inf. Comput.},
  volume       = {130},
  number       = {1},
  pages        = {19--60},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0081},
  doi          = {10.1006/INCO.1996.0081},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/JainS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Wang96,
  author       = {Farn Wang},
  title        = {Parametric Timing Analysis for Real-Time Systems},
  journal      = {Inf. Comput.},
  volume       = {130},
  number       = {2},
  pages        = {131--150},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0086},
  doi          = {10.1006/INCO.1996.0086},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Wang96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/WilkeY96,
  author       = {Thomas Wilke and
                  Haiseung Yoo},
  title        = {Computing the Rabin Index of a Regular Language of Infinite Words},
  journal      = {Inf. Comput.},
  volume       = {130},
  number       = {1},
  pages        = {61--70},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0082},
  doi          = {10.1006/INCO.1996.0082},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/WilkeY96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}