A true concurrency semantics for parallel programs. - Tatjana Kapus; Bogomir Horvat; Marjeta Pucko (Microprocess. Microprogramming, 1993)

Service-driven protocol synthesis for specific users. - Marjeta Pucko; Gorazd Kandus (Microprocess. Microprogramming, 1993)

Developing multi-user interfaces for CSCW environment. - Marjeta Pucko; Monika Kapus-Kolar; Joze Rugelj (Microprocess. Microprogramming, 1993)

Automated derivation of protocols implementing intelligent network services. - Marjeta Pucko; Monika Kapus-Kolar; Gorazd Kandus (Microprocess. Microprogramming, 1994)

Multi-View Specification of CSCW Applications. - Marjeta Frey-Pucko; Maximilian Frey (EUROMICRO, 1998)

Formal specification of CSCW applications with concurrent abstract data types. - Maximilian Frey; Marjeta Pucko (J. Syst. Archit., 1998)

Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL. - Marjeta Frey-Pucko; Monika Kapus-Kolar; Roman Novak (IWTCS, 1999)

SEPAM – CMM Implementation for Developing Telecommunications Systems. - Marjeta Frey-Pucko; Roman Novak; Gorazd Kandus (EUROMICRO, 2001)