Constructing communication protocols on reliable bounded FIFO channels without overspecification. - Monika Kapus-Kolar (Microprocessing and Microprogramming, 1990)

Constructing real-time multi-channel protocols. - Monika Kapus-Kolar (Microprocessing and Microprogramming, 1990)

Deriving protocol specifications from service specifications including parameters. - Monika Kapus-Kolar (Microprocessing and Microprogramming, 1991)

Deriving protocol specifications from service specifications including multirendezvous. - Monika Kapus-Kolar (Microprocess. Microprogramming, 1992)

Derivation of protocols implementing services with event priorities. - Monika Kapus-Kolar (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)

Employing disruptions for more efficient functionality decomposition in LOTOS. - Monika Kapus-Kolar (EUROMICRO, 1997)

Supporting Service Parameters in E-LOTOS-Based Protocol Derivation. - Monika Kapus-Kolar (Applied Informatics, 1999)

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

Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS. - Monika Kapus-Kolar (Distributed Comput., 1999)

More Efficient Functionality Decomposition in LOTOS. - Monika Kapus-Kolar (Informatica (Slovenia), 1999)

Deriving protocols for services supporting mobile users. - Monika Kapus-Kolar (Inf. Softw. Technol., 2000)

Global conflict resolution in automated service-based -protocol synthesis. - Monika Kapus-Kolar (South Afr. Comput. J., 2001)

A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS. - Monika Kapus-Kolar (Comput. Stand. Interfaces, 2002)

Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols. - Monika Kapus-Kolar (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

Deriving Self-Stabilizing Protocols for Services Specified in LOTOS. - Monika Kapus-Kolar (Informatica (Slovenia), 2003)

A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition. - Monika Kapus-Kolar (Comput. Stand. Interfaces, 2004)

Towards weak sequencing for E-LOTOS. - Monika Kapus-Kolar (Comput. Stand. Interfaces, 2005)

Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines. - Monika Kapus-Kolar (Comput. J., 2007)

Enhanced event structures: Towards a true concurrency semantics for E-LOTOS. - Monika Kapus-Kolar (Comput. Stand. Interfaces, 2007)

Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines. - Monika Kapus-Kolar (Comput. J., 2009)

An action refinement operator for E-LOTOS with true concurrency. - Monika Kapus-Kolar (Comput. Stand. Interfaces, 2009)

Reversible enhanced event structures: Towards reversible E-LOTOS. - Monika Kapus-Kolar (Comput. Stand. Interfaces, 2009)

Improvements to a Roll-Back Mechanism for Asynchronous Checkpointing and Recovery. - Monika Kapus-Kolar (Informatica (Slovenia), 2009)

New state-recognition patterns for conformance testing of finite state machine implementations. - Monika Kapus-Kolar (Comput. Stand. Interfaces, 2012)

On "Exploring alternatives for transition verification". - Monika Kapus-Kolar (J. Syst. Softw., 2012)

Error-preserving local transformations on communication protocols. - Monika Kapus-Kolar (Softw. Test. Verification Reliab., 2013)

On the global optimization of checking sequences for finite state machine implementations. - Monika Kapus-Kolar (Microprocess. Microsystems, 2014)

A Generalization of a Popular Fault-Coverage-Preserving Test Set Transformation. - Monika Kapus-Kolar (J. Univers. Comput. Sci., 2017)

Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels. - Monika Kapus-Kolar (J. Log. Algebraic Methods Program., 2020)