CUFinder

Adrian Craciun

Adrian Craciun

Universitatea de Vest din Timisoara

H-index: 8

Europe-Romania

About Adrian Craciun

Adrian Craciun, With an exceptional h-index of 8 and a recent h-index of 4 (since 2020), a distinguished researcher at Universitatea de Vest din Timisoara, specializes in the field of Automated reasoning, logic, computer algebra, theoretical computer science, computer architecture.

His recent articles reflect a diverse array of research interests and contributions to the field:

Compositionality and Proof Complexity

Kernelization, proof complexity and social choice

Adrian Craciun Information

University

Position

Associate Professor

Citations(all)

389

Citations(since 2020)

48

Cited By

350

hIndex(all)

8

hIndex(since 2020)

4

i10Index(all)

7

i10Index(since 2020)

1

Email

Access Email

University Profile Page

Universitatea de Vest din Timisoara

Google Scholar

View Google Scholar Profile

Adrian Craciun Skills & Research Interests

Automated reasoning

logic

computer algebra

theoretical computer science

computer architecture

Top articles of Adrian Craciun

Title

Journal

Author(s)

Publication Date

Compositionality and Proof Complexity

Structure Meets Power Workshop (Contributed Talks)

Gabriel Istrate

Cosmin Bonchiş

Adrian Crãciun

2022/7/4

Kernelization, proof complexity and social choice

arXiv preprint arXiv:2104.13681

Gabriel Istrate

Cosmin Bonchis

Adrian Craciun

2021/4/28

See List of Professors in Adrian Craciun University(Universitatea de Vest din Timisoara)