Publication | Year | ||||||||
---|---|---|---|---|---|---|---|---|---|
Literature on organizational innovation: past and future Authors : Marlon Fernandes Rodrigues Alves , Simone Vasconcelos Ribeiro Galina , Silvio DobelinJournal : Innovation & Management Review Journal Reference count : 110 Volume : 15 Pages : 2-19 |
2018 | ||||||||
OS DIREITOS FUNDAMENTAIS SOB A ÓTICA DO DIREITO DE PETIÇÃO Authors : TALITA GARCIA DOBELIN , CARLOS ALBERTO FERRI , JORGE ROBERTO VIEIRA AGUIAR FILHOJournal : Revista Ius et Iustitia Eletrônica Volume : 17 |
2017 | ||||||||
Self-supporting tests in lattice joists subject to negative bending Authors : I. S. STORCH , J. G. S. DOBELIN , L. C. BATALHA , A. L. SARTORTIJournal : Revista IBRACON de Estruturas e Materiais Journal Reference count : 15 Volume : 10 Pages : 1366-1395 |
2017 | ||||||||
Authors :
Patrícia Dorotéia de Resende
, Juliane Borges Dobelin
, Iara Bittante de Oliveira
, Karen Fontes Luchesi
Journal : Revista CEFAC Journal Reference count : 30 Volume : 17 Pages : 1610-1619 |
2015 | ||||||||
AUTOMATED TERMINATION IN MODEL-CHECKING MODULO THEORIES Authors : ALESSANDRO CARIONI , SILVIO GHILARDI , SILVIO RANISEJournal : International Journal of Foundations of Computer Science Journal Reference count : 5 Volume : 24 Pages : 211-232 |
2013 | ||||||||
Quantifier-Free Interpolation of a Theory of Arrays Authors : Roberto Bruttomesso , Silvio Ghilardi , Silvio RaniseJournal : Logical Methods in Computer Science Journal Reference count : 56 Volume : Volume 8, Issue 2 |
2012 | ||||||||
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis Authors : Silvio Ghilardi , Silvio RaniseJournal : Logical Methods in Computer Science Journal Reference count : 56 Volume : Volume 6, Issue 4 |
2010 | ||||||||
1. UNA LETTERA INEDITA DI VITTORIO SERENI a SILVIO RAMAT Authors : Silvio Ramat , Silvio Ramat , Silvio RamatJournal : Forum Italicum: A Journal of Italian Studies Volume : 36 Pages : 464-473 |
2002 | ||||||||
Formation of Active Metabolites of Psychotropic Drugs Authors : Silvio Caccia , Silvio GarattiniJournal : Clinical Pharmacokinetics Volume : 18 Pages : 434-459 |
1990 | ||||||||
Possible storage of (+)-amphetamine in catecholaminergic terminals of the striatum and brainstem Authors : Armanda Jori , Silvio Caccia , Silvio GarattiniJournal : European Journal of Pharmacology Journal Reference count : 27 Volume : 41 Pages : 275-279 |
1977 |