Search dblp for Publications

export results for "toc:db/journals/cjtcs/cjtcs2010.bht:"

 download as .bib file

@article{DBLP:journals/cjtcs/Day10,
  author       = {Adam R. Day},
  title        = {On Process Complexity},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/1/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/Day10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/Farago10,
  author       = {Andr{\'{a}}s Farag{\'{o}}},
  title        = {On the Structure of Classes of Random Graphs},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/2/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/Farago10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/Ganguly10,
  author       = {Sumit Ganguly},
  title        = {Distributing Frequency-Dependent Data Stream Computations},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/9/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/Ganguly10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/GolovkinsP10,
  author       = {Marats Golovkins and
                  Jean{-}Eric Pin},
  title        = {Varieties Generated by Certain Models of Reversible Finite Automata},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/2010/2/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/GolovkinsP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/HenshallSSW10,
  author       = {Kevin Henshall and
                  Peter Schachte and
                  Harald S{\o}ndergaard and
                  Leigh Whiting},
  title        = {An Algorithm for Affine Approximation of Binary Decision Diagrams},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/8/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/HenshallSSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/LimayeMN10,
  author       = {Nutan Limaye and
                  Meena Mahajan and
                  Prajakta Nimbhorkar},
  title        = {Longest Paths in Planar DAGs in Unambiguous Log-Space},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/5/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/LimayeMN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/MatsubaraIS10,
  author       = {Wataru Matsubara and
                  Shunsuke Inenaga and
                  Ayumi Shinohara},
  title        = {An Efficient Algorithm to Test Square-Freeness of Strings Compressed
                  by Balanced Straight Line Programs},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/4/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/MatsubaraIS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/MeyerP10,
  author       = {David A. Meyer and
                  James Pommersheim},
  title        = {Single-Query Learning from Abelian and Non-Abelian Hamming Distance
                  Oracles},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/2010/13/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/MeyerP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/MontanaroO10,
  author       = {Ashley Montanaro and
                  Tobias Osborne},
  title        = {Quantum boolean functions},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/2010/1/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/MontanaroO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/NakazawaT10,
  author       = {Koji Nakazawa and
                  Makoto Tatsuta},
  title        = {Type Checking and Inference for Polymorphic and Existential Types
                  in Multiple-Quantifier and Type-Free Systems},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/7/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/NakazawaT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/PearceHR10,
  author       = {David J. Pearce and
                  Gary Haggard and
                  Gordon F. Royle},
  title        = {Edge-Selection Heuristics for Computing Tutte Polynomials},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/3/contents.html},
  timestamp    = {Wed, 26 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cjtcs/PearceHR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/Tancer10,
  author       = {Martin Tancer},
  title        = {d-collapsibility is NP-complete for d greater or equal to 4},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/2010/3/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/Tancer10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/UttingMT10,
  author       = {Mark Utting and
                  Petra Malik and
                  Ian Toyn},
  title        = {Transformation Rules for {Z}},
  journal      = {Chic. J. Theor. Comput. Sci.},
  volume       = {2010},
  year         = {2010},
  url          = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/6/contents.html},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cjtcs/UttingMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}