( en | de | ru )

 

Disambiguation of "Tribastone, Mirco"

Author of the publication

copydeleteadd this publication to your clipboard
Model-based Development and Performance Analysis for Evolving Manufacturing Systems.

, , , and . Automatisierungstechnik, 62 (11): 794-802 (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

Mirco Tribastone

Mirco Wegener

Der Einfluss der konzentrationsinduzierten Marangonikonvektion auf den instationären Impuls- und Stofftransport an Einzeltropfen. TU Berlin, (2009)

Mirco Alpen

Mirco Wegener

Mirco Müller

 

Other publications of authors with the same name

Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures., , , and . Proc. ACM Program. Lang., 8 (POPL): 1882-1912 (January 2024)PID Control of Biochemical Reaction Networks., , , , , and . IEEE Trans. Autom. Control., 67 (2): 1023-1030 (2022)Algorithmic Minimization of Uncertain Continuous-Time Markov Chains., , , , , and . IEEE Trans. Autom. Control., 68 (11): 6557-6572 (November 2023)Efficient Simulation of Quantum Circuits by Model Order Reduction., , , and . CoRR, (2023)Combined Vertical and Horizontal Autoscaling Through Model Predictive Control., , and . Euro-Par, volume 11014 of Lecture Notes in Computer Science, page 147-159. Springer, (2018)Refining Mean-field Approximations by Dynamic State Truncation., , and . SIGMETRICS (Abstracts), page 31-32. ACM, (2021)Software performance self-adaptation through efficient model predictive control., , and . ASE, page 485-496. IEEE Computer Society, (2017)Approximate Mean Value Analysis of Process Algebra Models.. MASCOTS, page 369-378. IEEE Computer Society, (2011)Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic., , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 443-460. Springer, (2021)Scalable Differential Analysis of Large Process Algebra Models.. QEST, page 307. IEEE Computer Society, (2010)