KUČERA, ANTONÍN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Long-Run Average Behaviour of Probabilistic Vector Addition Systems

Brazdil, Toma, Kiefer, Stefan, Kucera, Antonin, Novotny, Petr

Year:

2015

Language:

english

File:

PDF, 321 KB

english, 2015

52

Equivalence-checking on infinite-state systems: Techniques and results

KUCERA, ANTONÍN, JANCAR, PETR

Journal:

Theory and Practice of Logic Programming

Year:

2006

Language:

english

File:

PDF, 339 KB

english, 2006

53

DEMUTH’S PATH TO RANDOMNESS

KUČERA, ANTONÍN, NIES, ANDRÉ, PORTER, CHRISTOPHER P.

Journal:

Bulletin of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 572 KB

english, 2015

54

Petit dictionnaire technique, français-tchèque et tchèque-français

Kučera, Antonin

Journal:

Year:

1969

Language:

german

File:

PDF, 179 KB

german, 1969

55

Trading performance for stability in Markov decision processes

Brázdil, Tomáš, Chatterjee, Krishnendu, Forejt, Vojtěch, Kučera, Antonín

Journal:

Journal of Computer and System Sciences

Year:

2017

Language:

english

File:

PDF, 692 KB

english, 2017

56

[IEEE 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) - London, United Kingdom (2016.9.19-2016.9.21)] 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) - Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration

Korenciak, Lubos, Kucera, Antonin, Rehak, Vojtech

Year:

2016

Language:

english

File:

PDF, 196 KB

english, 2016

57

A generic framework for checking semantic equivalences between pushdown automata and finite-state automata

Kučera, Antonín, Mayr, Richard

Journal:

Journal of Computer and System Sciences

Year:

2018

Language:

english

File:

PDF, 681 KB

english, 2018

58

Redistribution of Phosphorus and Carbon in Steel Weldments

Kučera, Jaroslav, Million, Bořivoj, Stránský, Karel, Michalička, Petr, Rek, Antonín

Journal:

Zeitschrift für Metallkunde

Year:

2002

Language:

english

File:

PDF, 512 KB

english, 2002

59

Efficient synthesis of wide-range absorbing azaphthalocyanine dark quencher and its application to dual-labeled oligonucleotide probes for quantitative real-time PCR

Demuth, Jiri, Kučera, Radim, Kopecky, Kamil, Havlinova, Zuzana, Libra, Antonin, Novakova, Veronika, Miletin, Miroslav, Zimcik, Petr

Journal:

Chemistry - A European Journal

Year:

2018

Language:

english

File:

PDF, 2.39 MB

english, 2018

60

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik, Zuleger, Florian

Year:

2018

Language:

english

File:

PDF, 826 KB

english, 2018

61

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Black Ninjas in the Dark

Blondin, Michael, Esparza, Javier, Jaax, Stefan, Kučera, Antonín

Year:

2018

Language:

english

File:

PDF, 1.05 MB

english, 2018

62

Coherent randomness tests and computing the $K$-trivial sets

Bienvenu, Laurent, Greenberg, Noam, Kučera, Antonín, Nies, André, Turetsky, Dan

Journal:

Journal of the European Mathematical Society

Year:

2016

Language:

english

File:

PDF, 325 KB

english, 2016