27
Publications
752
Citations
17
H-Index
1988
Active since
Affiliations
Viliam Geffert is an author at University of Pavol Jozef Šafárik specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsComputational ComplexityAutomated ReasoningFormal VerificationCombinatorial OptimizationDiscrete MathematicsEntropyLinguistics
Publications per year
1988–2017
27
27
Rows per page
1–5 of 27