Implementing Computational Systems with Constraints. - Claude Kirchner; Hélène Kirchner; Marian Vittek (PPCP, 1993)

A Compiler for Nondeterministic Term Rewriting Systems. - Marian Vittek (RTA, 1996)

ELAN: A logical framework based on computational systems. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau; Marian Vittek (WRLA, 1996)

Pattern-Matching Compiler. - Pierre-Etienne Moreau; Christophe Ringeissen; Marian Vittek (LDTA@ETAPS, 2001)

A Pattern Matching Compiler for Multiple Target Languages. - Pierre-Etienne Moreau; Christophe Ringeissen; Marian Vittek (CC, 2003)

Refactoring Browser with Preprocessor. - Marian Vittek (CSMR, 2003)

A collection of C, C++ and Java code understanding and refactoring plugins. - Marian Vittek; Peter Borovanský; Pierre-Etienne Moreau (ICSM (Industrial and Tool Volume), 2005)

A Simple Generic Library for C. - Marian Vittek; Peter Borovanský; Pierre-Etienne Moreau (ICSR, 2006)

A C++ Refactoring Browser and Method Extraction. - Marian Vittek; Peter Borovanský; Pierre-Etienne Moreau (SET, 2006)

Land Cover Change Monitoring Using Landsat MSS/TM Satellite Image Data over West Africa between 1975 and 1990. - Marian Vittek; Andreas Brink; Francois Donnay; Dario Simonetti; Baudouin Desclée (Remote. Sens., 2014)