Search dblp for Publications

• > Home > Search

@article{DBLP:journals/access/DucHBM23,
  author       = {Minh Ly Duc and
                  Lukas Hlavaty and
                  Petr Bilik and
                  Radek Martinek},
  title        = {Design and Implement Low-Cost Industry 4.0 System Using Hybrid Six
                  Sigma Methodology for {CNC} Manufacturing Process},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {127176--127201},
  year         = {2023},
  url          = {https://doi.org/10.1109/ACCESS.2023.3331818},
  doi          = {10.1109/ACCESS.2023.3331818},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/DucHBM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/access/DucNBMHT23,
  author       = {Minh Ly Duc and
                  Jan Nedoma and
                  Petr Bilik and
                  Radek Martinek and
                  Lukas Hlavaty and
                  Nguyen Thi Phuong Thao},
  title        = {Application of Fuzzy {TOPSIS} and Harmonic Mitigation Measurement
                  on Lean Six Sigma: {A} Case Study in Smart Factory},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {81577--81599},
  year         = {2023},
  url          = {https://doi.org/10.1109/ACCESS.2023.3299326},
  doi          = {10.1109/ACCESS.2023.3299326},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/DucNBMHT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sensors/BarosBJDSHM23,
  author       = {Jan Baros and
                  Petr Bilik and
                  Rene Jaros and
                  Lukas Danys and
                  Jan Strossa and
                  Lukas Hlavaty and
                  Radek Martinek},
  title        = {Instrumentation for Verification of Shunt Active Power Filter Algorithms},
  journal      = {Sensors},
  volume       = {23},
  number       = {20},
  pages        = {8494},
  year         = {2023},
  url          = {https://doi.org/10.3390/s23208494},
  doi          = {10.3390/S23208494},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/BarosBJDSHM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ploscb/MontastierVCHTG15,
  author       = {Emilie Montastier and
                  Nathalie Villa{-}Vialaneix and
                  Sylvie Caspar{-}Bauguil and
                  Petr Hlavaty and
                  Eva Tvrzicka and
                  Ignacio Gonzalez and
                  Wim H. M. Saris and
                  Dominique Langin and
                  Marie Kunesova and
                  Nathalie Viguerie},
  title        = {System Model Network for Adipose Tissue Signatures Related to Weight
                  Changes in Response to Calorie Restriction and Subsequent Weight Maintenance},
  journal      = {PLoS Comput. Biol.},
  volume       = {11},
  number       = {1},
  year         = {2015},
  url          = {https://doi.org/10.1371/journal.pcbi.1004047},
  doi          = {10.1371/JOURNAL.PCBI.1004047},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ploscb/MontastierVCHTG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/euromicro/HlavatyPS01,
  author       = {Tomas Hlavaty and
                  Libor Preucil and
                  Petr Stepan},
  title        = {Case Study: Formal Specification and Verification of Railway Interlocking
                  System},
  booktitle    = {27th {EUROMICRO} Conference 2001: {A} Net Odyssey, 4-6 September 2001,
                  Warsaw, Poland},
  pages        = {258--263},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/EURMIC.2001.952462},
  doi          = {10.1109/EURMIC.2001.952462},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/HlavatyPS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}