Nikola Trcka

发表

Nikola Trcka, N. Trcka, 2006, ICFEM.
Jos C. M. Baeten, Bas Luttik, J. M. van de Mortel-Fronczak, 2005, J. Log. Algebraic Methods Program..
Mykola Pechenizkiy, P.M.E. De Bra, Nikola Trcka, 2012, EDM 2012.
Natalia Sidorova, Olga Kouchnarenko, Nikola Trcka, 2009 .
Sonja Georgievska, Suzana Andova, Nikola Trcka, 2012, Theor. Comput. Sci..
Bas Luttik, Nikola Trcka, 2005, SPIN.
Bas Luttik, Rob J. van Glabbeek, Nikola Trcka, 2009, Fundam. Informaticae.
Erik P. de Vink, Ana Sokolova, Jasen Markovski, 2007, EPEW.
Alberto Speranzon, Shaunak Dattaprasad Bopardikar, Mark Moulin, 2014, HiCoNS.
Natalia Sidorova, van der Wmp Wil Aalst, Nikola Trcka, 2008 .
Martijn Hendriks, Nikola Trcka, Lou Somers, 2011, SLE 2011.
Jasen Markovski, Nikola Trcka, J. Markovski, 2011, MMB.
Wil M. P. van der Aalst, Natalia Sidorova, Wil M.P. van der Aalst, 2008, 2008 IEEE Fourth International Conference on eScience.
Mykola Pechenizkiy, Nikola Trcka, 2009, 2009 Ninth International Conference on Intelligent Systems Design and Applications.
Wil M. P. van der Aalst, Natalia Sidorova, Nikola Trcka, 2009, 2009 IEEE International Conference on Automation Science and Engineering.
Wil M. P. van der Aalst, Natalia Sidorova, Wil M.P. van der Aalst, 2008, OTM Conferences.
Bas Luttik, Rob J. van Glabbeek, Nikola Trcka, 2009, Log. Methods Comput. Sci..
Mei Chen, Soumik Sarkar, Michael Giering, 2015, 2015 IEEE Aerospace Conference.
Nikola Trcka, 2010, BIS.
Wil M. P. van der Aalst, Natalia Sidorova, Wil M.P. van der Aalst, 2009, CAiSE.
Mykola Pechenizkiy, Wil M. P. van der Aalst, Wil M.P. van der Aalst, 2009, EDM.
Sonja Georgievska, Nikola Trcka, S. Georgievska, 2008, QAPL.
Mykola Pechenizkiy, Pedro A. Toledo, Paul De Bra, 2012, EDM.
Amit Surana, Nikola Trcka, 2013, 2013 IEEE International Conference on Robotics and Automation.
Mykola Pechenizkiy, van der Wmp Wil Aalst, Nikola Trcka, 2011, EDM 2011.
Twan Basten, Marc Voorhoeve, Nikola Trcka, 2011, 2011 Eleventh International Conference on Application of Concurrency to System Design.
Wil M. P. van der Aalst, Natalia Sidorova, Carmen Bratosin, 2010, Concurr. Comput. Pract. Exp..
Jasen Markovski, Nikola Trcka, J. Markovski, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Wil M. P. van der Aalst, Natalia Sidorova, Carmen Bratosin, 2008, OPODIS.
Twan Basten, Marc Geilen, Martijn Hendriks, 2011, 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.
Erik P. de Vink, Ana Sokolova, Jasen Markovski, 2009, Perform. Evaluation.
Nikola Trcka, Carmen Bratosin, Wil M. P. van der Aalst, 2010, Grid 2010.