DBLP | ORCID | Scopus


2020

  • Ivan Prokić: Characterization of Multiple-Valued Threshold Functions in the Vilenkin-Chrestenson Basis. Journal of Multiple-Valued Logic and Soft Computing, 34.3-4:223-238, 2020. (M22) abstract

2019

  • Ivan Prokić, Jovanka Pantović: Characterization of Generalized S-Threshold Functions by Nomura Parameters. Journal of Multiple-Valued Logic and Soft Computing, 33:271-290, 2019. (M22) abstract
  • Ivan Prokić, Jovanka Pantović, Hugo Torres Vieira: A Calculus for Modeling Floating Authorizations. Journal of Logical and Algebraical Methods in Programming, 107:136-174, 2019. (M21) https://doi.org/10.1016/j.jlamp.2019.06.002
  • Ivan Prokić: The Cpi-calculus: A Model for Confidential Name Passing. In M. Bartoletti, L. Henrio, A. Mavridou, and A. Scalas, editors, Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019, volume 304 of Electronic Proceedings in Theoretical Computer Science, pages 115-136. Open Publishing Association. (M33) CoRR abs/1902.09927

2018

  • Jovanka Pantović, Ivan Prokić, Hugo Torres Vieira: A Calculus for Modeling Floating Authorizations. In Proceedings of Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, (FORTE), Madrid, Spain, June 2018, Lecture Notes in Computer Science, vol. 10854, pp 101-120, Springer. (M33) https://doi.org/10.1007/978-3-319-92612-4
  • Ivan Prokić: Characterization of Quaternary Threshold Functions in the Vilenkin-Chrestenson Basis. In Proceedings of the IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL2018), Linz, Austria, May 2018, pp. 13-18. (M33) https://ieeexplore.ieee.org/document/8416914/
  • Jovanka Pantović, Ivan Prokić, Hugo Torres Vieira: A Calculus for Modeling Floating Authorizations. CoRR abs/1802.05863

2017

2016

  • Aleksandar Nikolić, Ivan Prokić: Mirko Stojaković(1915-1985). Lives and work of the Serbian scientists, Biographies and Bibliographies, Vol. 15, SASA, 205-254, Belgrade, 2016. (M44)