Avtomatska servisno vodena sinteza protokolov za specifične uporabnike : doktorska disertacija /

od Frey-Pučko, Marjeta.
Izdano 1995

Causal dependence and probability in distributed system specification /

od Frey-Pučko, Marjeta., Kapus-Kolar, Monika.

Developing multi-user interfaces for CSCW environment /

od Frey-Pučko, Marjeta., Kapus-Kolar, Monika., Rugelj, Jože.

Causal dependence in distributed system design /

od Frey-Pučko, Marjeta., Kapus-Kolar, Monika., Novak, Roman.

Development of intelligent network services using algebraic service and protocol specification /

od Frey-Pučko, Marjeta., Kapus-Kolar, Monika., Jagodič, Marko, 1935-

The next NGN service creation model based on intelligent multi agent systems /

od Maloku, Naim., Aljaž, Tomaž., Kunštić, Marijan., Stojsavljevič, Majda., Frey-Pučko, Marjeta.

COST 247 "Verification and validation methods for formal descriptions" : letno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : številka pogodbe MS-20/...

od Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Kapus-Kolar, Monika., Frey-Pučko, Marjeta., Štrakl, Marjan., Časar, Aleš., Meolic, Robert.
Izdano 1996

COST 247 "Verification and validation methods for formal descriptions" : letno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : št. pogodbe MS-20/95 /...

od Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Kapus-Kolar, Monika., Frey-Pučko, Marjeta., Štrakl, Marjan., Časar, Aleš., Meolic, Robert.
Izdano 1997

COST 247 "Verification and validation methods for formal descriptions" : zaključno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 /

od Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Kapus-Kolar, Monika., Frey-Pučko, Marjeta., Štrakl, Marjan., Časar, Aleš., Meolic, Robert., Dugonik, Bogdan.
Izdano 1998

COST 247 International Workshop on Applied Formal Methods in System Design, June 17-19, 1996, Maribor, Slovenia /

od Brezočnik, Zmago., Balan, Filip Samo., Časar, Aleš., Dugonik, Bogdan., Horvat, Bogomir, 1936-, Jagodič, Marko, 1935-, Kapus, Tatjana., Kruščič, Andrej., Meolic, Robert., Frey-Pučko, Marjeta., Štrakl, Marjan.
Izdano 1996