Photo of Amnon Rosenmann

Amnon Rosenmann

Ph.D.

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

Research Output 1991 2019

  • 14 Article
  • 8 Conference contribution
Filter
Article
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 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. 578, p. 370-401 32 p.

Research output: Contribution to journalArticleResearchpeer-review

File
Max-plus Algebra
Convolution
Polynomial
Free Probability
Analogue
2017

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
2016

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
2014

The Timestamp of Timed Automata

Rosenmann, A., 17 Dec 2014, In : arXiv.org e-Print archive.

Research output: Contribution to journalArticleResearch

File
Timestamp
Timed Automata
Suffix
Decidability
Periodicity
2013

On the intersection of subgroups in free groups: echelon subgroups are inert

Rosenmann, A., Oct 2013, In : Groups, Complexity, Cryptology. 5, 2, p. 211–221

Research output: Contribution to journalArticleResearchpeer-review

Free Group
Intersection
Subgroup
Generator
Finitely Generated Group
2001

On rank, root and equations in free groups

Rosenmann, A., 2001, In : International journal of algebra and computation. 11, 3, p. 375–390

Research output: Contribution to journalArticleResearchpeer-review

Free Group
Roots
Subgroup
Maximal Rank
Directed Graph

Subgroups of finite index and the fc-localization

Rosenmann, A., 2001, In : Communications in Algebra. 29, 5, p. 1983–1991

Research output: Contribution to journalArticleResearchpeer-review

1997

The normalized cyclomatic quotient associated with presentations of finitely generated groups

Rosenmann, A., 1997, In : Israel journal of mathematics. 99, p. 285-313

Research output: Contribution to journalArticleResearchpeer-review

Finitely Generated Group
Quotient
Amenable Group
Subgraph
Free Product
1994

Ideals of finite codimension in free algebras and the fc-localization

Rosenmann, A. & Rosset, S., 1994, In : Pacific Journal of Mathematics. 162, 2, p. 351–371

Research output: Contribution to journalArticleResearchpeer-review

The unique rank property among Gabriel localizations

Rosenmann, A., 1994, In : Communications in Algebra. 22, 8, p. 2827–2836

Research output: Contribution to journalArticleResearchpeer-review

1993

An Algorithm for constructing Gröbner and free Schreier bases in free group algebras

Rosenmann, A., 1993, In : Journal of symbolic computation. 16, 6, p. 523–549

Research output: Contribution to journalArticleResearchpeer-review

Essentiality of fractal ideals

Rosenmann, A., 1993, In : International journal of algebra and computation. 3, 4, p. 425–445

Research output: Contribution to journalArticleResearchpeer-review

1991

Essential and inessential fractal ideals in the group ring of a free group

Rosenmann, A. & Rosset, S., 1991, In : The bulletin of the London Mathematical Society. 23, 5, p. 437–442

Research output: Contribution to journalArticleResearchpeer-review