Search dblp for Publications

• > Home > Search

@article{DBLP:journals/cjtcs/BuntrockN96,
  author       = {Gerhard Buntrock and
                  Gundula Niemann},
  title        = {Weakly Growing Context-Sensitive Grammars},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {1996},
  year         = {1996},
  url          = {http://cjtcs.cs.uchicago.edu/articles/1996/4/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/BuntrockN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cjtcs/GerstelCZ96,
  author       = {Ornan Ori Gerstel and
                  Israel Cidon and
                  Shmuel Zaks},
  title        = {Optimal Virtual Path Layout in {ATM} Networks With Shared Routing
                  Table Switches},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {1996},
  year         = {1996},
  url          = {http://cjtcs.cs.uchicago.edu/articles/1996/3/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/GerstelCZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cjtcs/HooverR96,
  author       = {H. James Hoover and
                  Piotr Rudnicki},
  title        = {Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write
                  Atomicity},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {1996},
  year         = {1996},
  url          = {http://cjtcs.cs.uchicago.edu/articles/1996/5/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/HooverR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cjtcs/Middendorf96,
  author       = {Martin Middendorf},
  title        = {Manhattan Channel Routing is NP-complete Under Truly Restricted Settings},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {1996},
  year         = {1996},
  url          = {http://cjtcs.cs.uchicago.edu/articles/1996/6/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/Middendorf96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cjtcs/Ogihara96,
  author       = {Mitsunori Ogihara},
  title        = {Sparse Hard Sets for {P} Yield Space-Efficient Algorithms},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {1996},
  year         = {1996},
  url          = {http://cjtcs.cs.uchicago.edu/articles/1996/2/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/Ogihara96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cjtcs/Vardi96,
  author       = {Moshe Y. Vardi},
  title        = {Rank Predicates vs. Progress Measures in Concurrent-Program Verification},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {1996},
  year         = {1996},
  url          = {http://cjtcs.cs.uchicago.edu/articles/1996/1/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/Vardi96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}