Age-related fractures in people with intellectual disability and epilepsy von Jancar, J., Jancar, M. P.

Volltext

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

Volltext

Undecidability of bisimilarity for Petri nets and some related problems von JANCAR, P

Volltext

Nonprimitive recursive complexity and undecidability for Petri net equivalences von Jancar, P

Volltext

A note on well quasi-orderings for powersets von JANCAR, P

Volltext

Decidability of Bisimilarity for One-Counter Processes von JANCAR, P

Volltext

Determinate STG Decomposition of Marked Graphs von Schäfer, Mark, Vogler, Walter, Jančar, Petr

Volltext

Boundedness of Reset P/T Nets von Dufourd, C., Schnoebelen, Ph, Jančar, P.

Volltext

Bisimulation equivalence is decidable for one-counter processes von JANCAR, P

Volltext

Equivalence-checking with infinite-state systems: Techniques and results von KUCERA, Antonin, JANCAR, Petr

Volltext

Deciding Bisimilarity between BPA and BPP Processes von Jančar, Petr, Kučera, Antonín, Moller, Faron

Volltext

Deciding bisimulation-like equivalences with finite-state processes von Jančar, Petr, Kučera, Antonı́n, Mayr, Richard

Volltext

DP lower bounds for equivalence-checking and model-checking of one-counter automata von Jančar, Petr, Kučera, Antonı́n, Moller, Faron, Sawa, Zdeněk

Volltext

Petri Nets and Regular Processes von Jančar, Petr, Esparza, Javier, Moller, Faron

Volltext

Completeness Results for Single-Path Petri Nets von Howell, R.R., Jancar, P., Rosier, L.E.

Volltext

Decidability of a temporal logic problem for Petri nets von Jančar, Petr

Volltext

Simulation problems for one-counter machines von JANCAR, P, MOLLER, F, SAWA, Z

Volltext

High undecidability of weak bisimilarity for Petri nets von Jančar, Petr

Volltext

Deciding bisimulation-like equivalences with finite-state processes von Jančar, Petr, Kučera, Antonín, Mayr, Richard

Volltext

Techniques for Decidability and Undecidability of Bisimilarity von Jančar, Petr, Moller, Faron

Volltext