Autori: Yoshida Nobuko
| Naslov | On Asynchronous Multiparty Session Types for Federated Learning (Proceedings Paper) |
| Autori | Prokic Ivan  Prokic Simona B Ghilezan Silvia Scalas Alceste Yoshida Nobuko
|
| Info | THEORETICAL ASPECTS OF COMPUTING-ICTAC 2025, (2026), vol. 16237 br. , str. 164-182 |
| Projekat | Horizon EU [101093006 TaRDIS, 451-03-137/2025-03/200156, 01-50/295]; COST [CA20111 EuroProofNet]; EPSRC [EP/T006544/2, EP/N027833/2, EP/T014709/2, EP/V000462/1, EP/X015955/1, EP/Y005244/1] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
     |
| 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 | Precise Subtyping for Asynchronous Multiparty Sessions (Article) |
| Autori | Ghilezan Silvia Pantovic Jovanka B Prokic Ivan Scalas Alceste Yoshida Nobuko
|
| Info | PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, (2021), vol. 5 br. , 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]; NCSS/EPSRC VeTSS; MPNTR; SFRS [6526707]; EPSRC [EP/T006544/1, EP/K034413/1, EP/K011715/1, EP/T014709/1, EP/N027833/1, EP/N028201/1, EP/L00058X/1] Funding Source: UKRI; ISCF [EP/V000462/1] Funding Source: UKRI |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| 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 |
|
|
