Embedded Files
2021
Ivan Prokić, Hugo Torres Vieira: The Cpi-calculus: A Model for Confidential Name Passing. Journal of Logical and Algebraical Methods in Programming (M21) https://www.sciencedirect.com/science/article/pii/S2352220820301073
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida: Precise Subtyping for Asynchronous Multiparty Sessions. POPL 2021 (M33)
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)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida: Precise Subtyping for Asynchronous Multiparty Sessions. CoRR abs/2010.13925 (2020)
2019
Ivan Prokic, Jovanka Pantovic, Hugo Torres Vieira: A calculus for modeling floating authorizations. Journal of Logical and Algebraic Methods in Programming, 107: 136-174(2019) (M21)
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida, Alceste Scalas, Precise subtyping for synchronous multiparty sessions, Јournal of Logical and Algebraic Methods in Programming, 104: 127-173 (2019). (M21)
Ivan Prokić, Jovanka Pantović, Characterization of Generalized S-Threshold Functions by Nomura Parameters, Journal of Multiple-Valued Logic and Soft Computing 33(3): 219-238 (2019). (M22)
Hajime Machida, Jovanka Pantović, Closed sets of monomials in two variables generated by singletons, Journal of Multiple-Valued Logic and Soft Computing 33(3): 271-290 (2019). (M22)
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
Hajime Machida, Jovanka Pantovic: Monomial Clones Over Small Finite Fields, Journal of Multiple-Valued Logic and Soft Computing 31(3): 271-286 (2018) (M22)
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira: A Calculus for Modeling Floating Authorizations. FORTE 2018: 101-120 (M33)
Hajime Machida, Jovanka Pantovic: One Class of Maximal Binary Monomials. ISMVL 2018: 80-84 (M33)
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/
2017
Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan: Linked data privacy. Mathematical Structures in Computer Science 27(1): 33-53 (2017) (M22)
Hajime Machida, Jovanka Pantovic: Three Classes of Closed Sets of Monomials. ISMVL 2017: 100-105 (M33)
Ivan Prokic, Jovanka Pantovic: Nomura Parameters for S-Threshold Functions. ISMVL 2017: 248-253
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez: Efficient compensation handling via subjective updates. SAC 2017: 51-58
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)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira: Dynamic role authorization in multiparty conversations. Formal Aspects of Computing 28(4): 643-667 (2016) (M23)
Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic: Encoding of Multi Level S-Threshold Functions. Multiple-Valued Logic and Soft Computing 26(1-2): 89-108 (2016) (M23)
Paul L. Rosin, Jovanka Pantovic, Jovisa D. Zunic: Measuring linearity of curves in 2D and 3D. Pattern Recognition 49: 65-78 (2016) (M23)
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida: Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods 2016: 155-172
Hajime Machida, Jovanka Pantovic: Monomial Clones: Local Results and Global Properties. ISMVL 2016: 78-83
Page updated
Google Sites
Report abuse