( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Positivity and Minimality for Second-Order Holonomic Sequences.

, , , , , , , и . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Malte Engel

Sylvia Engel

H Engel

Christiane Engel

Michael Engel

 

Другие публикации лиц с тем же именем

Probabilistic Disclosure: Maximisation vs. Minimisation., , и . FSTTCS, том 93 из LIPIcs, стр. 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set., , , , и . MFCS, том 241 из LIPIcs, стр. 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Diagnosability of repairable faults., , , и . Discrete Event Dynamic Systems, 28 (2): 183-213 (2018)On Positivity and Minimality for Second-Order Holonomic Sequences., , , , , , , и . CoRR, (2020)Diagnosability of repairable faults., , , и . WODES, стр. 230-236. IEEE, (2016)Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications., , , , , , , , и . CONCUR, том 243 из LIPIcs, стр. 10:1-10:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)What's decidable about linear loops?, , , , , , и . Proc. ACM Program. Lang., 6 (POPL): 1-25 (2022)Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis., , и . Petri Nets, том 10877 из Lecture Notes in Computer Science, стр. 164-183. Springer, (2018)Diagnosis and Degradation Control for Probabilistic Systems., , и . Discret. Event Dyn. Syst., 30 (4): 695-723 (2020)Controlling information in Probabilistic Systems. (Le contrôle de l'information dans les systèmes probabilistes).. University of Rennes 1, France, (2018)