BibTeX records: David Fabian

• > Home > Persons > David Fabian

@article{DBLP:journals/combinatorics/AnastosFMS23,
  author       = {Michael Anastos and
                  David Fabian and
                  Alp M{\"{u}}yesser and
                  Tibor Szab{\'{o}}},
  title        = {Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets},
  journal      = {Electron. J. Comb.},
  volume       = {30},
  number       = {3},
  year         = {2023},
  url          = {https://doi.org/10.37236/11714},
  doi          = {10.37236/11714},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/AnastosFMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcta/FabianRS21,
  author       = {David Fabian and
                  Juanjo Ru{\'{e}} and
                  Christoph Spiegel},
  title        = {On strong infinite Sidon and \emph{B}\({}_{\mbox{\emph{h}}}\) sets
                  and random sets of integers},
  journal      = {J. Comb. Theory, Ser. {A}},
  volume       = {182},
  pages        = {105460},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jcta.2021.105460},
  doi          = {10.1016/J.JCTA.2021.105460},
  timestamp    = {Fri, 12 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcta/FabianRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/confws/FabianM13,
  author       = {David Fabian and
                  Radek Mar{\'{\i}}k},
  editor       = {Michel Aldanondo and
                  Andreas A. Falkner},
  title        = {Configuration Dynamics Verification Using {UPPAAL}},
  booktitle    = {Proceedings of the 15th International Configuration Workshop, Vienna,
                  Austria, August 29-30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1128},
  pages        = {35--42},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1128/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/confws/FabianM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/confws/FabianMO12,
  author       = {David Fabian and
                  Radek Mar{\'{\i}}k and
                  Tom{\'{a}}s Oberhuber},
  editor       = {Wolfgang Mayer and
                  Patrick Albert},
  title        = {Towards a Formalism of Configuration Properties Propagation},
  booktitle    = {Proceedings of the Workshop on Configuration at {ECAI} 2012, Montpellier,
                  France, August 27, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {958},
  pages        = {15--20},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-958/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/confws/FabianMO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}