CUFinder

João Paulo Pizani Flor

João Paulo Pizani Flor

Universiteit Utrecht

H-index: 3

Europe-Netherlands

About João Paulo Pizani Flor

João Paulo Pizani Flor, With an exceptional h-index of 3 and a recent h-index of 2 (since 2020), a distinguished researcher at Universiteit Utrecht,

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

Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation

João Paulo Pizani Flor Information

University

Position

___

Citations(all)

46

Citations(since 2020)

33

Cited By

23

hIndex(all)

3

hIndex(since 2020)

2

i10Index(all)

1

i10Index(since 2020)

1

Email

Access Email

University Profile Page

Universiteit Utrecht

Google Scholar

View Google Scholar Profile

Top articles of João Paulo Pizani Flor

Title

Journal

Author(s)

Publication Date

Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation

João Paulo Pizani Flor

Wouter Swierstra

2022/8/31

See List of Professors in João Paulo Pizani Flor University(Universiteit Utrecht)

Co-Authors

H-index: 16
Wouter Swierstra

Wouter Swierstra

Universiteit Utrecht

Visit Wouter Swierstra Page
H-index: 14
Tiago Mück

Tiago Mück

University of California, Irvine

Visit Tiago Mück Page
academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine