BibTeX records: Marcus Größer

download as .bib file

@article{DBLP:journals/corr/BertrandBBMBGJ14,
  author       = {Nathalie Bertrand and
                  Patricia Bouyer and
                  Thomas Brihaye and
                  Quentin Menet and
                  Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er and
                  Marcin Jurdzinski},
  title        = {Stochastic Timed Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:6)2014},
  doi          = {10.2168/LMCS-10(4:6)2014},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BertrandBBMBGJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BaierBGK12,
  author       = {Christel Baier and
                  Tom{\'{a}}s Br{\'{a}}zdil and
                  Marcus Gr{\"{o}}{\ss}er and
                  Anton{\'{\i}}n Kucera},
  title        = {Stochastic game logic},
  journal      = {Acta Informatica},
  volume       = {49},
  number       = {4},
  pages        = {203--224},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00236-012-0156-0},
  doi          = {10.1007/S00236-012-0156-0},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BaierBGK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/BaierGB12,
  author       = {Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er and
                  Nathalie Bertrand},
  title        = {Probabilistic {\(\omega\)}-automata},
  journal      = {J. {ACM}},
  volume       = {59},
  number       = {1},
  pages        = {1:1--1:52},
  year         = {2012},
  url          = {https://doi.org/10.1145/2108242.2108243},
  doi          = {10.1145/2108242.2108243},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BaierGB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BaierGC09,
  author       = {Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er and
                  Frank Ciesinski},
  editor       = {Zhiming Liu and
                  Anders P. Ravn},
  title        = {Quantitative Analysis under Fairness Constraints},
  booktitle    = {Automated Technology for Verification and Analysis, 7th International
                  Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5799},
  pages        = {135--150},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04761-9\_12},
  doi          = {10.1007/978-3-642-04761-9\_12},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BaierGC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BaierBG09,
  author       = {Christel Baier and
                  Nathalie Bertrand and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {The Effect of Tossing Coins in Omega-Automata},
  booktitle    = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
                  {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5710},
  pages        = {15--29},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04081-8\_2},
  doi          = {10.1007/978-3-642-04081-8\_2},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaierBG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/TracolBG09,
  author       = {Mathieu Tracol and
                  Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Ravi Kannan and
                  K. Narayan Kumar},
  title        = {Recurrence and Transience for Probabilistic Automata},
  booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and
                  Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
                  {IIT} Kanpur, India},
  series       = {LIPIcs},
  volume       = {4},
  pages        = {395--406},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2009},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2335},
  doi          = {10.4230/LIPICS.FSTTCS.2009.2335},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/TracolBG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/BaierBG09,
  author       = {Christel Baier and
                  Nathalie Bertrand and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Mogens Nielsen and
                  Anton{\'{\i}}n Kucera and
                  Peter Bro Miltersen and
                  Catuscia Palamidessi and
                  Petr Tuma and
                  Frank D. Valencia},
  title        = {Probabilistic Acceptors for Languages over Infinite Words},
  booktitle    = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
                  on Current Trends in Theory and Practice of Computer Science, Spindleruv
                  Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5404},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-95891-8\_3},
  doi          = {10.1007/978-3-540-95891-8\_3},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/BaierBG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-0907-4760,
  author       = {Christel Baier and
                  Nathalie Bertrand and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {J{\"{u}}rgen Dassow and
                  Giovanni Pighizzini and
                  Bianca Truthe},
  title        = {Probabilistic Automata over Infinite Words: Expressiveness, Efficiency,
                  and Decidability},
  booktitle    = {Proceedings Eleventh International Workshop on Descriptional Complexity
                  of Formal Systems, {DCFS} 2009, Magdeburg, Germany, July 6-9, 2009},
  series       = {{EPTCS}},
  volume       = {3},
  pages        = {3--16},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.3.1},
  doi          = {10.4204/EPTCS.3.1},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0907-4760.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Grosser2008,
  author       = {Marcus Gr{\"{o}}{\ss}er},
  title        = {Reduction methods for probabilistic model checking},
  school       = {Dresden University of Technology, Germany},
  year         = {2008},
  url          = {https://d-nb.info/991169859},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Grosser2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/BaierBG08,
  author       = {Christel Baier and
                  Nathalie Bertrand and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Roberto M. Amadio},
  title        = {On Decision Problems for Probabilistic B{\"{u}}chi Automata},
  booktitle    = {Foundations of Software Science and Computational Structures, 11th
                  International Conference, {FOSSACS} 2008, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2008,
                  Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4962},
  pages        = {287--301},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78499-9\_21},
  doi          = {10.1007/978-3-540-78499-9\_21},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BaierBG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BaierBBBG08,
  author       = {Christel Baier and
                  Nathalie Bertrand and
                  Patricia Bouyer and
                  Thomas Brihaye and
                  Marcus Gr{\"{o}}{\ss}er},
  title        = {Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata},
  booktitle    = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in
                  Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}},
  pages        = {217--226},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/LICS.2008.25},
  doi          = {10.1109/LICS.2008.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BaierBBBG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/CiesinskiBGK08,
  author       = {Frank Ciesinski and
                  Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er and
                  Joachim Klein},
  title        = {Reduction Techniques for Model Checking Markov Decision Processes},
  booktitle    = {Fifth International Conference on the Quantitative Evaluaiton of Systems
                  {(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
  pages        = {45--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/QEST.2008.45},
  doi          = {10.1109/QEST.2008.45},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/CiesinskiBGK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/CiesinskiBGP08,
  author       = {Frank Ciesinski and
                  Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er and
                  David Parker},
  editor       = {Klaus Havelund and
                  Rupak Majumdar and
                  Jens Palsberg},
  title        = {Generating Compact MTBDD-Representations from ProbmelaSpecifications},
  booktitle    = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
                  CA, USA, August 10-12, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5156},
  pages        = {60--76},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85114-1\_7},
  doi          = {10.1007/978-3-540-85114-1\_7},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/CiesinskiBGP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/BaierBBBG07,
  author       = {Christel Baier and
                  Nathalie Bertrand and
                  Patricia Bouyer and
                  Thomas Brihaye and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Vikraman Arvind and
                  Sanjiva Prasad},
  title        = {Probabilistic and Topological Semantics for Timed Automata},
  booktitle    = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
                  Computer Science, 27th International Conference, New Delhi, India,
                  December 12-14, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4855},
  pages        = {179--191},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77050-3\_15},
  doi          = {10.1007/978-3-540-77050-3\_15},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BaierBBBG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BaierBGK07,
  author       = {Christel Baier and
                  Tom{\'{a}}s Br{\'{a}}zdil and
                  Marcus Gr{\"{o}}{\ss}er and
                  Anton{\'{\i}}n Kucera},
  title        = {Stochastic Game Logic},
  booktitle    = {Fourth International Conference on the Quantitative Evaluaiton of
                  Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
                  {UK}},
  pages        = {227--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/QEST.2007.38},
  doi          = {10.1109/QEST.2007.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BaierBGK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/GrosserNBCKP06,
  author       = {Marcus Gr{\"{o}}{\ss}er and
                  Gethin Norman and
                  Christel Baier and
                  Frank Ciesinski and
                  Marta Z. Kwiatkowska and
                  David Parker},
  editor       = {S. Arun{-}Kumar and
                  Naveen Garg},
  title        = {On Reduction Criteria for Probabilistic Reward Models},
  booktitle    = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
                  Computer Science, 26th International Conference, Kolkata, India, December
                  13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4337},
  pages        = {309--320},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11944836\_29},
  doi          = {10.1007/11944836\_29},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/GrosserNBCKP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigmetrics/BaierCG05,
  author       = {Christel Baier and
                  Frank Ciesinski and
                  Marcus Gr{\"{o}}{\ss}er},
  title        = {ProbMela and verification of Markov decision processes},
  journal      = {{SIGMETRICS} Perform. Evaluation Rev.},
  volume       = {32},
  number       = {4},
  pages        = {22--27},
  year         = {2005},
  url          = {https://doi.org/10.1145/1059816.1059821},
  doi          = {10.1145/1059816.1059821},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigmetrics/BaierCG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/GroesserB05,
  author       = {Marcus Gr{\"{o}}{\ss}er and
                  Christel Baier},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Partial Order Reduction for Markov Decision Processes: {A} Survey},
  booktitle    = {Formal Methods for Components and Objects, 4th International Symposium,
                  {FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4111},
  pages        = {408--427},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11804192\_19},
  doi          = {10.1007/11804192\_19},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/GroesserB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/BaierCG05,
  author       = {Christel Baier and
                  Frank Ciesinski and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Quantitative analysis of distributed randomized protocols},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {2--7},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081182},
  doi          = {10.1145/1081180.1081182},
  timestamp    = {Tue, 25 Jan 2022 17:00:39 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/BaierCG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BaierG05,
  author       = {Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er},
  title        = {Recognizing omega-regular Languages with Probabilistic Automata},
  booktitle    = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
                  26-29 June 2005, Chicago, IL, USA, Proceedings},
  pages        = {137--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/LICS.2005.41},
  doi          = {10.1109/LICS.2005.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BaierG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaierDG06,
  author       = {Christel Baier and
                  Pedro R. D'Argenio and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Antonio Cerone and
                  Herbert Wiklicky},
  title        = {Partial Order Reduction for Probabilistic Branching Time},
  booktitle    = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {2},
  pages        = {97--116},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.034},
  doi          = {10.1016/J.ENTCS.2005.10.034},
  timestamp    = {Thu, 01 Dec 2022 16:37:27 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaierDG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifipTCS/BolligC04,
  author       = {Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er and
                  Martin Leucker and
                  Benedikt Bollig and
                  Frank Ciesinski},
  editor       = {Jean{-}Jacques L{\'{e}}vy and
                  Ernst W. Mayr and
                  John C. Mitchell},
  title        = {Controller Synthesis for Probabilistic Systems},
  booktitle    = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
                  Computer Congress, {TC1} 3rd International Conference on Theoretical
                  Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {155},
  pages        = {493--506},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8141-3\_38},
  doi          = {10.1007/1-4020-8141-3\_38},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/BolligC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BaierCG04,
  author       = {Christel Baier and
                  Frank Ciesinski and
                  Marcus Gr{\"{o}}{\ss}er},
  title        = {{PROBMELA:} a modeling language for communicating probabilistic processes},
  booktitle    = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
                  California, USA, Proceedings},
  pages        = {57--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/MEMCOD.2004.1459815},
  doi          = {10.1109/MEMCOD.2004.1459815},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BaierCG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qest/BaierGC04,
  author       = {Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er and
                  Frank Ciesinski},
  title        = {Partial Order Reduction for Probabilistic Systems},
  booktitle    = {1st International Conference on Quantitative Evaluation of Systems
                  {(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
  pages        = {230--239},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/QEST.2004.1348037},
  doi          = {10.1109/QEST.2004.1348037},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/BaierGC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/voss/CiesinskiG04,
  author       = {Frank Ciesinski and
                  Marcus Gr{\"{o}}{\ss}er},
  editor       = {Christel Baier and
                  Boudewijn R. Haverkort and
                  Holger Hermanns and
                  Joost{-}Pieter Katoen and
                  Markus Siegle},
  title        = {On Probabilistic Computation Tree Logic},
  booktitle    = {Validation of Stochastic Systems - {A} Guide to Current Research},
  series       = {Lecture Notes in Computer Science},
  volume       = {2925},
  pages        = {147--188},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24611-4\_5},
  doi          = {10.1007/978-3-540-24611-4\_5},
  timestamp    = {Sat, 30 Sep 2023 09:58:24 +0200},
  biburl       = {https://dblp.org/rec/conf/voss/CiesinskiG04.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.