Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished. - Milan Ceska 002; Jirí Matyás; Vojtech Mrazek; Lukás Sekanina; Zdenek Vasícek; Tomás Vojnar (ICCAD, 2017)

ADAC: Automated Design of Approximate Circuits. - Milan Ceska 002; Jirí Matyás; Vojtech Mrazek; Lukás Sekanina; Zdenek Vasícek; Tomás Vojnar (CAV (1), 2018)

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. - Milan Ceska Jr.; Milan Ceska 001; Jirí Matyás; Adam Pankuch; Tomás Vojnar (EUROCAST (1), 2019)

Poly (vinylidene fluoride) Electrospun Non-Woven Nanofibers based Piezoelectric Nanogenerator. - Venkata Dinesh Avvari; Robert Olejník; Romana Danová; Jirí Matyás; Petr Slobodian; Martin Adamek; Dusan Kimmer (NEMS, 2020)

Enhanced PVDF Electrospun Nanofiber Capacitive Pressure Sensor for Wearable Electronic. - Romana Danová; Venkata Dinesh Avvari; Robert Olejník; Petr Slobodian; Jirí Matyás; Dusan Kimmer (NEMS, 2020)

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. - Milan Ceska 002; Jirí Matyás; Vojtech Mrazek; Tomás Vojnar (SAT, 2020)

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. - Milan Ceska 002; Jirí Matyás; Vojtech Mrazek; Lukás Sekanina; Zdenek Vasícek; Tomás Vojnar (Appl. Soft Comput., 2020)

Microstrip Resonant Sensor for Differentiation of Components in Vapor Mixtures. - Petr Slobodian; Pavel Riha; Robert Olejník; Jirí Matyás; Rostislav Slobodian (Sensors, 2021)

Designing Approximate Arithmetic Circuits with Combined Error Constraints. - Milan Ceska 001; Jirí Matyás; Vojtech Mrazek; Tomás Vojnar (DSD, 2022)

Designing Approximate Arithmetic Circuits with Combined Error Constraints. - Milan Ceska 002; Jirí Matyás; Vojtech Mrazek; Tomás Vojnar (CoRR, 2022)

A Study on the Applicability of Thermodynamic Sensors in Fermentation Processes in Selected Foods. - Martin Adamek; Jirí Matyás; Anna Adamkova; Jiri Mlcek; Martin Buran; Martina Cernekova; Veronika Sevcikova; Magdalena Zvonkova; Petr Slobodian; Robert Olejník (Sensors, 2022)

SagTree: Towards efficient mutation in evolutionary circuit approximation. - Milan Ceska 002; Jirí Matyás; Vojtech Mrazek; Lukás Sekanina; Zdenek Vasícek; Tomás Vojnar (Swarm Evol. Comput., 2022)

Využití formálních metod v přibližném počítání ; Applications of Formal Methods in Approximate Computing. - Jirí Matyás (2024)

New Insights into the Comprehensive System of Thermodynamic Sensors and Electronic Nose and Its Practical Applications in Dough Fermentation Monitoring. - Veronika Sevcikova; Martin Adamek; Romana Sebestikova; Iva Buresova; Martin Buran; Anna Adamkova; Magdalena Zvonkova; Nela Skowronkova; Jirí Matyás; Jiri Mlcek (Sensors, 2024)

Pressure-Driven Piezoelectric Sensors and Energy Harvesting in Biaxially Oriented Polyethylene Terephthalate Film. - Romana Stepancikova; Robert Olejník; Jirí Matyás; Milan Masar; Berenika Hausnerova; Petr Slobodian (Sensors, 2024)

Compact 3D-Printed Unit for Separation of Simple Gas Mixtures Combined with Chemiresistive Sensors. - Magdalena Zvonkova; Martin Adamek; Nela Skowronkova; Stepan Dlabaja; Jirí Matyás; Miroslav Jasso; Anna Adamkova; Jiri Mlcek; Richardos Nikolaos Salek; Martin Buran (Sensors, 2024)