( en | de | ru )

 

Disambiguierung von "Vandin, Andrea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
White-box validation of quantitative product lines by statistical model checking and process mining.

, , , , und . J. Syst. Softw., (April 2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Calker

 

Weitere Publikationen von Autoren mit dem selben Namen

A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository., , und . CMSB, Volume 11773 von Lecture Notes in Computer Science, Seite 248-265. Springer, (2019)Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios., , , und . VaMoS, Seite 11:1-11:9. ACM, (2020)White-box validation of quantitative product lines by statistical model checking and process mining., , , , und . J. Syst. Softw., (April 2024)Reasoning (on) Service Component Ensembles in Rewriting Logic., , , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 188-211. Springer, (2014)Symbolic computation of differential equivalences., , , und . Theor. Comput. Sci., (2019)Approximate Constrained Lumping of Polynomial Differential Equations., , , , und . CMSB, Volume 14137 von Lecture Notes in Computer Science, Seite 106-123. Springer, (2023)Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial., und . WSC, Seite 336-350. IEEE, (2018)Differential Equivalence for Linear Differential Algebraic Equations., , , und . IEEE Trans. Autom. Control., 67 (7): 3484-3493 (2022)Coarse-graining Complex Networks for Control Equivalence., , , und . CoRR, (2023)Replicated Computations Results (RCR) Report for Ä Holistic Approach for Collaborative Workload Execution in Volunteer Clouds".. ACM Trans. Model. Comput. Simul., 28 (2): 15:1-15:3 (2018)