Concepedia

Lars Noschinski

LN

Statistics

Publications

2

Citations

112

H-Index

2

Active since

2013

Affiliations

RWTH Aachen University(Current)

Lars Noschinski is an author at RWTH Aachen University specializing in formal methods, computer science, and engineering.

Top concepts

Publications per year

2013–2014

2

Publications

2

A Graph Library for Isabelle

Lars Noschinski · Mathematics in Computer Science · 2014 · 63 citations

, , +6

Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs

Lars Noschinski, Fabian Emmes, Jürgen Giesl · Journal of Automated Reasoning · 2013 · 49 citations

, , +13

1–2 of 2