Pubblicazioni
Pubblicazioni trovate: 412
- Extending the lambda-calculus with unbind and rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Apparso su 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
Apparso su 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
Apparso su International Journal of Software and Informatics, 2011 - Preface
Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf
Apparso su Fundam. Inform. Vol. 105 n. 3, 2010 - Simple ( log) Time Markov Chain Lumping
Antti Valmari, Giuliana Franceschinis
Apparso su TACAS, 2010, Pagine: 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é
Apparso su 6th Workshop on Semantic Web Applications and Perspectives, 2010, Pagine: -- - Threading Facts into a Collective Narrative World.
S. Likavec, I. Lombardi, A. Nantiat, C. Picardi, Daniele Theseider Dupré
Apparso su Interactive Storytelling - Third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, 2010, Pagine: -- - Verifying Business Process Compliance by Reasoning about Actions
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gianluca Pozzato, Daniele Theseider Dupré
Apparso su Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010, Pagine: -- - Innovations in Case-Based Reasoning Applications
Lakhmi. Jain, Stefania Montani
Apparso su Successful Case-Based Reasoning Applications, SCI 305, Ed. Springer, Berlin, 2010, Pagine: 1-5 - BIOBITS A study on Candidatus Glomeribacter gigasporarum with a data warehouse
Francesca Cordero, Stefano Ghignone, Luisa Lanfranco, Giorgio Leonardi, Rosa Meo, Stefania Montani, Luca Roversi
Apparso su Database Technology for Life Sciences and Medicine, Ed. World Scientific, Singapore, 2010
Pagine: « < 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 42 > »
