Autori: Liquori Luigi
| Naslov | Federating Digital Contact Tracing using Structured Overlay Networks (Article) |
| Autori | Ghilezan Silvia  Kasterovic Simona Liquori Luigi Marinkovic Bojan B Ognjanovic Zoran D Stefanovic Tamara
|
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2022), vol. 19 br. 3, str. 1261-1282 |
| Projekat | Science Fund Republic of Serbia; [6526707 AI4TrustBC] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | Plugging-in proof development environments using Locks in LF (Article; Proceedings Paper) |
| Autori | Honsell Furio Liquori Luigi Maksimovic Petar Scagnetto Ivan |
| Info | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, (2018), vol. 28 br. 9, str. 1578-1605 |
| Projekat | COST Action [CA15123 EUTYPES]; Serbian Ministry of Education, Science, and Technological Development [ON174026, III44006] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads (Article) |
| Autori | Honsell Furio Liquori Luigi Maksimovic Petar Scagnetto Ivan |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2017), vol. 13 br. 3, str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | An open logical framework (Article) |
| Autori | Honsell Furio Lenisa Marina Scagnetto Ivan Liquori Luigi Maksimovic Petar |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2016), vol. 26 br. 1, str. 293-335 |
| Projekat | Serbian Ministry of Education, Science, and Technological Development [ON174026, III044006] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Analyzing the exhaustiveness of the Synapse protocol (Article) |
| Autori | Marinkovic Bojan B Ciancaglini Vincenzo Ognjanovic Zoran D Glavan Paola Liquori Luigi Maksimovic Petar
|
| Info | PEER-TO-PEER NETWORKING AND APPLICATIONS, (2015), vol. 8 br. 5, str. 793-806 |
| Projekat | Serbian Ministry of Education, Science and Technological Development through Matematicki Institut SANU [ON174026, III44006]; Ministarstvo znanosti, obrazovanja i sporta republike Hrvatske |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks (Proceedings Paper) |
| Autori | Ciancaglini Vincenzo Liquori Luigi Giang Ngo Hoang Maksimovic Petar |
| Info | NETWORKING 2012 WORKSHOPS, (2012), vol. 7291 br. , str. 10-18 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | A Distributed Catalog for Digitized Cultural Heritage (Proceedings Paper) |
| Autori | Marinkovic Bojan B Liquori Luigi Ciancaglini Vincenzo Ognjanovic Zoran D
|
| Info | ICT INNOVATIONS 2010, (2011), vol. 83 br. , str. 176-186 |
| Ispravka | Web of Science Citati: Web of Science Scopus |
|
|
| Naslov | Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks (Proceedings Paper) |
| Autori | Liquori Luigi Tedeschi Cedric Vanni Laurent Bongiovanni Francesco Ciancaglini Vincenzo Marinkovic Bojan B
|
| Info | NETWORKING 2010, PROCEEDINGS, (2010), vol. 6091 br. , str. 67-82 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
