Search Results - Babiak, Tomáš

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Almost linear Büchi automata

    Almost linear Büchi automata by BABIAK, TOMÁŠ, ŘEHÁK, VOJTĚCH, STREJČEK, JAN

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Almost Linear Büchi Automata

    Almost Linear Büchi Automata by Babiak, Tomáš, Řehák, Vojtěch, Strejček, Jan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Almost linear Buechi automata

    Almost linear Buechi automata by Babiak, Tomas, EHAK, VOJTCH, Strejcek, Jan

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment

    Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment by Babiak, Tomáš, Blahoudek, František, Křetínský, Mojmír, Strejček, Jan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Almost Linear Büchi Automata

    Almost Linear Büchi Automata by Babiak, Tomáš, Řehák, Vojtěch, Strejček, Jan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    LTL to Büchi Automata Translation: Fast and More Deterministic

    LTL to Büchi Automata Translation: Fast and More Deterministic by Babiak, Tomáš, Křetínský, Mojmír, Řehák, Vojtěch, Strejček, Jan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness

    A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness by Babiak, Tomáš, Křetínský, Mojmír, Řehák, Vojtěch, Strejček, Jan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Bambusuril as a One-Electron Donor for Photoinduced Electron Transfer to Methyl Viologen in Mixed Crystals

    Bambusuril as a One-Electron Donor for Photoinduced Electron Transfer to Methyl Viologen in Mixed Crystals by Fiala, Tomas, Ludvíková, Lucie, Heger, Dominik, Švec, Jan, Slanina, Tomáš, Vetráková, L’ubica, Babiak, Michal, Nečas, Marek, Kulhánek, Petr, Klán, Petr, Sindelar, Vladimir

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Preparation of Heteroleptic Tin(IV) N,O‐β‐Heteroarylalkenolate Complexes and Their Properties as PI‐MOCVD Precursors for SnO2 Deposition

    Preparation of Heteroleptic Tin(IV) N,O‐β‐Heteroarylalkenolate Complexes and Their Properties as PI‐MOCVD Precursors for SnO2 Deposition by Podhorsky, Jan, Murauskas, Tomas, Hegemann, Corinna, Graf, David, Fischer, Thomas, Babiak, Michal, Pinkas, Jiri, Plausinaitiene, Valentina, Mathur, Sanjay, Abrutis, Adulfas, Moravec, Zdenek

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Preparation of Heteroleptic Tin(IV) N,O‐β‐Heteroarylalkenolate Complexes and Their Properties as PI‐MOCVD Precursors for SnO 2 Deposition

    Preparation of Heteroleptic Tin(IV) N,O‐β‐Heteroarylalkenolate Complexes and Their Properties as PI‐MOCVD Precursors for SnO 2 Deposition by Podhorsky, Jan, Murauskas, Tomas, Hegemann, Corinna, Graf, David, Fischer, Thomas, Babiak, Michal, Pinkas, Jiri, Plausinaitiene, Valentina, Mathur, Sanjay, Abrutis, Adulfas, Moravec, Zdenek

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Effects of high temperature drying in nitrogen atmosphere on mechanical and colour properties of Norway spruce

    Effects of high temperature drying in nitrogen atmosphere on mechanical and colour properties of Norway spruce by Joščák, Tomáš, Mamoňová, Miroslava, Babiak, Marian, Teischinger, Alfred, Müller, Ulrich

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: