Foto von Amnon Rosenmann

Amnon Rosenmann

Ph.D.

1991 …2019

Publikationen pro Jahr

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Ergründen Sie die Forschungsthemen, in denen Amnon Rosenmann aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.

  • 4 Ähnliche Profile

Netzwerk Jüngste externe Zusammenarbeit auf Länderebene Erkunden Sie die Details, indem Sie auf die Punkte klicken.

Publikationen

  • 14 Artikel
  • 8 Beitrag in einem Konferenzband

Circular automata synchronize with high probability

Aistleitner, C., D'Angeli, D., Gutierrez, A., Rodaro, E. & Rosenmann, A., 6 Jun 2019, in : arXiv.org e-Print archive. 19 S.

Publikation: Beitrag in einer FachzeitschriftArtikel

  • On the Distance Between Timed Automata.

    Rosenmann, A., 13 Aug 2019, FORMATS 2019. André, É. & Stoelinga, M. (Hrsg.). Springer, Cham, Band 11750. S. 199-215 17 S. (Lecture Notes in Computer Science; Band 11750).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

  • Polynomial convolutions in max-plus algebra

    Rosenmann, A., Lehner, F. & Peperko, A., 1 Okt 2019, in : Linear algebra and its applications. 578, S. 370-401 32 S.

    Publikation: Beitrag in einer FachzeitschriftArtikel

    Datei
  • The Timestamp of Timed Automata

    Rosenmann, A., 13 Aug 2019, FORMATS 2019. André, É. & Stoelinga, M. (Hrsg.). Springer, Cham, Band 11750. S. 181-198 18 S. (Lecture Notes in Computer Science; Band 11750).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

    Datei
  • Bounded determinization of timed automata with silent transitions

    Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., Mai 2017, in : Real-time systems. 53, 3, S. 291–326

    Publikation: Beitrag in einer FachzeitschriftArtikel

    Open Access
  • Verwandte Tätigkeiten

    • 6 Vortrag bei Workshop, Seminar oder Kurs
    • 4 Vortrag bei Konferenz oder Fachtagung
    • 1 Workshop, Seminar oder Kurs (Teilnahme an/Organisation von)
    • 1 Invited talk bei Konferenz oder Fachtagung

    Generalizations of two basic notions in timed automata

    Amnon Rosenmann (Redner/in)
    25 Feb 2020

    Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

    The Timestamp of Timed Automata

    Amnon Rosenmann (Redner/in)
    28 Aug 2019

    Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

    Polynomial Convolutions in Max-Plus Algebra

    Amnon Rosenmann (Redner/in)
    8 Sep 201913 Sep 2019

    Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

    Workshop on Groups, Automata and Graphs (GAG)

    Daniele D'Angeli (Organisator/-in), Abraham Gutierrez Sanchez (Organisator/-in), Amnon Rosenmann (Organisator/-in), Ecaterina Sava-Huss (Organisator/-in)
    11 Feb 201912 Feb 2019

    Aktivität: Teilnahme an / Organisation vonWorkshop, Seminar oder Kurs (Teilnahme an/Organisation von)

    On the Distance between Timed Automata

    Amnon Rosenmann (Redner/in)
    28 Aug 2019

    Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science