Search dblp for Publications

export results for "toc:db/conf/fct/fct2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fct/AusielloBGLP11,
  author       = {Giorgio Ausiello and
                  Nicolas Boria and
                  Aristotelis Giannakos and
                  Giorgio Lucarelli and
                  Vangelis Th. Paschos},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Online Maximum k-Coverage},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {181--192},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_16},
  doi          = {10.1007/978-3-642-22953-4\_16},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/AusielloBGLP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/BaetenLT11,
  author       = {Jos C. M. Baeten and
                  Bas Luttik and
                  Paul van Tilburg},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Reactive Turing Machines},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {348--359},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_30},
  doi          = {10.1007/978-3-642-22953-4\_30},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BaetenLT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/BahiCGR11,
  author       = {Jacques M. Bahi and
                  Jean{-}Fran{\c{c}}ois Couchot and
                  Christophe Guyeux and
                  Adrien Richard},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {On the Link between Strongly Connected Iteration Graphs and Chaotic
                  Boolean Discrete-Time Dynamical Systems},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {126--137},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_11},
  doi          = {10.1007/978-3-642-22953-4\_11},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BahiCGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/BergerM11,
  author       = {Annabell Berger and
                  Matthias M{\"{u}}ller{-}Hannemann},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Dag Realizations of Directed Degree Sequences},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {264--275},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_23},
  doi          = {10.1007/978-3-642-22953-4\_23},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/BergerM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/BessyP11,
  author       = {St{\'{e}}phane Bessy and
                  Anthony Perez},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Polynomial Kernels for Proper Interval Completion and Related Problems},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {229--239},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_20},
  doi          = {10.1007/978-3-642-22953-4\_20},
  timestamp    = {Mon, 24 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BessyP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/BredereckNNP11,
  author       = {Robert Bredereck and
                  Andr{\'{e}} Nichterlein and
                  Rolf Niedermeier and
                  Geevarghese Philip},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {The Effect of Homogeneity on the Complexity of k-Anonymity},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {53--64},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_5},
  doi          = {10.1007/978-3-642-22953-4\_5},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BredereckNNP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/CharltonR11,
  author       = {Nathaniel Charlton and
                  Bernhard Reus},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Specification Patterns and Proofs for Recursion through the Store},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {310--321},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_27},
  doi          = {10.1007/978-3-642-22953-4\_27},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/CharltonR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/ChatterjeeDS11,
  author       = {Krishnendu Chatterjee and
                  Laurent Doyen and
                  Rohit Singh},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {On Memoryless Quantitative Objectives},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {148--159},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_13},
  doi          = {10.1007/978-3-642-22953-4\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/ChatterjeeDS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/CicaleseMV11,
  author       = {Ferdinando Cicalese and
                  Martin Milanic and
                  Ugo Vaccaro},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Hardness, Approximability, and Exact Algorithms for Vector Domination
                  and Total Vector Domination in Graphs},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {288--297},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_25},
  doi          = {10.1007/978-3-642-22953-4\_25},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/CicaleseMV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/CorziliusA11,
  author       = {Florian Corzilius and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Virtual Substitution for SMT-Solving},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {360--371},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_31},
  doi          = {10.1007/978-3-642-22953-4\_31},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/CorziliusA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/EbbesenFW11,
  author       = {Martin Ebbesen and
                  Paul Fischer and
                  Carsten Witt},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Edge-Matching Problems with Rotations},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {114--125},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_10},
  doi          = {10.1007/978-3-642-22953-4\_10},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/EbbesenFW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/FairweatherFG11,
  author       = {Elliot Fairweather and
                  Maribel Fern{\'{a}}ndez and
                  Murdoch James Gabbay},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Principal Types for Nominal Theories},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {160--172},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_14},
  doi          = {10.1007/978-3-642-22953-4\_14},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/FairweatherFG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Fenner11,
  author       = {Stephen A. Fenner},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Functions That Preserve p-Randomness},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {336--347},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_29},
  doi          = {10.1007/978-3-642-22953-4\_29},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Fenner11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/GivorsL11,
  author       = {Fabien Givors and
                  Gr{\'{e}}gory Lafitte},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Sub-computabilities},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {322--335},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_28},
  doi          = {10.1007/978-3-642-22953-4\_28},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/GivorsL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/GolovachPS11,
  author       = {Petr A. Golovach and
                  Dani{\"{e}}l Paulusma and
                  Jian Song},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Coloring Graphs without Short Cycles and Long Induced Paths},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {193--204},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_17},
  doi          = {10.1007/978-3-642-22953-4\_17},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/GolovachPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/GoncharovS11,
  author       = {Sergey Goncharov and
                  Lutz Schr{\"{o}}der},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {A Coinductive Calculus for Asynchronous Side-Effecting Processes},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {276--287},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_24},
  doi          = {10.1007/978-3-642-22953-4\_24},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/GoncharovS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Gurevich11,
  author       = {Yuri Gurevich},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Impugning Randomness, Convincingly},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {38},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_2},
  doi          = {10.1007/978-3-642-22953-4\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Gurevich11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/GutinJY11,
  author       = {Gregory Z. Gutin and
                  Mark Jones and
                  Anders Yeo},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {138--147},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_12},
  doi          = {10.1007/978-3-642-22953-4\_12},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/GutinJY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/HeggernesHJKV11,
  author       = {Pinar Heggernes and
                  Pim van 't Hof and
                  Bart M. P. Jansen and
                  Stefan Kratsch and
                  Yngve Villanger},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Parameterized Complexity of Vertex Deletion into Perfect Graph Classes},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {240--251},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_21},
  doi          = {10.1007/978-3-642-22953-4\_21},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/HeggernesHJKV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Hunter11,
  author       = {Paul Hunter},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {LIFO-Search on Digraphs: {A} Searching Game for Cycle-Rank},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {217--228},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_19},
  doi          = {10.1007/978-3-642-22953-4\_19},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Hunter11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/JansenK11,
  author       = {Bart M. P. Jansen and
                  Stefan Kratsch},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Data Reduction for Graph Coloring Problems},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {90--101},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_8},
  doi          = {10.1007/978-3-642-22953-4\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/JansenK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/KanteLMN11,
  author       = {Mamadou Moustapha Kant{\'{e}} and
                  Vincent Limouzy and
                  Arnaud Mary and
                  Lhouari Nourine},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Enumeration of Minimal Dominating Sets and Variants},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {298--309},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_26},
  doi          = {10.1007/978-3-642-22953-4\_26},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/KanteLMN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/LeeLT11,
  author       = {Chia{-}Jung Lee and
                  Chi{-}Jen Lu and
                  Shi{-}Chun Tsai},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Computational Randomness from Generalized Hardcore Sets},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {78--89},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_7},
  doi          = {10.1007/978-3-642-22953-4\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/LeeLT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Lokshtanov11,
  author       = {Daniel Lokshtanov},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Kernelization: An Overview},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {39--40},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_3},
  doi          = {10.1007/978-3-642-22953-4\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Lokshtanov11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Malod11,
  author       = {Guillaume Malod},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Succinct Algebraic Branching Programs Characterizing Non-uniform Complexity
                  Classes},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {205--216},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_18},
  doi          = {10.1007/978-3-642-22953-4\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Malod11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Meer11,
  author       = {Klaus Meer},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Almost Transparent Short Proofs for NP{\(\mathbb{R}\)}},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {41--52},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_4},
  doi          = {10.1007/978-3-642-22953-4\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Meer11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/MeseguerR11,
  author       = {Jos{\'{e}} Meseguer and
                  Grigore Rosu},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {The Rewriting Logic Semantics Project: {A} Progress Report},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {1--37},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_1},
  doi          = {10.1007/978-3-642-22953-4\_1},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/MeseguerR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/PredaG11,
  author       = {Mila Dalla Preda and
                  Cinzia Di Giusto},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Hunting Distributed Malware with the {\(\kappa\)}-Calculus},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {102--113},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_9},
  doi          = {10.1007/978-3-642-22953-4\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/PredaG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Staiger11,
  author       = {Ludwig Staiger},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Constructive Dimension and Hausdorff Dimension: The Case of Exact
                  Dimension},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {252--263},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_22},
  doi          = {10.1007/978-3-642-22953-4\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Staiger11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Trahtman11,
  author       = {A. N. Trahtman},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Modifying the Upper Bound on the Length of Minimal Synchronizing Word},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {173--180},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_15},
  doi          = {10.1007/978-3-642-22953-4\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Trahtman11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Zimand11,
  author       = {Marius Zimand},
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {On the Optimal Compression of Sets in {PSPACE}},
  booktitle    = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  pages        = {65--77},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4\_6},
  doi          = {10.1007/978-3-642-22953-4\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Zimand11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fct/2011,
  editor       = {Olaf Owe and
                  Martin Steffen and
                  Jan Arne Telle},
  title        = {Fundamentals of Computation Theory - 18th International Symposium,
                  {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6914},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22953-4},
  doi          = {10.1007/978-3-642-22953-4},
  isbn         = {978-3-642-22952-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/2011.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.