Autori: Pantovic Jovanka B
Naslov | Precise Subtyping for Asynchronous Multiparty Sessions (Article) |
Autori | Ghilezan Silvia Pantovic Jovanka B Prokic Ivan Scalas Alceste Yoshida Nobuko |
Info | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, (2023), vol. 24 br. 2, str. - |
Projekat | EU [830929]; EU COST Actions [CA15123, IC1201]; EPSRC [EP/T006544/1, EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T014709/1, EP/V000462/1, EP/X015955/1]; NCSS/EPSRC VeTSS; MPNTR; SFRS [6526707, 6458932]; Danmark Industriens Fond Cyberprogram [2020-0489] |
Ispravka | Web of Science Članak Elečas Rang časopisa |
|
Naslov | Characteristic Vectors of Reversible Boolean Functions with Threshold Components (Proceedings Paper) |
Autori | Karalic Andrea Pantovic Jovanka B Suknjaja Hristina |
Info | 2022 IEEE 52ND INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2022), (2022), vol. br. , str. 113-118 |
Projekat | Ministry of Education, Science and Technological Development [451-03-68/2022-14/200156]; Science Fund of the Republic of Serbia [6458932] |
Ispravka | Web of Science Članak Citati: Web of Science Scopus |
|
Naslov | On primitives for compensation handling as adaptable processes (Article) |
Autori | Dedeic Jovana Pantovic Jovanka B Perez Jorge A |
Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2021), vol. 121 br. , str. - |
Projekat | EU COST Action ("BETTY") [IC1201]; SFRS [6458932]; MPNTR ("Innovative scientific and artistic research from domain of FTS"); Dutch Research Council (NWO)Netherlands Organization for Scientific Research (NWO) [016.Vidi.189.046] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Characterization of Generalized S-Threshold Functions by Nomura Parameters (Article) |
Autori | Prokic Ivan Pantovic Jovanka B |
Info | JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, (2019), vol. 33 br. 3, str. 271-290 |
Projekat | Ministry of Education and Science of the Republic of Serbia [ON174026, III44006] |
Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Closed Sets of Monomials in Two Variables Generated by Singletons (Article) |
Autori | Machida Hajime Pantovic Jovanka B |
Info | JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, (2019), vol. 33 br. 3, str. 219-238 |
Projekat | Ministry of Education and Science of the Republic of Serbia [ON174026, III44006] |
Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | A calculus for modeling floating authorizations (Article) |
Autori | Prokic Ivan Pantovic Jovanka B Vieira Hugo Torres |
Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2019), vol. 107 br. , str. 136-174 |
Projekat | Ministry of Education and Science of the Republic of Serbia [ON174026]; EU COST Action [IC1405] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Precise subtyping for synchronous multiparty sessions (Article) |
Autori | Ghilezan Silvia Jaksic Svetlana Pantovic Jovanka B Scalas Alceste Yoshida Nobuko |
Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2019), vol. 104 br. , str. 127-173 |
Projekat | EPSRC [EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1]; MPNTR [ON174026, III044006]; COST Action EUTYPES [CA15123]; ICT COST Action BETTY [IC1201]; COST Action ARVI [IC1402]; European Horizon 2020 project COEMS [732016] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Monomial Clones Over Small Finite Fields (Article) |
Autori | Machida Hajime Pantovic Jovanka B |
Info | JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, (2018), vol. 31 br. 3, str. 271-286 |
Projekat | Serbian Ministry of Science - projects [III44006/ON174026] |
Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Linked data privacy (Article) |
Autori | Jaksic Svetlana Pantovic Jovanka B Ghilezan Silvia |
Info | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, (2017), vol. 27 br. 1, str. 33-53 |
Projekat | Serbian Ministry of Education, Science and Technological Development [ON174026, III44006]; COST Action [IC1201] |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
Naslov | Monomial Clones: Local Results and Global Properties (Proceedings Paper) |
Autori | Machida Hajime Pantovic Jovanka B |
Info | 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), (2016), vol. br. , str. 78-83 |
Ispravka | Web of Science Članak Citati: Web of Science |
|