Forschungsoutput pro Jahr
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
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 Fachzeitschrift › Artikel › Forschung
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/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
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 Fachzeitschrift › Artikel › Forschung › Begutachtung
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/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
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–326Publikation: Beitrag in einer Fachzeitschrift › Artikel › Forschung › Begutachtung
Open Access
Timed Automata
Observability
Testing
Automata
Model-based Testing
Aktivitäten 2017 2019
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 2019 → 12 Feb 2019
Aktivität: Teilnahme an / Organisation von › Workshop, 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äsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
Polynomial Convolutions in Max-Plus Algebra
Amnon Rosenmann (Redner/in)8 Sep 2019 → 13 Sep 2019
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
The Timestamp of Timed Automata
Amnon Rosenmann (Redner/in)28 Aug 2019
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
Dependence over subgroups of free groups
Amnon Rosenmann (Redner/in)27 Apr 2018 → 28 Apr 2018
Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science