Concepedia

Axel Rauschmayer

AR

Statistics

Publications

2

Citations

835

H-Index

2

Active since

2003

Affiliations

Ludwig-Maximilians-Universität München(Current)

The University of Texas at Austin

Axel Rauschmayer is an author at Ludwig-Maximilians-Universität München specializing in programming languages, equational logic, and software design.

Publications per year

2003–2004

2

Publications

2

Scaling step-wise refinement

Don Batory, Jacob Neal Sarvela, Axel Rauschmayer · IEEE Transactions on Software Engineering · 2004 · 696 citations

, , +16

Scaling step-wise refinement

Don Batory, Jacob Neal Sarvela, Axel Rauschmayer · 25th International Conference on Software Engineering, 2003. Proceedings. · 2003 · 139 citations

, , +16

1–2 of 2