Concepedia

Vassilios Gregoriades

VG

3

Publications

74

Citations

3

H-Index

2008

Active since

Affiliations

Technical University of Darmstadt(Current)

Vassilios Gregoriades is an author at Technical University of Darmstadt specializing in automated reasoning, formal methods, and engineering.

ORCID

Top concepts

Publications per year

2008–2016

3

Publications

3

The notion of exhaustiveness and Ascoli-type theorems

Vassilios Gregoriades, N. Papanastassiou · Topology and its Applications · 2008 · 39 citations · Full text

, , +4

A comparison of concepts from computable analysis and effective descriptive set theory

Vassilios Gregoriades, TAMÁS KISPÉTER, Arno Pauly · Mathematical Structures in Computer Science · 2016 · 25 citations · Full text

, , +14

Classes of Polish spaces under effective Borel isomorphism

Vassilios Gregoriades · Memoirs of the American Mathematical Society · 2015 · 10 citations

, , +5

Rows per page

1–3 of 3