Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Rajab Aghamov Master of Science
Person

Zugehörigkeiten

Professur für Algebraische und logische Grundlagen der Informatik
- Wissenschaftliches Personal
- rajab.aghamov@tu-dresden.de

Identifizierungsnummern

Scopus Autor ID	57219499155

Veröffentlichungen
Auszeichnungen

Model Checking Markov Chains as Distribution Transformers

Aghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Springer, Cham, S. 293-313 21 S. (Lecture Notes in Computer Science, Band 15261).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

Linear dynamical systems with continuous weight functions

Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 Mai 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, S. 22:1-22:11 11 S. 22. (CPSWeek: Cyber-physical Systems).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (2)

ACM SIGBED HSCC Best Paper Award

Aghamov, R. (Empfänger:in), Piribauer, J. (Empfänger:in), Baier, C. (Empfänger:in), Karimov, T. (Empfänger:in) & Ouaknine, J. (Empfänger:in), 2024

Auszeichnung: Preis › Publikations-/Konferenzpreis

Alle Auszeichnungen ansehen (1)