Treffer 1 - 20 von 237 für Suche 'Petr Jancar', Suchdauer: 1,38s Treffer weiter einschränken
  1. 1
    Bisimilarity on Basic Parallel Processes

    Bisimilarity on Basic Parallel Processes von Jančar, Petr

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence

    Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence von Jančar, Petr


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Equivalence of pushdown automata via first-order grammars

    Equivalence of pushdown automata via first-order grammars von Jančar, Petr


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    CHARACTERIZATION AND COMPARSION OF NEUTRON GENERATORS OF IEC AND LINEAR D-T BY THE SPECTROMETRIC SYSTEM NGA-01

    CHARACTERIZATION AND COMPARSION OF NEUTRON GENERATORS OF IEC AND LINEAR D-T BY THE SPECTROMETRIC SYSTEM NGA-01 von Matej, Zdenek, Kostal, Michal, Novak, Evzen, Alexa, Petr, Uhlar, Radim, Mravec, Filip, Jancar, Ales, Cvachovec, Frantisek, Prenosil, Vaclav, Jancar, Petr

    Veröffentlicht in EPJ Web of conferences

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Countdown games, and simulation on (succinct) one-counter nets

    Countdown games, and simulation on (succinct) one-counter nets von Jancar, Petr, Osicka, Petr, Sawa, Zdenek


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Structural liveness of Petri nets is ExpSpace-hard and decidable

    Structural liveness of Petri nets is ExpSpace-hard and decidable von Jančar, Petr, Purser, David

    Veröffentlicht in Acta informatica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)

    Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof) von Jancar, Petr


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Branching Bisimilarity of Normed BPA Processes as a Rational Monoid

    Branching Bisimilarity of Normed BPA Processes as a Rational Monoid von Petr Jancar


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    On Reachability for Unidirectional Channel Systems Extended with Regular Tests

    On Reachability for Unidirectional Channel Systems Extended with Regular Tests von Petr, Jancar, Karandikar, Prateek, Schnoebelen, Philippe


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Bisimulation equivalence and regularity for real-time one-counter automata

    Bisimulation equivalence and regularity for real-time one-counter automata von Bohm, Stanislav, Goller, Stefan, Jancar, Petr


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Deciding Structural Liveness of Petri Nets

    Deciding Structural Liveness of Petri Nets von Jančar, Petr


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Language equivalence of probabilistic pushdown automata

    Language equivalence of probabilistic pushdown automata von Forejt, Vojtěch, Jančar, Petr, Kiefer, Stefan, Worrell, James

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata

    Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata von Vojtěch Forejt, Petr Jančar, Stefan Kiefer, James Worrell


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A concise proof of Commoner's theorem

    A concise proof of Commoner's theorem von Jancar, Petr

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Decidability of DPDA Language Equivalence via First-Order Grammars

    Decidability of DPDA Language Equivalence via First-Order Grammars von Jancar, P.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Equivalences of Pushdown Systems Are Hard

    Equivalences of Pushdown Systems Are Hard von Jančar, Petr


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Undecidability of Bisimilarity by Defender's Forcing

    Undecidability of Bisimilarity by Defender's Forcing von JANCAR, Petr, SRBA, Jiri

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Bisimulation Equivalence of First-Order Grammars

    Bisimulation Equivalence of First-Order Grammars von Jančar, Petr


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Bouziane’s transformation of the Petri net reachability problem and incorrectness of the related algorithm

    Bouziane’s transformation of the Petri net reachability problem and incorrectness of the related algorithm von JAICAR, Petr

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A note on emptiness for alternating finite automata with a one-letter alphabet

    A note on emptiness for alternating finite automata with a one-letter alphabet von Jančar, Petr, Sawa, Zdeněk

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: