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

On the Distance Between Timed Automata.

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Timed Automata
Inclusion
Trace
Digitization
Automata

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

The Timestamp of Timed Automata

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Datei
Timestamp
Timed Automata
Suffix
Trace
Partial
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
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, Band 9268. S. 288-304 (Lecture Notes in Computer Science; Band 9268).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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
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. S. 111-114

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

2000

An asymptotic invariant of surface groups

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

1999

When Schreier transversals grow wild

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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
1995

Cogrowth and essentiality in groups and algebras

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

1994

Idealizers of fractal ideals in free group algebras

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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