Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 18402

1699 Team Members
Filters -> Year: 2024
18181
TÍTULO: Abduction in Temporal Reasoning
AUTORES: Cristina Ribeiro ; António Porto ;
PUBLICAÇÃO: 1994, FONTE: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827, PÁGINAS: 349-364
INDEXADO EM: DBLP CrossRef: 2
18182
TÍTULO: ACE: And/Or-parallel Copying-based Execution of Logic Programs
AUTORES: Gopal Gupta; Manuel V Hermenegildo; Enrico Pontelli; Vítor Santos Costa ;
PUBLICAÇÃO: 1994, FONTE: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, PÁGINAS: 93-109
INDEXADO EM: DBLP
18183
TÍTULO: AN APPROACH TO TESTABILITY IMPROVEMENT OF MIXED-SIGNAL BOARDS
AUTORES: MATOS, JS; FERREIRA, JC ; LEAO, AC;
PUBLICAÇÃO: 1994, FONTE: 1994 IEEE International Symposium on Circuits and Systems in 1994 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 6: NONLINEAR CIRCUITS AND SYSTEMS (NCS) - NEURAL SYSTEMS (NEU)
INDEXADO EM: WOS
18184
TÍTULO: An Approach to Testability Improvement of Mixed-Signal Boards
AUTORES: José Silva Matos; João Canas Ferreira ; Ana C Leão; José Machado da Silva;
PUBLICAÇÃO: 1994, FONTE: 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994, PÁGINAS: 161-164
INDEXADO EM: DBLP
18185
TÍTULO: AN EXPERIMENTAL-STUDY ON VOICE/DATA INTEGRATION OVER AN ETHERNET LAN
AUTORES: AZEVEDO, J; MARTINS, JA; DEOLIVEIRA, PG ;
PUBLICAÇÃO: 1994, FONTE: IFIP TC6 International Conference on Information Networks and Data Communication in INFORMATION NETWORKS AND DATA COMMUNICATION, VOLUME: 23, PÁGINAS: 181-199
INDEXADO EM: WOS
18186
TÍTULO: AN IC ARCHITECTURE FOR BOARD-LEVEL MIXED-SIGNAL TEST SUPPORT
AUTORES: FERREIRA, JC ; LEAO, AC; DASILVA, JM ; MATOS, JS;
PUBLICAÇÃO: 1994, FONTE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 2, PÁGINAS: 637-640
INDEXADO EM: Scopus WOS CrossRef
18187
TÍTULO: Approach to testability improvement of mixed-signal boards
AUTORES: Matos Jose, S; Ferreira Joao, C ; Leao Ana, C; Silva Jose, M ;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the 1994 IEEE International Symposium on Circuits and Systems. Part 3 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 6, PÁGINAS: 161-164
INDEXADO EM: Scopus
18188
TÍTULO: APPROXIMATE FLAVOR SYMMETRIES IN THE LEPTON SECTOR
AUTORES: RASIN, A; SILVA, JP ;
PUBLICAÇÃO: 1994, FONTE: PHYSICAL REVIEW D, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS
18189
TÍTULO: Architecture of test support ICs for mixed-signal testing
AUTORES: José Silva Matos; João Canas Ferreira ; Ana C Leão; Machado M Silva;
PUBLICAÇÃO: 1994, FONTE: 12th IEEE VLSI Test Symposium (VTS'94), April 25-28, 1994, Cherry Hill, New Jersey, USA, PÁGINAS: 240-246
INDEXADO EM: DBLP
18190
TÍTULO: Architecture of test support ICs for mixed-signal testing
AUTORES: Matos Jose, S; Ferreira Joao, C ; Leao Ana, C; Silva Jose, M ;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the 12th IEEE VLSI Test Symposium in Proceedings of the IEEE VLSI Test Symposium, PÁGINAS: 240-246
INDEXADO EM: Scopus
18191
TÍTULO: Aurora, Andorra-I and Friends on the Sun
AUTORES: Vítor Santos Costa ; Manuel E. Correia ; Fernando M A Silva ;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994, PÁGINAS: 32-41
INDEXADO EM: DBLP
18192
TÍTULO: Belief Revision in Multi-Agent Systems
AUTORES: Benedita Malheiro ; Nicholas R Jennings; Eugenio Oliveira ;
PUBLICAÇÃO: 1994, FONTE: ECAI, PÁGINAS: 294-298
INDEXADO EM: DBLP
18193
TÍTULO: Building symbolic representations of intuitive real-time skills from performance data
AUTORES: Donald Michie; Rui Camacho ;
PUBLICAÇÃO: 1994, FONTE: Machine Intelligence 13, PÁGINAS: 385-418
INDEXADO EM: DBLP
18194
TÍTULO: Characterizing the Applicability of Classification Algorithms Using Meta-Level Learning
AUTORES: Pavel Brazdil ; João Gama ; Bob Henery;
PUBLICAÇÃO: 1994, FONTE: Machine Learning: ECML-94, European Conference on Machine Learning, Catania, Italy, April 6-8, 1994, Proceedings, VOLUME: 784, PÁGINAS: 83-102
INDEXADO EM: DBLP CrossRef: 60
18195
TÍTULO: COMPRESSION, SELF-BENDING, AND COLLAPSE OF GAUSSIAN BEAMS IN PHOTOREFRACTIVE CRYSTALS
AUTORES: CHRISTODOULIDES, DN; CARVALHO, MI ;
PUBLICAÇÃO: 1994, FONTE: OPTICS LETTERS, VOLUME: 19, NÚMERO: 21, PÁGINAS: 1714-1716
INDEXADO EM: Scopus WOS CrossRef: 92
18196
TÍTULO: CONCURRENCY ANNOTATIONS IN C++
AUTORES: BAQUERO, C ; MOURA, F ;
PUBLICAÇÃO: 1994, FONTE: SIGPLAN NOTICES, VOLUME: 29, NÚMERO: 7, PÁGINAS: 61-67
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
18197
TÍTULO: COORDINATE CHANGE EIGENVALUES FOR BIMODAL PERIOD-DOUBLING RENORMALIZATION  Full Text
AUTORES: MACKAY, RS; PINTO, AA ; VANZEIJTS, JBJ;
PUBLICAÇÃO: 1994, FONTE: PHYSICS LETTERS A, VOLUME: 190, NÚMERO: 5-6, PÁGINAS: 412-416
INDEXADO EM: Scopus WOS CrossRef: 1
18198
TÍTULO: Design of a mission management system for the Autonomous Underwater Vehicle MARIUS
AUTORES: BIZINGRE, C; OLIVEIRA, P; PASCOAL, A; PEREIRA, FL ; PIGNON, JP; SILVA, E ; SILVESTRE, C; DESOUSA, JB;
PUBLICAÇÃO: 1994, FONTE: 1994 Symposium on Autonomous Underwater Vehicle Technology (AUV 94) in PROCEEDINGS OF THE 1994 SYMPOSIUM ON AUTONOMOUS UNDERWATER VEHICLE TECHNOLOGY, PÁGINAS: 112-121
INDEXADO EM: Scopus WOS CrossRef: 9
18199
TÍTULO: DETERMINING THE PENGUIN EFFECT ON CP VIOLATION IN B-0-]PI(+)PI(-)
AUTORES: SILVA, JP ; WOLFENSTEIN, L;
PUBLICAÇÃO: 1994, FONTE: PHYSICAL REVIEW D, VOLUME: 49, NÚMERO: 3
INDEXADO EM: Scopus WOS
18200
TÍTULO: Dynamically configurable architecture for the control of an autonomous underwater vehicle
AUTORES: Borges B Sousa ; Lobo L Pereira ; Pereira da Silva, E ;
PUBLICAÇÃO: 1994, FONTE: Proceedings of the Intelligent Vehicles'94 Symposium in Intelligent Vehicles Symposium, Proceedings, PÁGINAS: 520-525
INDEXADO EM: Scopus

Results per Page: 20.
Página 910 de 921. Total de resultados: 18402.