E-LIB Suche - Ergebnisse für: Turoňová, Lenka

1

Fast Matching of Regular Patterns with Synchronizing Counti..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Holík, Lukáš ; Síč, Juraj ; Turoňová, Lenka. - p. 392-412 , 2023

Link: https://doi.org/10.1007/..

2

Automata with Bounded Repetition in RE2:

, In: Computer Aided Systems Theory – EUROCAST 2022; Lecture Notes in Computer Science,

Horký, Michal ; Síč, Juraj ; Turoňová, Lenka - p. 232-239 , 2022

Link: https://doi.org/10.1007/..

3

Solving String Constraints with Approximate Parikh Image:

, In: Computer Aided Systems Theory – EUROCAST 2019; Lecture Notes in Computer Science,

Janků, Petr ; Turoňová, Lenka - p. 491-498 , 2020

Link: https://doi.org/10.1007/..

4

Regex matching with counting-set automata:

Turoňová, Lenka ; Holík, Lukáš ; Lengál, Ondřej...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

5

Regex matching with counting-set automata:

Turoňová, Lenka ; Holík, Lukáš ; Lengál, Ondřej...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

6

Succinct Determinisation of Counting Automata via Sphere Co..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Holík, Lukáš ; Lengál, Ondřej ; Saarikivi, Olli... - p. 468-489 , 2019

Link: https://doi.org/10.1007/..

7

Fast Matching of Regular Patterns with Synchronizing Counti..:

Holík, Lukáš ; Síč, Juraj ; Turoňová, Lenka.
http://arxiv.org/abs/2301.12851. , 2023

Link: http://arxiv.org/abs/230..

8

Succinct Determinisation of Counting Automata via Sphere Co..:

Holík, Lukáš ; Lengál, Ondřej ; Saarikivi, Olli...
http://arxiv.org/abs/1910.01996. , 2019

Link: http://arxiv.org/abs/191..

9

Dataset for the OOPSLA'20 paper "Regex Matching with Counti..:

Lukáš Holík ; Ondřej Lengál ; Olli Saarikivi...
doi:10.5281/zenodo.3970683. , 2020

Link: https://zenodo.org/recor..

10

Dataset for the OOPSLA'20 paper "Regex Matching with Counti..:

Lukáš Holík ; Ondřej Lengál ; Olli Saarikivi...
doi:10.5281/zenodo.3970683. , 2020

Link: https://zenodo.org/recor..

11

Artifact for the OOPSLA'20 paper "Regex Matching with Count..:

Lukáš Holík ; Ondřej Lengál ; Olli Saarikivi...
doi:10.5281/zenodo.3975565. , 2020

Link: https://zenodo.org/recor..

12

Endothelial Dysfunction in Children with Juvenile Psoriatic..:

Lenka Turoňová ; Kristína Kubejová ; Karolína Vorčáková...
https://actamedica.lfhk.cuni.cz/61/3/0079/. , 2018

Link: https://doi.org/10.14712..

13

The power of modern extraction techniques: A breakthrough i..:

Mrštná, Kristýna ; Turoňová, Dorota ; Suwanvecho, Chaweewan..
Microchemical Journal. 198 (2024) - p. 110170 , 2024

Link: https://doi.org/10.1016/..

14

Next generation microsampling towards sustainable forensic ..:

Palano, Sarah ; Turoňova, Dorota ; Protti, Michele...
Microchemical Journal. 203 (2024) - p. 110937 , 2024

Link: https://doi.org/10.1016/..

15

Using HPLC for the determination of platinum drugs in biolo..:

Turoňová, Dorota ; Krčmová, Lenka Kujovská ; Vošmik, Milan..
Journal of Separation Science. 46 (2023) 19 - p. , 2023

Link: https://doi.org/10.1002/..