Foto von Amnon Rosenmann

Amnon Rosenmann

Ph.D.

1991 …2019
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Forschungsoutput 1991 2019

  • 14 Artikel
  • 8 Beitrag in einem Konferenzband
Filter
Beitrag in einem Konferenzband
2019

On the Distance Between Timed Automata.

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Timed Automata
Inclusion
Trace
Digitization
Automata

The Timestamp of Timed Automata

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Datei
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, Band 9268. S. 288-304 (Lecture Notes in Computer Science; Band 9268).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2000

An asymptotic invariant of surface groups

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

1999

When Schreier transversals grow wild

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

1995

Cogrowth and essentiality in groups and algebras

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

1994

Idealizers of fractal ideals in free group algebras

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung