Concepedia

Janis Voigtländer

JV

21

Publications

526

Citations

15

H-Index

2002

Active since

Affiliations

Technische Universität Dresden(Current)

University of Bonn

Rutgers, The State University of New Jersey

National Institute of Informatics

University of Oxford

Janis Voigtländer is an author at Technische Universität Dresden specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisLanguageSemanticsSyntaxLinguistics

Publications per year

2002–2025

21

Publications

21

Rows per page

1–5 of 21