Concepedia

Adrian Crăciun

AC

3

Publications

173

Citations

3

H-Index

2004

Active since

Affiliations

Johannes Kepler University of Linz(Current)

Adrian Crăciun is an author at Johannes Kepler University of Linz specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

2004–2005

3

Publications

3

Theorema: Towards computer-aided mathematical theory exploration

Bruno Buchberger, Adrian Crăciun, Tudor Jebelean et al. · Journal of Applied Logic · 2005 · 129 citations

, , +3

Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema

Bruno Buchberger, Adrian Crăciun · Electronic Notes in Theoretical Computer Science · 2004 · 30 citations · Full text

, , +17

Algorithm Synthesis by Lazy Thinking: Using Problem Schemes

Bruno Buchberger, Adrian Crăciun · European Journal of Biochemistry · 2004 · 14 citations

Rows per page

1–3 of 3