Showing 1 - 20 results of 70 for search 'S Jancar', query time: 0.05s
Refine Results
-
1
Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof) by Petr Jancar
Published 2013-03-01
Article -
2
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid by Petr Jancar
Published 2017-11-01
Article -
3
-
4
-
5
-
6
Toughening of PMMA by short poly(p-phenylene-2,6-benzobisoxazole) fibers by M. Zboncak, J. Jancar
Published 2018-08-01
Article -
7
-
8
-
9
Deformation of Gels with Spherical Auxetic Inclusions by Jan Zidek, Petr Polacek, Josef Jancar
Published 2022-10-01
Article -
10
The Effect of Network Solvation on the Viscoelastic Response of Polymer Hydrogels by Jan Zidek, Eva Kulovana, Josef Jancar
Published 2017-08-01
Article -
11
Countdown games, and simulation on (succinct) one-counter nets by Petr Jancar, Petr Osicka, Zdenek Sawa
Published 2023-02-01
Article -
12
On Reachability for Unidirectional Channel Systems Extended with Regular Tests by Jancar Petr, Prateek Karandikar, Philippe Schnoebelen
Published 2015-04-01
Article -
13
A new murine model of persistent lung eosinophilic inflammation by Momtchilo Russo, Mario Mariano, Sonia Jancar
Published 1997-12-01
Article -
14
-
15
Game characterization of probabilistic bisimilarity, and applications to pushdown automata by Forejt, V, Jancar, P, Kiefer, S, Worrell, J
Published 2018Journal article -
16
-
17
Design Procedure of a Topologically Optimized Scooter Frame Part by Lukas Jancar, Marek Pagac, Jakub Mesicek, Petr Stefek
Published 2020-05-01
Article -
18
-
19
-
20
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata by Vojtěch Forejt, Petr Jančar, Stefan Kiefer, James Worrell
Published 2018-11-01
Article