BibTeX records: Matthias Galota

• > Home > Matthias Galota

@article{DBLP:journals/corr/abs-1009-1208,
  author    = {Elmar B{\"{o}}hler and
               Nadia Creignou and
               Matthias Galota and
               Steffen Reith and
               Henning Schnoor and
               Heribert Vollmer},
  title     = {Boolean Circuits as a Data Structure for Boolean Functions: Efficient
               Algorithms and Hard Problems},
  journal   = {Log. Methods Comput. Sci.},
  volume    = {8},
  number    = {3},
  year      = {2010},
  url       = {https://doi.org/10.2168/LMCS-8(3:31)2012},
  doi       = {10.2168/LMCS-8(3:31)2012},
  timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1009-1208.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GalotaV05,
  author    = {Matthias Galota and
               Heribert Vollmer},
  title     = {Functions computable in polynomial space},
  journal   = {Inf. Comput.},
  volume    = {198},
  number    = {1},
  pages     = {56--70},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.ic.2005.02.002},
  doi       = {10.1016/j.ic.2005.02.002},
  timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/iandc/GalotaV05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlq/GalotaKV03,
  author    = {Matthias Galota and
               Sven Kosub and
               Heribert Vollmer},
  title     = {Generic separations and leaf languages},
  journal   = {Math. Log. Q.},
  volume    = {49},
  number    = {4},
  pages     = {353--362},
  year      = {2003},
  url       = {https://doi.org/10.1002/malq.200310037},
  doi       = {10.1002/malq.200310037},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mlq/GalotaKV03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eccc/ECCC-TR03-018,
  author    = {Matthias Galota and
               Heribert Vollmer},
  title     = {Functions Computable in Polynomial Space},
  journal   = {Electron. Colloquium Comput. Complex.},
  volume    = {10},
  number    = {018},
  year      = {2003},
  url       = {http://eccc.hpi-web.de/eccc-reports/2003/TR03-018/index.html},
  timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/eccc/ECCC-TR03-018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GalotaV01,
  author    = {Matthias Galota and
               Heribert Vollmer},
  editor    = {Laurent Fribourg},
  title     = {A Generalization of the B{\"{u}}chi-Elgot-Trakhtenbrot Theorem},
  booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
               Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2142},
  pages     = {355--368},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44802-0\_25},
  doi       = {10.1007/3-540-44802-0\_25},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/csl/GalotaV01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dialm/GalotaGRV01,
  author    = {Matthias Galota and
               Christian Gla{\ss}er and
               Steffen Reith and
               Heribert Vollmer},
  title     = {A polynomial-time approximation scheme for base station positioning
               in {UMTS} networks},
  booktitle = {Proceedings of the 5th International Workshop on Discrete Algorithms
               and Methods for Mobile Computing and Communications {(DIAL-M} 2001),
               Rome, Italy, July 21, 2001},
  pages     = {52--59},
  publisher = {{ACM}},
  year      = {2001},
  url       = {https://doi.org/10.1145/381448.381455},
  doi       = {10.1145/381448.381455},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/dialm/GalotaGRV01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}