BibTeX records: Sergey Krivoi

• > Home > Persons > Sergey Krivoi

@article{DBLP:journals/umcs/KrivoiHDM06,
  author       = {Sergey Krivoi and
                  Miroslaw Hajder and
                  Pawel Dymora and
                  Miroslaw Mazurek},
  title        = {The computer network topologies designs and the coherent graphs algebra},
  journal      = {Ann. {UMCS} Informatica},
  volume       = {5},
  number       = {1},
  pages        = {379--391},
  year         = {2006},
  url          = {https://journals.umcs.pl/ai/article/view/3106},
  timestamp    = {Wed, 03 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/umcs/KrivoiHDM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ershov/ChebotarevK06,
  author       = {Anatoly Chebotarev and
                  Sergey Krivoi},
  editor       = {Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {Improved Resolution-Based Method for Satisfiability Checking Formulas
                  of the Language {L}},
  booktitle    = {Perspectives of Systems Informatics, 6th International Andrei Ershov
                  Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
                  2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4378},
  pages        = {438--442},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-70881-0\_38},
  doi          = {10.1007/978-3-540-70881-0\_38},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/ChebotarevK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/parelec/Krivoi02,
  author       = {Sergey Krivoi},
  title        = {An Algebraic Approach to Managing Feature Interaction in Telecommunication
                  Systems},
  booktitle    = {2002 International Conference on Parallel Computing in Electrical
                  Engineering {(PARELEC} 2002), 22-25 September 2002, Warsaw, Poland},
  pages        = {99},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PCEE.2002.1115212},
  doi          = {10.1109/PCEE.2002.1115212},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/parelec/Krivoi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppam/Krivoi01,
  author       = {Sergey Krivoi},
  editor       = {Roman Wyrzykowski and
                  Jack J. Dongarra and
                  Marcin Paprzycki and
                  Jerzy Wasniewski},
  title        = {Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine
                  Constraints},
  booktitle    = {Parallel Processing and Applied Mathematics, 4th International Conference,
                  {PPAM} 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2328},
  pages        = {264--271},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48086-2\_29},
  doi          = {10.1007/3-540-48086-2\_29},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ppam/Krivoi01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}