Gregorio de Miguel Casado
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2006–2012
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | PACBB | Sliced Model Checking for Phylogenetic Analysis. | Jos Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, Jos Manuel Colom |
| 2011 | PACBB | Phylogenetic Analysis Using an SMV Tool. | Jos Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, Jos Manuel Colom |
| 2008 | PDP | Parametric Architecture for Modeling Neuronal Systems. | Mara Teresa Signes Pont, Gregorio de Miguel Casado, Juan Manuel Garca Chamizo, Higinio Mora Mora |
| 2007 | CiE | Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. | Gregorio de Miguel Casado, Juan Manuel Garca Chamizo, Mara Teresa Signes Pont |
| 2006 | CiE | The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. | Gregorio de Miguel Casado, Juan Manuel Garca Chamizo |