Vojnar, Tomas: search on Z-Library

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

51

Preface

Milan Češka, Zdeněk Kotásek, Mojmír Křetínský, Luděk Matyska, Tomáš Vojnar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 108 KB

english, 2009

52

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 7119 ||

Kotásek, Zdeněk, Bouda, Jan, Černá, Ivana, Sekanina, Lukáš, Vojnar, Tomáš, Antoš, David

Year:

2012

Language:

english

File:

PDF, 3.42 MB

english, 2012

53

Mediating for reduction (on minimizing alternating Büchi automata)

Abdulla, Parosh Aziz, Chen, Yu-Fang, Holík, Lukáš, Vojnar, Tomáš

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 628 KB

english, 2014

54

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Evaluating Realized Volatility Models with Higher Order Cumulants: HAR-RV Versus ARIMA-RV

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 1.22 MB

english, 2019

55

Pattern-Based Verification of Programs with Extended Linear Linked Data Structures

Milan Češka, Pavel Erlebach, Tomáš Vojnar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 329 KB

english, 2006

56

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Parallel SAT Simplification on GPU Architectures

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 1.86 MB

english, 2019

57

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Physiological and Molecular Basis of Abiotic Stress Tolerance in Wheat

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 473 KB

english, 2019

58

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Do Consumers of Products and Services Perceive the COO Effect in a Multi-dimensional Way? A Polish-Lithuanian Comparison

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 251 KB

english, 2019

59

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Genomic Strategies for Improving Abiotic Stress Tolerance in Crop Plants

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 442 KB

english, 2019

60

Approximate reduction of finite automata for high-speed network intrusion detection

Češka, Milan, Havlena, Vojtěch, Holík, Lukáš, Lengál, Ondřej, Vojnar, Tomáš

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 468 KB

english, 2019

61

Programs with lists are counter automata

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomáš Vojnar

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.26 MB

english, 2011

62

Automated formal analysis and verification: an overview

Křena, Bohuslav, Vojnar, Tomáš

Journal:

International Journal of General Systems

Year:

2013

Language:

english

File:

PDF, 265 KB

english, 2013

63

MONOTONIC ABSTRACTION FOR PROGRAMS WITH MULTIPLY-LINKED STRUCTURES

ABDULLA, PAROSH AZIZ, CEDERBERG, JONATHAN, VOJNAR, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 321 KB

english, 2013

64

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 9548 ||

Kofroň, Jan, Vojnar, Tomáš

Year:

2016

Language:

english

File:

PDF, 9.77 MB

english, 2016

65

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11428 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II) || PhASAR: An Inter-procedural Static Analysis Framework for C/C++

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 515 KB

english, 2019

66

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Verifying Concurrent Programs Using Contracts

Dias, Ricardo J., Ferreira, Carla, Fiedor, Jan, Lourenco, Joao M., Smrcka, Ales, Sousa, Diogo G., Vojnar, Tomas

Year:

2017

Language:

english

File:

PDF, 238 KB

english, 2017

67

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Sustainability Integration Impact on Fast Fashion Supply Chains

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

Language:

english

File:

PDF, 257 KB

english, 2019

68

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 11427 (25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I) || Ecosystems Services Economic Valuation Model: Case Study in Latvia

Vojnar, Tomáš, Zhang, Lijun

Year:

2019

File:

PDF, 341 KB

2019

69

[ACM Press the 2012 Workshop - Minneapolis, MN, USA (2012.07.16-2012.07.16)] Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012 - Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level

Fiedor, Jan, Vojnar, Tomáš

Year:

2012

Language:

english

File:

PDF, 401 KB

english, 2012

70

[IEEE 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Irvine, CA (2017.11.13-2017.11.16)] 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished

Ceska, Milan, Matyas, Jiri, Mrazek, Vojtech, Sekanina, Lukas, Vasicek, Zdenek, Vojnar, Tomas

Year:

2017

Language:

english

File:

PDF, 296 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски