Photo of Amnon Rosenmann

Amnon Rosenmann

Ph.D.

1991 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Amnon Rosenmann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 14 Article
  • 8 Conference contribution

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 p.

Research output: Contribution to journalArticleResearch

  • On the Distance Between Timed Automata.

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  • Polynomial convolutions in max-plus algebra

    Rosenmann, A., Lehner, F. & Peperko, A., 1 Oct 2019, In : Linear algebra and its applications. 578, p. 370-401 32 p.

    Research output: Contribution to journalArticleResearchpeer-review

    File
  • The Timestamp of Timed Automata

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

    File
  • Bounded determinization of timed automata with silent transitions

    Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., May 2017, In : Real-time systems. 53, 3, p. 291–326

    Research output: Contribution to journalArticleResearchpeer-review

    Open Access
  • Activities

    • 6 Talk at workshop, seminar or course
    • 4 Talk at conference or symposium
    • 1 Workshop, seminar or course (Participation in/Organisation of)
    • 1 Invited talk at conference or symposium

    Generalizations of two basic notions in timed automata

    Amnon Rosenmann (Speaker)
    25 Feb 2020

    Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

    The Timestamp of Timed Automata

    Amnon Rosenmann (Speaker)
    28 Aug 2019

    Activity: Talk or presentationTalk at conference or symposiumScience to science

    Polynomial Convolutions in Max-Plus Algebra

    Amnon Rosenmann (Speaker)
    8 Sep 201913 Sep 2019

    Activity: Talk or presentationTalk at conference or symposiumScience to science

    On the Distance between Timed Automata

    Amnon Rosenmann (Speaker)
    28 Aug 2019

    Activity: Talk or presentationTalk at conference or symposiumScience to science

    Workshop on Groups, Automata and Graphs (GAG)

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

    Activity: Participation in or organisation ofWorkshop, seminar or course (Participation in/Organisation of)