Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
5 links
Jan Kofroň
Researcher
PaperData-flow Analysis of Programs with Associative ArraysAuthorship / preprint / 2014PaperProceedings 10th International Workshop on Formal Engineering Approaches to Software Components and ArchitecturesAuthorship / preprint / 2013PaperProceedings 11th International Workshop on Formal Engineering approaches to Software Components and ArchitecturesAuthorship / preprint / 2014PaperProceedings 12th International Workshop on Formal Engineering approaches to Software Components and ArchitecturesAuthorship / preprint / 2015PaperProceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer ScienceAuthorship / preprint / 2016