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

On the Distance Between Timed Automata.

Rosenmann, A., 13 Aug 2019, FORMATS 2019. André, É. & Stoelinga, M. (eds.). Springer, Cham, Vol. 11750. p. 199-215 17 p. (Lecture Notes in Computer Science; vol. 11750).

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

Timed Automata
Inclusion
Trace
Digitization
Automata

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

The Timestamp of Timed Automata

Rosenmann, A., 13 Aug 2019, FORMATS 2019. André, É. & Stoelinga, M. (eds.). Springer, Cham, Vol. 11750. p. 181-198 18 p. (Lecture Notes in Computer Science; vol. 11750).

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

File
Timestamp
Timed Automata
Suffix
Trace
Partial
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
2015

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

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
2002

Alignability equivalence of synchronous sequential circuits

Rosenmann, A. & Hanna, Z., 2002, Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France. p. 111-114

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

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

2000

An asymptotic invariant of surface groups

Rosenmann, A., 2000, Computational and geometric aspects of modern algebra (Edinburgh, 1998). Cambridge University Press, p. 246–253 (London Mathemathical Society Lecture Note Series; vol. 275).

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

1999

When Schreier transversals grow wild

Rosenmann, A., 1999, Groups St. Andrews 1997 in Bath, II. Cambridge University Press, p. 639–647 (London Mathematical Society Lecture Note Series; vol. 261).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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
1995

Cogrowth and essentiality in groups and algebras

Rosenmann, A., 1995, Combinatorial and geometric group theory (Edinburgh, 1993). Cambridge University Press, p. 284–293 (London Math. Soc. Lecture Note Ser.; vol. 204).

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

1994

Idealizers of fractal ideals in free group algebras

Rosenmann, A., 1994, Rings, extensions, and cohomology (Evanston, IL, 1993). Marcel Dekker Inc., p. 195–203 (Lecture Notes in Pure and Apllied Mathematics; vol. 159).

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

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