Petr Janku

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 10

Top Topics

Finite Automata

Adaptive Filter

Automatic Evaluation

Technical Report

Top Venues

Proc. ACM Program. Lang.

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku
Chain-Free String Constraints (Technical Report). CoRR (2023)
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). CoRR (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu
Efficient handling of string-number conversion. PLDI (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku
Chain-Free String Constraints. ATVA (2019)
Petr Janku, Lenka Turonová
Solving String Constraints with Approximate Parikh Image. EUROCAST (1) (2019)
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. 2 (POPL) (2018)
Radek Martinek, Jan Nedoma, Marcel Fajkus, Radana Kahankova, Jaromir Konecny, Petr Janku, Stanislav Kepak, Petr Bilik, Homer Nazeran
A Phonocardiographic-Based Fiber-Optic Sensor and Adaptive Filtering System for Noninvasive Continuous Fetal Heart Rate Monitoring. Sensors 17 (4) (2017)
Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar
Lazy Automata Techniques for WS1S. CoRR (2017)
Radek Martinek, Radana Kahankova, Homer Nazeran, Jaromir Konecny, Janusz Jezewski, Petr Janku, Petr Bilik, Jan Zidek, Jan Nedoma, Marcel Fajkus
Non-Invasive Fetal Monitoring: A Maternal Surface ECG Electrode Placement-Based Novel Approach for Optimization of Adaptive Filter Control Parameters Using the LMS and RLS Algorithms. Sensors 17 (5) (2017)
Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar
Lazy Automata Techniques for WS1S. TACAS (1) (2017)
Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Jirí Spilka, Petr Janku, Lukás Hruban
Information retrieval from hospital information system: Increasing effectivity using swarm intelligence. J. Appl. Log. 13 (2) (2015)
Jirí Spilka, Václav Chudácek, Petr Janku, Lukás Hruban, Miroslav Bursa, Michal Huptych, Lukás Zach, Lenka Lhotská
Analysis of obstetricians' decision making on CTG recordings. J. Biomed. Informatics 51 (2014)
Jirí Spilka, George K. Georgoulas, Petros S. Karvelis, Vangelis P. Oikonomou, Václav Chudácek, Chrysostomos D. Stylios, Lenka Lhotská, Petr Janku
Automatic Evaluation of FHR Recordings from CTU-UHB CTG Database. ITBAM (2013)
Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Jirí Spilka, Petr Janku, Martin Huser
Practical Problems and Solutions in Hospital Information System Data Mining. ITBAM (2012)
Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Jirí Spilka, Petr Janku, Lukás Hruban
Visualization in Information Retrieval from Hospital Information System. SOCO (2012)
Jirí Spilka, Václav Chudácek, Michal Koucký, Lenka Lhotská, Michal Huptych, Petr Janku, George K. Georgoulas, Chrysostomos D. Stylios
Using nonlinear features for fetal heart rate classification. Biomed. Signal Process. Control. 7 (4) (2012)
Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Michal Huptych, Jirí Spilka, Petr Janku, Martin Huser
Ant inspired techniques in textual information retrieval from a hospital information system. NaBIC (2011)
Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Michal Huptych, Jirí Spilka, Petr Janku, Martin Huser
Obstetric Medical Record Processing and Information Retrieval. eHealth (2011)
Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Michal Huptych, Jirí Spilka, Petr Janku, Martin Huser
Novel Nature Inspired Techniques in Medical Information Retrieval. ITBAM (2011)
Václav Chudácek, Jirí Spilka, Lenka Lhotská, Petr Janku, Michal Koucký, Michal Huptych, Miroslav Bursa
Assessment of features for automatic CTG analysis based on expert annotation. EMBC (2011)
Václav Chudácek, Jirí Spilka, Michal Huptych, George K. Georgoulas, Petr Janku, Michal Koucký, Chrysostomos D. Stylios, Lenka Lhotská
Automatic Classification of Intrapartal Fetal Heart-Rate Recordings - Can It Compete with Experts? ITBAM (2010)