![]() | ![]() |
Marjeta Pucko
List of publications from the DBLP Bibliography Server - FAQ
| 2001 | ||
|---|---|---|
| 8 | Marjeta Frey-Pucko, Roman Novak, Gorazd Kandus: SEPAM -- CMM Implementation for Developing Telecommunications Systems. EUROMICRO 2001: 272-278 | |
| 1999 | ||
| 7 | Marjeta Frey-Pucko, Monika Kapus-Kolar, Roman Novak: Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL. IWTCS 1999: 347-362 | |
| 1998 | ||
| 6 | Marjeta Frey-Pucko, Maximilian Frey: Multi-View Specification of CSCW Applications. EUROMICRO 1998: 20484-20491 | |
| 5 | Maximilian Frey, Marjeta Pucko: Formal specification of CSCW applications with concurrent abstract data types. Journal of Systems Architecture 44(5): 343-357 (1998) | |
| 1994 | ||
| 4 | Marjeta Pucko, Monika Kapus-Kolar, Gorazd Kandus: Automated derivation of protocols implementing intelligent network services. Microprocessing and Microprogramming 40(10-12): 707-710 (1994) | |
| 1993 | ||
| 3 | Marjeta Pucko, Monika Kapus-Kolar, Joze Rugelj: Developing multi-user interfaces for CSCW environment. Microprocessing and Microprogramming 37(1-5): 123-126 (1993) | |
| 2 | Tatjana Kapus, Bogomir Horvat, Marjeta Pucko: A true concurrency semantics for parallel programs. Microprocessing and Microprogramming 39(2-5): 143-146 (1993) | |
| 1 | Marjeta Pucko, Gorazd Kandus: Service-driven protocol synthesis for specific users. Microprocessing and Microprogramming 39(2-5): 195-198 (1993) | |
| 1 | Maximilian Frey | [5] [6] |
| 2 | Bogomir Horvat | [2] |
| 3 | Gorazd Kandus | [1] [4] [8] |
| 4 | Tatjana Kapus | [2] |
| 5 | Monika Kapus-Kolar | [3] [4] [7] |
| 6 | Roman Novak | [7] [8] |
| 7 | Joze Rugelj | [3] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page