17
Publications
527
Citations
13
H-Index
1977
Active since
Affiliations
Bohuslav Balcar is an author at Czech Academy of Sciences, Institute of Mathematics specializing in automated reasoning, formal methods, and engineering.
Top concepts
Automated ReasoningEngineeringFormal MethodsFunctional AnalysisDiscrete MathematicsFiltersCircuit ComplexityMathematical Foundations
Publications per year
1977–2006
17
17
Rows per page
1–5 of 17