Petr Janku

According to our database, Petr Janku authored at least 20 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Chain-Free String Constraints (Technical Report).

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku

CoRR, 2023

2020

String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report).

Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar

CoRR, 2020

Efficient handling of string-number conversion.

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

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Solving String Constraints with Approximate Parikh Image.

Petr Janku, Lenka Turonová

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

Chain-Free String Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

String constraints with concatenation and transducers solved efficiently.

Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar

Proc. ACM Program. Lang., 2018

2017

A Phonocardiographic-Based Fiber-Optic Sensor and Adaptive Filtering System for Noninvasive Continuous Fetal Heart Rate Monitoring.

Radek Martinek, Jan Nedoma, Marcel Fajkus, Radana Kahankova, Jaromir Konecny, Petr Janku, Stanislav Kepak, Petr Bilik, Homer Nazeran

Sensors, 2017

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.

Radek Martinek, Radana Kahankova, Homer Nazeran, Jaromir Konecny, Janusz Jezewski, Petr Janku, Petr Bilik, Jan Zidek, Jan Nedoma, Marcel Fajkus

Sensors, 2017

Lazy Automata Techniques for WS1S.

Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015

Information retrieval from hospital information system: Increasing effectivity using swarm intelligence.

Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Jirí Spilka, Petr Janku, Lukás Hruban

J. Appl. Log., 2015

2014

Analysis of obstetricians' decision making on CTG recordings.

Jirí Spilka, Václav Chudácek, Petr Janku, Lukás Hruban, Miroslav Bursa, Michal Huptych, Lukás Zach, Lenka Lhotská

J. Biomed. Informatics, 2014

2013

Automatic Evaluation of FHR Recordings from CTU-UHB CTG Database.

Jirí Spilka, George K. Georgoulas, Petros S. Karvelis, Vangelis P. Oikonomou, Václav Chudácek, Chrysostomos D. Stylios, Lenka Lhotská, Petr Janku

Proceedings of the Information Technology in Bio- and Medical Informatics, 2013

2012

Using nonlinear features for fetal heart rate classification.

Jirí Spilka, Václav Chudácek, Michal Koucký, Lenka Lhotská, Michal Huptych, Petr Janku, George K. Georgoulas, Chrysostomos D. Stylios

Biomed. Signal Process. Control., 2012

Visualization in Information Retrieval from Hospital Information System.

Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Jirí Spilka, Petr Janku, Lukás Hruban

Proceedings of the Soft Computing Models in Industrial and Environmental Applications, 2012

Practical Problems and Solutions in Hospital Information System Data Mining.

Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Jirí Spilka, Petr Janku, Martin Huser

Proceedings of the Information Technology in Bio- and Medical Informatics, 2012

2011

Ant inspired techniques in textual information retrieval from a hospital information system.

Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Michal Huptych, Jirí Spilka, Petr Janku, Martin Huser

Proceedings of the Third World Congress on Nature & Biologically Inspired Computing, 2011

Novel Nature Inspired Techniques in Medical Information Retrieval.

Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Michal Huptych, Jirí Spilka, Petr Janku, Martin Huser

Proceedings of the Information Technology in Bio- and Medical Informatics, 2011

Assessment of features for automatic CTG analysis based on expert annotation.

Václav Chudácek, Jirí Spilka, Lenka Lhotská, Petr Janku, Michal Koucký, Michal Huptych, Miroslav Bursa

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Obstetric Medical Record Processing and Information Retrieval.

Miroslav Bursa, Lenka Lhotská, Václav Chudácek, Michal Huptych, Jirí Spilka, Petr Janku, Martin Huser

Proceedings of the Electronic Healthcare - 4th International Conference, 2011

2010

Automatic Classification of Intrapartal Fetal Heart-Rate Recordings - Can It Compete with Experts?

Václav Chudácek, Jirí Spilka, Michal Huptych, George K. Georgoulas, Petr Janku, Michal Koucký, Chrysostomos D. Stylios, Lenka Lhotská

Proceedings of the Information Technology in Bio- and Medical Informatics, 2010