6 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.LO2016
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Jan Bouda, Lukáš Holík, Jan Kofroň +2
MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including…
cs.SE2014★ 6 cited
Data-flow Analysis of Programs with Associative Arrays
David Hauzar, Jan Kofroň, Pavel Baštecký
Dynamic programming languages, such as PHP, JavaScript, and Python, provide built-in data structures including associative arrays and objects with similar semantics-object properti…
cs.SE2014
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures
Bara Buhnova, Lucia Happe, Jan Kofroň
The aim of the FESCA workshop is to bring together both young and senior researchers from formal methods, software engineering, and industry interested in the development and appli…