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: 18664

1699 Team Members
Filters -> Year: 2025
18441
TÍTULO: A Theory-based Typological Notion of Institutions
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLICAÇÃO: 1994, FONTE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, VOLUME: 906, PÁGINAS: 420-436
INDEXADO EM: Scopus DBLP CrossRef: 1
18442
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
18443
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
18444
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
18445
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
18446
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
18447
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
18448
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
18449
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
18450
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
18451
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
18452
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
18453
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
18454
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
18455
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
18456
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
18457
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
18458
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
18459
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
18460
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

Results per Page: 20.
Página 923 de 934. Total de resultados: 18664.