Concepedia

Vincenzo Dimonte

VD

Statistics

Publications

3

Citations

46

H-Index

3

Active since

2011

Affiliations

University of Vienna(Current)

Vincenzo Dimonte is an author at University of Vienna specializing in formal verification, engineering, and automated reasoning.

Top concepts

StatisticsEngineeringData ScienceVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

2011–2015

3

Publications

3

Totally non-proper ordinals beyond L(V λ+1)

Vincenzo Dimonte · Archive for Mathematical Logic · 2011 · 22 citations · Full text

Order Theory, Partially Ordered Set, Non-proper Ordinals +1

Rank-into-rank hypotheses and the failure of GCH

Vincenzo Dimonte, Sy‐David Friedman · Archive for Mathematical Logic · 2014 · 14 citations · Full text

Statistical Inference, Statistical Foundation, Statistics +1

A general tool for consistency results related to I1

Vincenzo Dimonte, Liuzhen Wu · European Journal of Mathematics · 2015 · 10 citations · Full text

Data Consistency, Engineering, Data Science +11

1–3 of 3