Petr Janku - RankMe

21 papers A* 1B 1Journal 9Unranked 10

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