Foto von Amnon Rosenmann

Amnon Rosenmann

Ph.D.

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

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Amnon Rosenmann aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 4 Ähnliche Profile
Timed Automata Mathematik
Timestamp Mathematik
Free Group Mathematik
Automata Mathematik
Subgroup Mathematik
Max-plus Algebra Mathematik
Finitely Generated Group Mathematik
Multiple-valued Logic Mathematik

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 1991 2019

  • 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 FachzeitschriftArtikelForschung

Automata
Synchronization
Circulant Graph
Chromatic Polynomial
Probabilistic Methods

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 KonferenzbandForschungBegutachtung

Timed Automata
Inclusion
Trace
Digitization
Automata

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 FachzeitschriftArtikelForschungBegutachtung

Datei
Max-plus Algebra
Convolution
Polynomial
Free Probability
Analogue

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 KonferenzbandForschungBegutachtung

Datei
Timestamp
Timed Automata
Suffix
Trace
Partial

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 FachzeitschriftArtikelForschungBegutachtung

Open Access
Timed Automata
Observability
Testing
Automata
Model-based Testing

Aktivitäten 2017 2019

  • 5 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

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

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

The Timestamp of Timed Automata

Amnon Rosenmann (Redner/in)
28 Aug 2019

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

Dependence over subgroups of free groups

Amnon Rosenmann (Redner/in)
27 Apr 201828 Apr 2018

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