Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:publications [2016/11/30 21:04]
luca [Journal Papers]
research:publications [2016/11/30 22:31] (current)
luca [Journal Papers]
Line 95: Line 95:
   * Barbuti, Roberto and Maggiolo-Schettini,​ Andrea and Milazzo, Paolo and Tesei, Luca (2009) "Timed P Automata",​ //​Electronic Notes in Theoretical Computer Science// **227**, 21-36.\\ [[http://​dx.doi.org/​10.1016%2Fj.entcs.2008.12.102|DOI]],​ [[http://​hdl.handle.net/​11581/​9901|Entry at UNICAM Repository]],​ {{ :​research:​bmmt09-postprint.pdf |PDF}}   * Barbuti, Roberto and Maggiolo-Schettini,​ Andrea and Milazzo, Paolo and Tesei, Luca (2009) "Timed P Automata",​ //​Electronic Notes in Theoretical Computer Science// **227**, 21-36.\\ [[http://​dx.doi.org/​10.1016%2Fj.entcs.2008.12.102|DOI]],​ [[http://​hdl.handle.net/​11581/​9901|Entry at UNICAM Repository]],​ {{ :​research:​bmmt09-postprint.pdf |PDF}}
   * Bartocci, Ezio and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca (2009) "Model Checking Biological Oscillators",​ //​Electronic Notes in Theoretical Computer Science// **229**, 41-58.\\ [[http://​dx.doi.org/​10.1016%2Fj.entcs.2009.02.004|DOI]],​ [[http://​hdl.handle.net/​11581/​115139|Entry at UNICAM Repository]],​ {{ :​research:​bcmt09-postprint.pdf |PDF}}   * Bartocci, Ezio and Corradini, Flavio and Merelli, Emanuela and Tesei, Luca (2009) "Model Checking Biological Oscillators",​ //​Electronic Notes in Theoretical Computer Science// **229**, 41-58.\\ [[http://​dx.doi.org/​10.1016%2Fj.entcs.2009.02.004|DOI]],​ [[http://​hdl.handle.net/​11581/​115139|Entry at UNICAM Repository]],​ {{ :​research:​bcmt09-postprint.pdf |PDF}}
 +
 +===== 2008 =====
 +
 +==== Journal Papers ====
 +
 +  * Corradini, Flavio and Polzonetti, Alberto and Re, Barbara and Tesei, Luca (2008) "​Quality of service in e-Government underlines the role of information usability",​ //​International Journal of Information Quality// **2**(2), 133-151.\\ [[http://​dx.doi.org/​10.1504%2FIJIQ.2008.022960|DOI]],​ [[http://​hdl.handle.net/​11581/​201306|Entry at UNICAM Repository]],​ {{ :​research:​cprt08-postprint.pdf |PDF}}
  
 ==== Conference Papers ==== ==== Conference Papers ====
  
-  * Unordered List Item+  * 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 ===== 
 + 
 +==== 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 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}}