Diagnostic accuracy of hepatic artery and portal vein Doppler ultrasonography in cirrhotic patients by Shirmohammadi M, Rokniye yazdi H

Get full text

Trace refinement in labelled Markov decision processes by Fijalkow, N, Kiefer, S, Shirmohammadi, M

Trace refinement in labelled Markov decision processes by Fijalkow, N, Kiefer, S, Shirmohammadi, M

Trace refinement in labelled Markov decision processes by Fijalkow, N, Kiefer, S, Shirmohammadi, M

Synchronizing Data Words for Register Automata by Shirmohammadi, M, Babari, P, Quaas, K

Revisiting reachability in timed automata by Quaas, K, Shirmohammadi, M, Worrell, J

Cyclotomic identity testing and applications by Balaji, N, Perifel, S, Shirmohammadi, M, Worrell, J

Strategy complexity of parity objectives in countable MDPs by Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P

Parity objectives in countable MDPs by Kiefer, S, Mayr, R, Shirmohammadi, M, Wojtczak, D

Strategy complexity of reachability in countable stochastic 2-player games by Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P

Büchi objectives in countable MDPs by Kiefer, S, Mayr, R, Shirmohammadi, M, Totzke, P

On strong determinacy of countable stochastic games by Kiefer, S, Mayr, R, Shirmohammadi, M, Wojtczak, D

Transience in countable MDPs by Kiefer, SM, Mayr, R, Shirmohammadi, M, Totzke, P

The Membership Problem for hypergeometric sequences with quadratic parameters by Kenison, G, Nosan, K, Shirmohammadi, M, Worrell, J

Identity testing for radical expressions by Balaji, N, Nosan, K, Shirmohammadi, M, Worrell, J

The membership problem for hypergeometric sequences with rational parameters by Nosan, K, Pouly, A, Shirmohammadi, M, Worrell, J

Costs and rewards in priced timed automata by Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J

Costs and rewards in priced timed automata by Fränzle, M, Shirmohammadi, M, Swaminathan, M, Worrell, J

Nonnegative matrix factorization requires irrationality by Chistikov, D, Kiefer, S, Marusic, I, Shirmohammadi, M, Worrell, J

On Rationality of Nonnegative Matrix Factorization by Chistikov, D, Kiefer, S, Marusic, I, Shirmohammadi, M, Worrell, J