Person:
Zeige:
Zeige 1 bis 10 von 19 Ergebnissen
Zeige 1 bis 10 von 19 Ergebnissen
Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (Hrsg.), NASA Formal Methods. Cham: . Forschungsartikel in Sammelband (Konferenz) | |
da Silva, Carina; Schupp, Stefan; Remke, Anne (2023) In: ACM Transactions on Modeling and Computer Simulation, 33(4). Forschungsartikel (Zeitschrift) | |
da Silva, Carina (2022) In: Steffen Hölldobler, Steffen; Reischuk, Rüdiger; Apel, Sven; Bernstein, Abraham; Freiling, Felix C.; Lenhof, Hans-Peter; Neumann, Gustaf; Römer, Kay Uwe; Scheuermann, Björn; Schweikardt, Nicole; Wehrle, Klaus (Hrsg.), Ausgezeichnete Informatikdissertationen 2021. Bonn: . Forschungsartikel (Buchbeitrag) | |
Pilch, Carina (2021) Münster: . Qualifikationsschrift (Dissertation, Habilitationsschrift) | |
Pilch Carina, Schupp Stefan, Remke Anne (2021) In: Abate, Alessandro; Marin, Andrea (Hrsg.), Quantitative Evaluation of Systems. QEST 2021. Cham: . Forschungsartikel in Sammelband (Konferenz) | |
Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne (2021) In: ACM Transactions on Modeling and Computer Simulation, 31(3). Forschungsartikel (Zeitschrift) | |
In: (Hrsg.), . | |
In: (Hrsg.), . | |
In: (Hrsg.), . | |
In: (Hrsg.), . |