Follow
José Costa
José Costa
Assistent Professor, INESC-ID, IST, Technical University Lisbon
Verified email at ist.utl.pt
Title
Cited by
Cited by
Year
Identification and classification of amyloid in formalin-fixed, paraffin-embedded tissue sections by the unlabeled immunoperoxidase method.
S Fujihara, JE Balow, JC Costa, GG Glenner
Laboratory Investigation; a Journal of Technical Methods and Pathology 43 (4 …, 1980
1471980
Switching activity estimation using limited depth reconvergent path analysis
JC Costa, JC Monteiro, S Devadas
Proceedings of the 1997 international symposium on Low power electronics and …, 1997
831997
Assignment and reordering of incompletely specified pattern sequences targetting minimum power dissipation
P Flores, J Costa, H Neto, J Monteiro, J Marques-Silva
Proceedings Twelfth International Conference on VLSI Design.(Cat. No …, 1999
701999
Desporto, política e direito: Do passado e da atualidade. Enfoque nas autarquias locais
MJ Carvalho, C Resende, M Cirac, J Costa
Desporto e Municípios: Políticas, práticas e programas, 39-71, 2012
392012
Motor‐axonal polyneuropathy associated with hepatitis C virus
J Costa, C Resende, M De Carvalho
European Journal of Neurology 10 (2), 183-185, 2003
342003
Observability analysis of embedded software for coverage-directed validation
JC Costa, S Devadas, JC Monteiro
IEEE/ACM International Conference on Computer Aided Design. ICCAD-2000. IEEE …, 2000
242000
Phlomis purpureae-Juniperetum turbinatae, ass. nova: a new community of Juniperus turbinata Guss. ssp. turbinata growing on the schist soils of the basin of the river Guadiana.
JH Capelo, M Lousã, JC Costa
Anais do Instituto Superior de Agronomia 44 (2), 515-530, 1994
161994
Probabilistic bottom-up RTL power estimation
R Ferreira, AM Trullemans, J Costa, J Monteiro
Proceedings IEEE 2000 First International Symposium on Quality Electronic …, 2000
152000
Morfologia e características comerciais da produção de carne em cordeiros não castrados. 1. Efeito do genótipo
JC Osorio, JC COSTA, P Jardim
Reunião Anual da Sociedade Brasileira de Zootecnia 35, 612-614, 1998
111998
Definition and validation of metrics for itsm process models
FB e Abreu, V Raquel de Braganca, JM Freitas, JC Costa
2010 Seventh International Conference on the Quality of Information and …, 2010
82010
A probabilistic approach for rt-level power modeling
J Costa, J Monteiro, LM Silveira, S Devadas
Electronics, Circuits and Systems, 1999. Proceedings of ICECS'99. The 6th …, 1999
81999
Coverage-directed observability-based validation for embedded software
JC Costa, JC Monteiro
ACM Transactions on Design Automation of Electronic Systems (TODAES) 18 (2 …, 2013
72013
Power estimation using probability polynomials
J Costa, L Silveira, S Devadas, J Monteiro
Design Automation for Embedded systems 9 (1), 19-52, 2004
72004
Power Reduction in BIST by Exploiting Don’t Cares in Test Patterns
JC Costa, PF Flores, HC Neto, JC Monteiro, JPM Silva
IEEE IWLS, 1998
51998
Exploiting don’t cares in test patterns to reduce power during BIST
JC Costa, PF Flores, HC Neto, JC Monteiro, JPM Silva
IEEE European Test Workshop (ETW), 34-36, 1998
51998
Observability-based coverage-directed path search using PBO for automatic test vector generation
JC Costa, JC Monteiro
Very Large Scale Integration (VLSI-SoC), 2009 17th IFIP International …, 2009
32009
Relación entre la evaluación in vivo e de la canal y entre evaluadores em corderos
JCS Osório, MTM Osório, RM Esteves, M Oliveira, F Correa, R Jardim, ...
Jornadas sobre Producción Animal 11, 670-672, 2005
32005
Computation of the minimal set of paths for observability-based statement coverage
J Costa, J Monteiro
Mixed Design of Integrated Circuits and Systems, 2008. MIXDES 2008. 15th …, 2008
22008
Input Generation for Path Coverage in Software Testing
JC Costa, JEC Monteiro
July, 2004
22004
A MILP-based approach to path sensitization of embedded software
JC Costa, JC Monteiro
2009 Design, Automation & Test in Europe Conference & Exhibition, 1568-1571, 2009
12009
The system can't perform the operation now. Try again later.
Articles 1–20