Personal information

Austria

Activities

Employment (2)

Graz University of Technology: Graz, AT

2015 to present (Institute of Discrete mathematics)
Employment
Source: Self-asserted source
Amnon Rosenmann

Intel Corp Israel: Haifa, Haifa, IL

2000 to 2004 | Senior Engineer
Employment
Source: Self-asserted source
Amnon Rosenmann

Education and qualifications (1)

Tel Aviv University: Tel Aviv, IL

PhD (Mathematics)
Education
Source: Self-asserted source
Amnon Rosenmann

Works (24)

Dependence over subgroups of free groups

International Journal of Algebra and Computation
2024-06 | Journal article
Contributors: Amnon Rosenmann; Enric Ventura
Source: check_circle
Crossref

Computing the sequence of k-cardinality assignments

Journal of Combinatorial Optimization
2022-09 | Journal article
Contributors: Amnon Rosenmann
Source: check_circle
Crossref

Circular automata synchronize with high probability

Journal of Combinatorial Theory, Series A
2021-02 | Journal article
Contributors: Christoph Aistleitner; Daniele D'Angeli; Abraham Gutierrez; Emanuele Rodaro; Amnon Rosenmann
Source: check_circle
Crossref

On the Distance Between Timed Automata

2019 | Book chapter
Contributors: Amnon Rosenmann
Source: check_circle
Crossref

The Timestamp of Timed Automata

2019 | Book chapter
Contributors: Amnon Rosenmann
Source: check_circle
Crossref

Polynomial convolutions in max-plus algebra

2018 | Other
Source: Self-asserted source
Amnon Rosenmann

The timestamp of timed automata

2018 | Other
Source: Self-asserted source
Amnon Rosenmann

Bounded determinization of timed automata with silent transitions

Real-Time Systems
2017 | Journal article
Source: Self-asserted source
Amnon Rosenmann

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

J. Appl. Log.
2016 | Journal article
Source: Self-asserted source
Amnon Rosenmann

Bounded Determinization of Timed Automata with Silent Transitions

Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
2015 | Conference paper
Source: Self-asserted source
Amnon Rosenmann

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

Groups Complex. Cryptol.
2013 | Journal article
Source: Self-asserted source
Amnon Rosenmann

Alignability equivalence of synchronous sequential circuits

Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002
2002 | Conference paper
Source: Self-asserted source
Amnon Rosenmann

On rank, root and equations in free groups

Internat. J. Algebra Comput.
2001 | Journal article
Source: Self-asserted source
Amnon Rosenmann

Subgroups of finite index and the fc-localization

Comm. Algebra
2001 | Journal article
Source: Self-asserted source
Amnon Rosenmann

An asymptotic invariant of surface groups

Computational and geometric aspects of modern algebra (Edinburgh, 1998)
2000 | Book chapter
Source: Self-asserted source
Amnon Rosenmann

When Schreier transversals grow wild

Groups St. Andrews 1997 in Bath, II
1999 | Book chapter
Source: Self-asserted source
Amnon Rosenmann

The normalized cyclomatic quotient associated with presentations of finitely generated groups

Israel J. Math.
1997 | Journal article
Source: Self-asserted source
Amnon Rosenmann

Cogrowth and essentiality in groups and algebras

Combinatorial and geometric group theory (Edinburgh, 1993)
1995 | Book chapter
Source: Self-asserted source
Amnon Rosenmann

Idealizers of fractal ideals in free group algebras

Rings, extensions, and cohomology (Evanston, IL, 1993)
1994 | Book chapter
Source: Self-asserted source
Amnon Rosenmann

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

Pacific J. Math.
1994 | Journal article
Source: Self-asserted source
Amnon Rosenmann

The unique rank property among Gabriel localizations

Comm. Algebra
1994 | Journal article
Source: Self-asserted source
Amnon Rosenmann

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

J. Symbolic Comput.
1993 | Journal article
Source: Self-asserted source
Amnon Rosenmann

Essentiality of fractal ideals

Internat. J. Algebra Comput.
1993 | Journal article
Source: Self-asserted source
Amnon Rosenmann

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

Bull. London Math. Soc.
1991 | Journal article
Source: Self-asserted source
Amnon Rosenmann

Peer review (2 reviews for 2 publications/grants)

Review activity for Journal of combinatorial optimization. (1)
Review activity for Symmetry. (1)