CUFinder

Witold Charatonik

Witold Charatonik

Uniwersytet Wroclawski

H-index: 19

Europe-Poland

About Witold Charatonik

Witold Charatonik, With an exceptional h-index of 19 and a recent h-index of 7 (since 2020), a distinguished researcher at Uniwersytet Wroclawski, specializes in the field of Logic in Computer Science.

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

The Zoo of Lambda-Calculus Reduction Strategies, And Coq

A simple and efficient implementation of strong call by need by an abstract machine

A derived reasonable abstract machine for strong call by value

Strong call by value is reasonable for time

An abstract machine for strong call by value

Witold Charatonik Information

University

Position

Professor of Computer Science

Citations(all)

1202

Citations(since 2020)

152

Cited By

1078

hIndex(all)

19

hIndex(since 2020)

7

i10Index(all)

29

i10Index(since 2020)

4

Email

Access Email

University Profile Page

Uniwersytet Wroclawski

Google Scholar

View Google Scholar Profile

Witold Charatonik Skills & Research Interests

Logic in Computer Science

Top articles of Witold Charatonik

Title

Journal

Author(s)

Publication Date

The Zoo of Lambda-Calculus Reduction Strategies, And Coq

Małgorzata Biernacka

Witold Charatonik

Tomasz Drab

2022

A simple and efficient implementation of strong call by need by an abstract machine

Proceedings of the ACM on Programming Languages

Małgorzata Biernacka

Witold Charatonik

Tomasz Drab

2022/8/29

A derived reasonable abstract machine for strong call by value

Malgorzata Biernacka

Witold Charatonik

Tomasz Drab

2021/9/6

Strong call by value is reasonable for time

arXiv preprint arXiv:2102.05985

Małgorzata Biernacka

Witold Charatonik

Tomasz Drab

2021/2/11

An abstract machine for strong call by value

Małgorzata Biernacka

Dariusz Biernacki

Witold Charatonik

Tomasz Drab

2020/11/24

See List of Professors in Witold Charatonik University(Uniwersytet Wroclawski)