M. Kozak is an author at Charles University specializing in software systems, automated reasoning, and formal methods.
Top concepts
SemanticsManagementEngineeringData ScienceSemantic WebData ModelingFormal MethodsComputer ScienceData IntegrationSoftware Systems
Publications per year
2013–2013
1
1
jInfer: A Framework for XML Schema Inference
M. Kozak, R. Smetana, J. Stárka et al. · The Computer Journal · 2013 · 11 citations
Rows per page
1–1 of 1