Ident. | Authors (with country if any) | Title |
---|
000010 (2014) |
B. Addis [France] ; A. Capone [Italie] ; G. Carello [Italie] ; L. G. Gianoli [Italie, Canada] ; B. Sanso [Canada] | On the energy cost of robustness and resiliency in IP networks |
000018 (2014) |
Bernardetta Addis [France] ; Danilo Ardagna [Italie] ; Antonio Capone [Italie] ; Giuliana Carello [Italie] | Energy-aware joint management of networks and Cloud infrastructures |
000019 (2014) |
V. Colelli [Italie] ; P. Campus [Italie] ; D. Conversi [Italie] ; C. Orsini [Italie] ; S. Cabib [Italie] | Either the dorsal hippocampus or the dorsolateral striatum is selectively involved in consolidation of forced swim-induced immobility depending on genetic background |
000056 (2013) |
Giuseppe Patane [Italie] | Multi-resolutive sparse approximations of d-dimensional data |
000071 (2013) |
Guido Governatori [Australie] ; Francesco Olivieri [Australie, Italie] ; Antonino Rotolo [Italie] ; Simone Scannapieco [Australie, Italie] | Computing Strong and Weak Permissions in Defeasible Logic |
000079 (2013) |
D. Battaglino [Italie] ; A. Frosini [Italie] ; S. Rinaldi [Italie] | A decomposition theorem for homogeneous sets with respect to diamond probes |
000106 (2012) |
Alessandro Furlan [France] ; Francesco Colombo [Italie] ; Andrea Kover [Espagne] ; Nathalie Issaly [France] ; Cristina Tintori [Italie] ; Lucilla Angeli [Italie] ; Vincent Leroux [France, Norvège] ; Sebastien Letard [France] ; Mercedes Amat [Espagne] ; Yasmine Asses [France] ; Bernard Maigret [France] ; Patrice Dubreuil [France] ; Maurizio Botta [Italie] ; Rosanna Dono [France] ; Joan Bosch [Espagne] ; Oreste Piccolo [Italie] ; Daniele Passarella [Italie] ; Flavio Maina [France] | Identification of new aminoacid amides containing the imidazo[2,1-b] benzothiazol-2-ylphenyl moiety as inhibitors of tumorigenesis by oncogenic Met signaling |
000126 (2011) |
Gaetano Mangiapia [Italie] ; Gerardino D'Errico [Italie] ; Fabio Capuano [Italie] ; Ornella Ortona [Italie] ; Richard K. Heenan [Royaume-Uni] ; Luigi Paduano [Italie] ; Roberto Sartorio [Italie] | On the interpretation of transport properties of sodium cholate and sodium deoxycholate in binary and ternary aqueous mixtures |
000138 (2011) |
Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie] | Automatic decidability and combinability |
000231 (2009) |
Mario Sabatelli [Italie] ; Fabrizio Eusebi [Italie] ; Ammar Al-Chalabi [Royaume-Uni] ; Amelia Conte [Italie] ; Francesca Madia [Italie] ; Marco Luigetti [Italie] ; Irene Mancuso [Italie] ; Cristina Limatola [Italie] ; Flavia Trettel [Italie] ; Fabrizia Sobrero [Italie] ; Silvia Di Angelantonio [Italie] ; Francesca Grassi [Italie] ; Amalia Di Castro [Italie] ; Claudia Moriconi [Italie] ; Sergio Fucile [Italie] ; Serena Lattante [Italie] ; Giuseppe Marangi [Italie] ; Marina Murdolo [Italie] ; Daniela Orteschi [Italie] ; Alessandra Del Grande [Italie] ; Pietro Tonali [Italie] ; Giovanni Neri [Italie] ; Marcella Zollino [Italie] | Rare missense variants of neuronal nicotinic acetylcholine receptor altering receptor function are associated with sporadic amyotrophic lateral sclerosis |
000245 (2009) |
Michele Celentano [Italie] ; Daniele Caprioli [Italie] ; Pasqua Di Pasquale [Italie] ; Veronica Cardill [Italie] ; Paolo Nencini [Italie] ; Silvana Gaetani [Italie] ; Aldo Badiani [Italie] | Drug context differently regulates cocaine versus heroin self-administration and cocaine-versus heroin-induced Fos mRNA expression in the rat |
000285 (2008) |
Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France] | A Logical Account of PSPACE |
000350 (2006) |
Andrea Cerri [Italie] ; Daniela Giorgi [Italie] ; Pablo Muse [France] ; Frédéric Sur [France] ; Federico Tomassini [Italie] | Shape Recognition Via an a Contrario Model for Size Functions |
000388 (2006) |
Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient theory combination via boolean search |
000394 (2006) |
David Deharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France] | Decision procedures for the formal analysis of software |
000397 (2006) |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies |
000398 (2006) |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
000412 (2006) |
Claudia Diamantini [Italie] ; Nacer Boudjlida [France] | About Semantic Enrichment of Strategic Data Models as Part of Enterprise Models |
000417 (2006) |
Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis] | A new combination procedure for the word problem that generalizes fusion decidability results in modal logics |
000451 (2005) |
A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heam [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigano [Suisse] ; L. Vigneron [France] | The AVISPA tool for the automated validation of internet security protocols and applications |
000473 (2005) |
Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie] | On a rewriting approach to satisfiability procedures : Extension, combination of theories and an experimental appraisal |