Concepedia

Mirka Leino

ML

Statistics

Publications

9

Citations

543

H-Index

9

Active since

1997

Affiliations

Microsoft (United States)(Current)

Iowa State University

Radboud University Nijmegen

Satakunta University of Applied Sciences

Mirka Leino is an author at Microsoft (United States) specializing in programming languages, computer science, and computing.

Publications per year

1997–2015

9

Publications

9

An overview of JML tools and applications1 1www.jmlspecs.org

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · Electronic Notes in Theoretical Computer Science · 2003 · 205 citations · Full text

Computing, Computer Science, Formal Methods +15

JML: notations and tools supporting detailed design in Java

Gary T. Leavens, Clyde Ruby, K. Rustan et al. · 2000 · 126 citations

Computing, Computer Science, Formal Methods +14

Wrestling with rep exposure

David Detlefs, K. Rustan, Mirka Leino et al. · 1998 · 73 citations

Computing, Computer Science, Programming Languages +10

Open Innovation Between Higher Education and Industry

Kari Laine, Mirka Leino, Petteri Pulkkinen · Journal of the Knowledge Economy · 2015 · 35 citations

Management, Higher Education, Innovation Management +12

Exception safety for C

K. Rustan, Mirka Leino, Wolfram Schulte · Software Engineering and Formal Methods · 2004 · 27 citations

Computing, Computer Science, Programming Languages +11

1–5 of 9