Publications
Publications found: 406
- Achieving completeness in bounded model checking of action theories in ASP
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Published on TR-INF-2011-12-04-UNIPMN, Ed. Computer Science Department, UPO, 2011 - SAN models of a benchmark on dynamic reliability
Daniele Codetta Raiteri
Published on TR-INF-2011-12-03-UNIPMN, Ed. Computer Science Department, UPO, 2011 - A new symbolic approach for network reliability analysis
Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis, Roberta Terruggia
Published on TR-INF-2011-06-02-UNIPMN, Ed. Computer Science Department, UPO, 2011 - Spaced Seeds Design Using Perfect Rulers
Lavinia Egidi, Giovanni Manzini
Published on TR-INF-2011-06-01-UNIPMN, Ed. Computer Science Department, UPO, 2011 - Extending the lambda-calculus with unbind and rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Published on RAIRO - Theoretical Informatics and Applications, 2011 - Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins
Paola Giannini, Dino Ienco, Eva Sciacca, Salvatore Spinella
Published on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics. Springer LNCS 6623, 2011 - Type Directed Semantics for the Calculus of Looping Sequences
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published on International Journal of Software and Informatics, 2011 - Preface
Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf
Published on Fundam. Inform. Vol. 105 n. 3, 2010 - Simple ( log) Time Markov Chain Lumping
Antti Valmari, Giuliana Franceschinis
Published on TACAS, 2010, Pages: 38-52 - Il Pignoletto Rosso: Semantic Web Technology in a Food- and Human-centered Project
F. Antonelli, F. Cena, D. Mana, F. Protti, Daniele Theseider Dupré
Published on 6th Workshop on Semantic Web Applications and Perspectives, 2010, Pages: --
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
