Monika Kapus-Kolar

	2009
16		Monika Kapus-Kolar: An action refinement operator for E-LOTOS with true concurrency. Computer Standards & Interfaces 31(1): 77-87 (2009)
15		Monika Kapus-Kolar: Reversible enhanced event structures: Towards reversible E-LOTOS. Computer Standards & Interfaces 31(5): 942-947 (2009)
	2007
14		Monika Kapus-Kolar: Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines. Comput. J. 50(3): 315-331 (2007)
13		Monika Kapus-Kolar: Enhanced event structures: Towards a true concurrency semantics for E-LOTOS. Computer Standards & Interfaces 29(2): 205-215 (2007)
	2005
12		Monika Kapus-Kolar: Towards weak sequencing for E-LOTOS. Computer Standards & Interfaces 28(1): 59-73 (2005)
	2004
11		Monika Kapus-Kolar: A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition. Computer Standards & Interfaces 26(6): 549-563 (2004)
	2003
10		Monika Kapus-Kolar: Deriving Self-Stabilizing Protocols for Services Specified in LOTOS. Informatica (Slovenia) 27(1): 57-74 (2003)
	2001
9		Monika Kapus-Kolar: Global conflict resolution in automated service-based -protocol synthesis. South African Computer Journal 27: 34-48 (2001)
	2000
8		Monika Kapus-Kolar: Deriving protocols for services supporting mobile users. Information & Software Technology 42(9): 619-631 (2000)
	1999
7		Monika Kapus-Kolar: Supporting Service Parameters in E-LOTOS-Based Protocol Derivation. Applied Informatics 1999: 631-633
6		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
5		Monika Kapus-Kolar: Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing 12(4): 175-177 (1999)
4		Monika Kapus-Kolar: More Efficient Functionality Decomposition in LOTOS. Informatica (Slovenia) 23(2): (1999)
	1997
3		Monika Kapus-Kolar: Employing disruptions for more efficient functionality decomposition in LOTOS. EUROMICRO 1997: 464-
	1994
2		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
1		Monika Kapus-Kolar: Derivation of protocols implementing services with event priorities. Microprocessing and Microprogramming 39(2-5): 213-216 (1993)

Coauthor Index

1	Marjeta Frey-Pucko (Marjeta Pucko)	[2] [6]
2	Gorazd Kandus	[2]
3	Roman Novak	[6]