Jelena Matkovic

According to our database, Jelena Matkovic authored at least 4 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2019

Radni okvir za vizualno modeliranje i formalnu verifikaciju izvršavanja poslovnoga procesa temeljen na modelima s dvosmjernim preslikavanjem ; Framework for visual modelling and formal verification of business process execution based on two-way mapping models.

Jelena Matkovic

PhD thesis, 2019

2014

Formal checking of WS-BPEL orchestrations.

Jelena Matkovic, Kresimir Fertalj

Proceedings of the 37th International Convention on Information and Communication Technology, 2014

2012

Models for the development of Web service orchestrations.

Jelena Matkovic, Kresimir Fertalj

Proceedings of the 2012 Proceedings of the 35th International Convention, 2012

2011

Inside of composite Web service development.

Jelena Matkovic, Kresimir Fertalj

Proceedings of the MIPRO, 2011