Photo of Amnon Rosenmann

Amnon Rosenmann

Ph.D.

1991 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1991 2019

  • 14 Article
  • 8 Conference contribution
Filter
Conference contribution
2019

On the Distance Between Timed Automata.

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Timed Automata
Inclusion
Trace
Digitization
Automata

The Timestamp of Timed Automata

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

File
Timestamp
Timed Automata
Suffix
Trace
Partial
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, Vol. 9268. p. 288-304 (Lecture Notes in Computer Science; vol. 9268).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2000

An asymptotic invariant of surface groups

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1999

When Schreier transversals grow wild

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1995

Cogrowth and essentiality in groups and algebras

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1994

Idealizers of fractal ideals in free group algebras

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review