Matej Vitásek

According to our database, Matej Vitásek authored at least 3 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

<i>jInfer</i>: A Framework for XML Schema Inference.

Michal Klempa, Michal Kozák, Mario Mikula, Robert Smetana, Jakub Stárka, Michal Svirec, Matej Vitásek, Martin Necaský, Irena Holubová

Comput. J., 2015

2013

ShadowData: shadowing heap objects in Java.

Matej Vitásek, Walter Binder, Matthias Hauswirth

Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

2012

Inference of XML Integrity Constraints.

Matej Vitásek, Irena Mlýnková

Proceedings of the Advances in Databases and Information Systems, 2012