Concepedia

Florian Enescu

FE

25

Publications

601

Citations

15

H-Index

2000

Active since

Affiliations

Georgia State University(Current)

University of Utah

Romanian Academy

University of Michigan

University of Missouri

Florian Enescu is an author at Georgia State University specializing in engineering, computer engineering, and formal methods.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationComputational ComplexityVerificationAutomated ReasoningTheory Of ComputingCompilers

Publications per year

2000–2018

25

Publications

25

The Frobenius structure of local cohomology

Florian Enescu, Melvin Hochster · Algebra & Number Theory · 2008 · 68 citations · Full text

Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

Jinpeng Lv, Priyank Kalla, Florian Enescu · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 62 citations

Theory Of Computing, Engineering, Computational Number Theory +14

Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing

Namrata Shekhar, Priyank Kalla, Florian Enescu · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2007 · 37 citations

Engineering, Equivalence Verification, Verification +16

Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases

Tim Pruss, Priyank Kalla, Florian Enescu · 2014 · 34 citations

Circuit Complexity, Word-level Abstraction, Cryptographic Primitive +19

Lower bounds for Hilbert-Kunz multiplicities in local rings of fixed dimension

Ian M. Aberbach, Florian Enescu · The Michigan Mathematical Journal · 2008 · 32 citations · Full text

Schubert Calculus, Fixed Dimension, Ring Theory +8

Rows per page

1–5 of 25