Amnon Rosenmann

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 8

Top Topics

Reachability Analysis

First Order Logic

Top Venues

Groups Complex. Cryptol.

J. Comb. Optim.

Publications

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