1991 …2019
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.

  • 3 Similar Profiles
Timed Automata Mathematics
Free Group Mathematics
Automata Mathematics
Subgroup Mathematics
Max-plus Algebra Mathematics
Finitely Generated Group Mathematics
Multiple-valued Logic Mathematics
Timestamp Mathematics

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

Research Output 1991 2019

  • 14 Article
  • 6 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

Automata
Synchronization
Circulant Graph
Chromatic Polynomial
Probabilistic Methods

Polynomial convolutions in max-plus algebra

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

Research output: Contribution to journalArticleResearchpeer-review

File
Max-plus Algebra
Convolution
Polynomial
Free Probability
Analogue

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
Timed Automata
Observability
Testing
Automata
Model-based Testing

A multiple-valued logic approach to the design and verification of hardware circuits

Rosenmann, A., 2016, In : Journal of applied logic. 15, p. 69-93

Research output: Contribution to journalArticleResearchpeer-review

Multiple-valued Logic
Hardware
Networks (circuits)
Simulation
Equivalence

Bounded Determinization of Timed Automata with Silent Transitions

Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., 2015, Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Berlin [u.a.]: Springer Verlag, Vol. 9268. p. 288-304 (Lecture Notes in Computer Science; vol. 9268).

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

Activities 2017 2019

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

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)

Polynomial convolutions in max-plus algebra

Amnon Rosenmann (Speaker)
5 Apr 2018

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

Tropical Free Probability 1 - Max-Plus Algebra

Amnon Rosenmann (Speaker)
6 Aug 2018

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

Dependence over subgroups of free groups

Amnon Rosenmann (Speaker)
27 Apr 201828 Apr 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Computing the sequence of k-cardinality assignments

Amnon Rosenmann (Speaker)
3 Apr 2018

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