Research output per year
Research output per year
Search results
-
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 proceeding › Conference paper › peer-review
-
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 proceeding › Conference paper › peer-review
File -
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 proceeding › Conference paper › peer-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-114Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-review