Singh A.
9
Coauthors
3
Documentos
Volumen de publicaciones por año
| Año de publicación | Num. Publicaciones |
|---|---|
| 2003 | 1 |
| 2004 | 1 |
| 2005 | 1 |
Publicaciones por áreas de conocimiento
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 3 |
| Simulación por computadora | 2 |
| Procesamiento de señales | 1 |
| Software | 1 |
Publicaciones por áreas temáticas
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 3 |
| Física aplicada | 3 |
| Otras ramas de la ingeniería | 1 |
| Principios generales de matemáticas | 1 |
| Métodos informáticos especiales | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 3 |
| Google Scholar | 0 |
| RRAAE | 0 |
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Ingo Sander | 3 |
| Raudvere T. | 3 |
| Jantsch A. | 3 |
Top Keywords
Publicaciones del autor
Verification of Design Decisions in ForSyDe
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specificaPalabras claves:Design refinement, System design, VerificationAutores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopusPolynomial abstraction for verification of sequentially implemented combinational circuits
Conference ObjectAbstract: Todays integrated circuits with increasing complexity cause the well known state space explosion proPalabras claves:Autores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopusSystem level verification of digital signal processing applications based on the polynomial abstraction technique
Conference ObjectAbstract: Polynomial abstraction has been developed for data abstraction of sequential circuits, where the funPalabras claves:Autores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopus