Suchergebnisse - Jančar, Petr

1

Bisimilarity on Basic Parallel Processes von Jančar, Petr

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

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

Veröffentlicht in Journal of computer and system sciences

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

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

Veröffentlicht in Journal of computer and system sciences

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

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

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

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

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

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

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

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

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

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

Veröffentlicht in Journal of computer and system sciences

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

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

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

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

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

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

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

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

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

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

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

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

Veröffentlicht in Journal of the ACM

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

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

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

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

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

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

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

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

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings von Brim, Lubos, Jancar, Petr, Kretinsky, Mojmir, Kucera, Antonin

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Complexity of deciding bisimilarity between normed BPA and normed BPP von Jančar, Petr, Kot, Martin, Sawa, Zdeněk

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[12]

Bisimilarity on Basic Parallel Processes von Jančar, Petr

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings von Brim, Lubos, Jancar, Petr, Kretinsky, Mojmir, Kucera, Antonin

Complexity of deciding bisimilarity between normed BPA and normed BPP von Jančar, Petr, Kot, Martin, Sawa, Zdeněk

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle