Amnon Rosenmann

According to our database, Amnon Rosenmann authored at least 13 papers between 1993 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Computing the sequence of k-cardinality assignments.

Amnon Rosenmann

J. Comb. Optim., 2022

2021

Circular automata synchronize with high probability.

Christoph Aistleitner, Daniele D'Angeli, Abraham Gutierrez, Emanuele Rodaro, Amnon Rosenmann

J. Comb. Theory, Ser. A, 2021

2019

On the Distance Between Timed Automata.

Amnon Rosenmann

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

The Timestamp of Timed Automata.

Amnon Rosenmann

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2017

Bounded determinization of timed automata with silent transitions.

Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig

Real Time Syst., 2017

2016

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

Amnon Rosenmann

J. Appl. Log., 2016

2015

Applying Fuzzy Logic to the Design, Verification and Analysis of Binary Hardware Circuits.

Amnon Rosenmann

CoRR, 2015

2014

Almost Periodicity and the Timestamp of Timed Automata.

Amnon Rosenmann

CoRR, 2014

2013

On the intersection of subgroups in free groups: Echelon subgroups are inert.

Amnon Rosenmann

Groups Complex. Cryptol., 2013

2002

Alignability equivalence of synchronous sequential circuits.

Amnon Rosenmann, Ziyad Hanna

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

On Rank, Root and Equations in Free Groups.

Amnon Rosenmann

Int. J. Algebra Comput., 2001

1993

An Algorithm for Constructing Gröbner and Free Schreier Bases in Free Group Algebras.

Amnon Rosenmann

J. Symb. Comput., 1993

Essentiality of Fractal ideals.

Amnon Rosenmann

Int. J. Algebra Comput., 1993