default search action
Petr Janku
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [i3]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku:
Chain-Free String Constraints (Technical Report). CoRR abs/2307.03970 (2023) - 2020
- [c12]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: 943-957 - [i2]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 abs/2010.15975 (2020)
2010 – 2019
- 2019
- [c11]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík
Chain-Free String Constraints. ATVA 2019: 277-293 - [c10]Petr Janku, Lenka Turonová:
Solving String Constraints with Approximate Parikh Image. EUROCAST (1) 2019: 491-498 - 2018
- [j6]Lukás Holík, Petr Janku, Anthony W. Lin
String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. 2(POPL): 4:1-4:32 (2018) - 2017
- [j5]Radek Martinek
A Phonocardiographic-Based Fiber-Optic Sensor and Adaptive Filtering System for Noninvasive Continuous Fetal Heart Rate Monitoring. Sensors 17(4): 890 (2017) - [j4]Radek Martinek
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): 1154 (2017) - [c9]Tomás Fiedor, Lukás Holík
Lazy Automata Techniques for WS1S. TACAS (1) 2017: 407-425 - [i1]Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar:
Lazy Automata Techniques for WS1S. CoRR abs/1701.06282 (2017) - 2015
- [j3]Miroslav Bursa, Lenka Lhotská
Information retrieval from hospital information system: Increasing effectivity using swarm intelligence. J. Appl. Log. 13(2): 126-137 (2015) - 2014
- [j2]Jirí Spilka, Václav Chudácek, Petr Janku, Lukás Hruban, Miroslav Bursa, Michal Huptych
Analysis of obstetricians' decision making on CTG recordings. J. Biomed. Informatics 51: 72-79 (2014) - 2013
- [c8]Jirí Spilka, George K. Georgoulas, Petros S. Karvelis
Automatic Evaluation of FHR Recordings from CTU-UHB CTG Database. ITBAM 2013: 47-61 - 2012
- [j1]Jirí Spilka, Václav Chudácek
Using nonlinear features for fetal heart rate classification. Biomed. Signal Process. Control. 7(4): 350-357 (2012) - [c7]Miroslav Bursa, Lenka Lhotská
Practical Problems and Solutions in Hospital Information System Data Mining. ITBAM 2012: 31-39 - [c6]Miroslav Bursa, Lenka Lhotská
Visualization in Information Retrieval from Hospital Information System. SOCO 2012: 459-467 - 2011
- [c5]Miroslav Bursa, Lenka Lhotská
Obstetric Medical Record Processing and Information Retrieval. eHealth 2011: 26-33 - [c4]Václav Chudácek, Jirí Spilka, Lenka Lhotská
Assessment of features for automatic CTG analysis based on expert annotation. EMBC 2011: 6051-6054 - [c3]Miroslav Bursa, Lenka Lhotská
Novel Nature Inspired Techniques in Medical Information Retrieval. ITBAM 2011: 31-38 - [c2]Miroslav Bursa, Lenka Lhotská
Ant inspired techniques in textual information retrieval from a hospital information system. NaBIC 2011: 421-426 - 2010
- [c1]Václav Chudácek, Jirí Spilka, Michal Huptych
Automatic Classification of Intrapartal Fetal Heart-Rate Recordings - Can It Compete with Experts? ITBAM 2010: 57-66
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: