Research Output per year

## 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

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

## Research Output 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 p.Research output: Contribution to journal › Article › Research

### 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 journal › Article › Research › peer-review

### 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–326Research output: Contribution to journal › Article › Research › peer-review

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

Rosenmann, A., 2016, In : Journal of applied logic. 15, p. 69-93Research output: Contribution to journal › Article › Research › peer-review

### 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 proceeding › Conference contribution › Research › peer-review

## Activities 2017 2019

### Workshop on Groups, Automata and Graphs (GAG)

Daniele D'Angeli (Organiser), Abraham Gutierrez Sanchez (Organiser), Amnon Rosenmann (Organiser), Ecaterina Sava-Huss (Organiser)Activity: Participation in or organisation of › Workshop, seminar or course (Participation in/Organisation of)

### Polynomial convolutions in max-plus algebra

Amnon Rosenmann (Speaker)Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

### Tropical Free Probability 1 - Max-Plus Algebra

Amnon Rosenmann (Speaker)Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

### Dependence over subgroups of free groups

Amnon Rosenmann (Speaker)Activity: Talk or presentation › Invited talk at conference or symposium › Science to science

### Computing the sequence of k-cardinality assignments

Amnon Rosenmann (Speaker)Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science