default search action
Search dblp for Publications
export results for "toc:db/journals/cjtcs/cjtcs2010.bht:"
@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} }
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.