Amnon Rosenmann

18 papers Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Dependence over subgroups of free groups.
Int. J. Algebra Comput.
Amnon Rosenmann, Enric Ventura
2022 J jnl
Computing the sequence of k-cardinality assignments.
J. Comb. Optim.
Amnon Rosenmann
2021 J jnl
Circular automata synchronize with high probability.
J. Comb. Theory A
Christoph Aistleitner, Daniele D'Angeli, Abraham Gutierrez, Emanuele Rodaro, Amnon Rosenmann
2021 J jnl
Computing the sequence of k-cardinality assignments.
CoRR
Amnon Rosenmann
2019 — conf
On the Distance Between Timed Automata.
FORMATS
Amnon Rosenmann
2019 J jnl
On the Distance between Timed Automata.
CoRR
Amnon Rosenmann
2019 — conf
The Timestamp of Timed Automata.
FORMATS
Amnon Rosenmann
2017 J jnl
Bounded determinization of timed automata with silent transitions.
Real Time Syst.
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
2016 J jnl
A multiple-valued logic approach to the design and verification of hardware circuits.
J. Appl. Log.
Amnon Rosenmann
2015 J jnl
Applying Fuzzy Logic to the Design, Verification and Analysis of Binary Hardware Circuits.
CoRR
Amnon Rosenmann
2015 — conf
Bounded Determinization of Timed Automata with Silent Transitions.
FORMATS
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
2015 J jnl
Bounded Determinization of Timed Automata with Silent Transitions.
CoRR
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
2014 J jnl
Almost Periodicity and the Timestamp of Timed Automata.
CoRR
Amnon Rosenmann
2013 J jnl
On the intersection of subgroups in free groups: Echelon subgroups are inert.
Groups Complex. Cryptol.
Amnon Rosenmann
2002 — conf
Alignability equivalence of synchronous sequential circuits.
HLDVT
Amnon Rosenmann, Ziyad Hanna
2001 J jnl
On Rank, Root and Equations in Free Groups.
Int. J. Algebra Comput.
Amnon Rosenmann
1993 J jnl
An Algorithm for Constructing Gröbner and Free Schreier Bases in Free Group Algebras.
J. Symb. Comput.
Amnon Rosenmann
1993 J jnl
Essentiality of Fractal ideals.
Int. J. Algebra Comput.
Amnon Rosenmann