1![CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A](https://www.pdfsearch.io/img/c717133c83549641701f8e6f0305a7c0.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 15:56:37
|
---|
2![Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop](https://www.pdfsearch.io/img/0b21db153daa815335107ceadb066f6e.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:28:54
|
---|
3![Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University](https://www.pdfsearch.io/img/14477de4e599ca8cbfc3e360ef87db99.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:33:47
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: xn--amiti-franco-slovaque-f5b.eu- Date: 2014-02-07 07:39:19
|
---|
5![EUROPA : ALLA RICERCA DEL CAPITALISMO DAL VOLTO UMANO Ciclo di incontri a cura di Franco Amatori Gli incontri si svolgono alle oresolo il 6 febbraio ore 18.30) EUROPA : ALLA RICERCA DEL CAPITALISMO DAL VOLTO UMANO Ciclo di incontri a cura di Franco Amatori Gli incontri si svolgono alle oresolo il 6 febbraio ore 18.30)](https://www.pdfsearch.io/img/aa0481622e254c08acab99f686c59811.jpg) | Add to Reading ListSource URL: www.casadellacultura.itLanguage: Italian - Date: 2018-01-11 18:37:45
|
---|
6![Colloque de recherche franco-allemand Stuttgart, 25-27 octobre 2018 Le Centre International pour la Recherche Culturelle et Technique (IZKT) invite chaque année des doctorants et post-docs allemands et français à un c Colloque de recherche franco-allemand Stuttgart, 25-27 octobre 2018 Le Centre International pour la Recherche Culturelle et Technique (IZKT) invite chaque année des doctorants et post-docs allemands et français à un c](https://www.pdfsearch.io/img/eb9cc060a6672e7226bc34e674d21c2f.jpg) | Add to Reading ListSource URL: www.theorieblog.deLanguage: French - Date: 2018-06-06 10:34:44
|
---|
7![JOURNÉE DE L’EMPLOI FRANCO-ALLEMAND 11 mai · 11. Mai 2012 Maison Internationale Paris JOURNÉE DE L’EMPLOI FRANCO-ALLEMAND 11 mai · 11. Mai 2012 Maison Internationale Paris](https://www.pdfsearch.io/img/ae72cdcd5fe7cfd2b9281beef4bf56ad.jpg) | Add to Reading ListSource URL: www.connecti.deLanguage: French - Date: 2014-06-04 12:02:51
|
---|
8![Sommario Franco Ferrarotti, I partiti politici: rinnovarsi o perire 9 Saggi Sommario Franco Ferrarotti, I partiti politici: rinnovarsi o perire 9 Saggi](https://www.pdfsearch.io/img/0dddf4eba39a87ba466c5cafc34834d5.jpg) | Add to Reading ListSource URL: www.lacriticasociologica.it- Date: 2013-12-17 05:23:37
|
---|
9![Media Contact: Megan Peterson Franco Media Contact: Megan Peterson Franco](https://www.pdfsearch.io/img/a1d15bc99ed503bfa8e36cbc3a5721ba.jpg) | Add to Reading ListSource URL: s3.amazonaws.comLanguage: English - Date: 2017-11-14 14:30:42
|
---|
10![January100mW 24GHz Band x2 Multipliers By Franco Rota I2FHW In this Issue January100mW 24GHz Band x2 Multipliers By Franco Rota I2FHW In this Issue](https://www.pdfsearch.io/img/b2bb0ad83c563d8174160a8925810831.jpg) | Add to Reading ListSource URL: www.microwavers.orgLanguage: English - Date: 2014-01-01 09:09:58
|
---|