Foto von Amnon Rosenmann

Amnon Rosenmann

Ph.D.

1991 …2019
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Forschungsoutput 1991 2019

  • 14 Artikel
  • 8 Beitrag in einem Konferenzband
Filter
Artikel
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 FachzeitschriftArtikelForschung

Automata
Synchronization
Circulant Graph
Chromatic Polynomial
Probabilistic Methods

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 FachzeitschriftArtikelForschungBegutachtung

Datei
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., Mai 2017, in : Real-time systems. 53, 3, S. 291–326

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 69-93

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Multiple-valued Logic
Hardware
Networks (circuits)
Simulation
Equivalence
2014

The Timestamp of Timed Automata

Rosenmann, A., 17 Dez 2014, in : arXiv.org e-Print archive.

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Datei
Timestamp
Timed Automata
Suffix
Decidability
Periodicity
2013

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

Rosenmann, A., Okt 2013, in : Groups, Complexity, Cryptology. 5, 2, S. 211–221

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 375–390

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 1983–1991

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

1997

The normalized cyclomatic quotient associated with presentations of finitely generated groups

Rosenmann, A., 1997, in : Israel journal of mathematics. 99, S. 285-313

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 351–371

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

The unique rank property among Gabriel localizations

Rosenmann, A., 1994, in : Communications in algebra. 22, 8, S. 2827–2836

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 523–549

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Essentiality of fractal ideals

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 437–442

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung