Differences

This shows you the differences between two versions of the page.

--- research:publications [2016/11/30 21:43]
luca
+++ research:publications [2016/11/30 22:31]
luca
@@ Line 104: / Line 104: @@
 ==== Conference Papers ====
-  * Cacciagrano, Diletta Romana and Corradini, Flavio and Culmone, Rosario and Tesei, Luca and Vito, Leonardo (2008) "A model-prover for constrained dynamic conversations", In Proceedings of the 10th International Conference on Information Integration and Web-based Applications & services (iiWAS2008), Linz, Austria, November 24-26, 2008, 630-633.\\ [[http://dx.doi.org/10.1145%2F1497308.1497428|DOI]], [[http://hdl.handle.net/11581/202369|Entry at UNICAM Repository]], {{ :research:ccclt08-postprint.pdf |PDF}}
+  * Cacciagrano, Diletta Romana and Corradini, Flavio and Culmone, Rosario and Tesei, Luca and Vito, Leonardo (2008) "A model-prover for constrained dynamic conversations", In //Proceedings of the 10th International Conference on Information Integration and Web-based Applications & services (iiWAS2008)//, Linz, Austria, November 24-26, 2008, 630-633.\\ [[http://dx.doi.org/10.1145%2F1497308.1497428|DOI]], [[http://hdl.handle.net/11581/202369|Entry at UNICAM Repository]], {{ :research:ccclt08-postprint.pdf |PDF}}
 ===== 2004 =====
@@ Line 110: / Line 110: @@
 ==== Journal Papers ====
-  * Barbuti, Roberto; Cataudella, Stefano; Tesei, Luca (2004) "Abstract Interpretation Against Races", Fundamenta Informaticae 60(1-4), 67-79.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-06|Page at Publisher]], [[http://hdl.handle.net/11581/201304|Entry at UNICAM Repository]], {{ :research:bct04-postprint.pdf |PDF}}
+  * Barbuti, Roberto; Cataudella, Stefano; Tesei, Luca (2004) "Abstract Interpretation Against Races", //Fundamenta Informaticae// **60**(1-4), 67-79.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-06|Page at Publisher]], [[http://hdl.handle.net/11581/201304|Entry at UNICAM Repository]], {{ :research:bct04-postprint.pdf |PDF}}
+  * Barbuti, Roberto and Tesei, Luca (2004) "Timed automata with urgent transitions", //Acta Informatica// **40**(5), 317-347.\\ [[http://dx.doi.org/10.1007%2Fs00236-003-0135-6|DOI]], [[http://hdl.handle.net/11581/201303|Entry at UNICAM Repository]], {{ :research:bt04-postprint.pdf |PDF}}
+===== 2003 =====
+==== Journal Papers ====
+  * Barbuti, Roberto and Tesei, Luca (2003) "A Decidable Notion of Timed Non-Interference", //Fundamenta Informaticae// **54**(2-3), 137-150.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-03|Page at Publisher]], [[http://hdl.handle.net/11581/201245|Entry at UNICAM Repository]], {{ :research:bt03-postprint.pdf |PDF}}
+  * De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2003) "Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems", //Fundamenta Informaticae// **54**(2-3), 195-211.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-07|Page at Publisher]], [[http://hdl.handle.net/11581/201302|Entry at UNICAM Repository]], {{ :research:dst03-postprint.pdf |PDF}}
+===== 2002 =====
+==== Journal Papers ====
+  * Barbuti, Roberto and De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2002) "A Notion of Non-Interference for Timed Automata", //Fundamenta Informaticae// **51**(1-2), 1-11.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-02|Page at Publisher]], [[http://hdl.handle.net/11581/201244|Entry at UNICAM Repository]], {{ :research:bdst02-postprint.pdf |PDF}}
+===== 2001 =====
+==== Journal Papers ====
+  * Barbuti, Roberto and De Francesco, Nicoletta and Tesei, Luca (2001) "Timed Automata with non-Instantaneous Actions", Fundamenta Informaticae 47(3-4), 189-200.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi47-3-4-02|Page at Publisher]], [[http://hdl.handle.net/11581/201243|Entry at UNICAM Repository]], {{ :research:bdt01-postprint.pdf |PDF}}