CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 10702

536 Team Members
Filters -> Year: 2026
9481
TITLE: Proceedings of the 2008 International Symposium on Wikis, 2008, Porto, Portugal, September 8-10, 2008
AUTHORS: Ademar Aguiar ; Mark Bernstein;
PUBLISHED: 2008, SOURCE: Int. Sym. Wikis
INDEXED IN: DBLP
9482
TITLE: Property patterns for the formal verification of automated production systems
AUTHORS: Campos, JC ; Machado, J ; Seabra, E ;
PUBLISHED: 2008, SOURCE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, ISSUE: 1 PART 1
INDEXED IN: Scopus Handle
9483
TITLE: Protein evolution of ANTP and PRD homeobox genes  Full Text
AUTHORS: Nuno A Fonseca ; Cristina P Vieira ; Peter W H Holland; Jorge Vieira ;
PUBLISHED: 2008, SOURCE: BMC EVOLUTIONARY BIOLOGY, VOLUME: 8, ISSUE: 1, PAGES: 200
INDEXED IN: Scopus WOS CrossRef: 7
9484
TITLE: PRT simulation in an immersive virtual world
AUTHORS: Cristina Videira Lopes; Anton Popov; Lorraine Kan; Ricardo Santos Morla ;
PUBLISHED: 2008, SOURCE: SimuTools, PAGES: 57
INDEXED IN: Scopus DBLP CrossRef: 3
9485
TITLE: Quantile trends in Baltic sea level  Full Text
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2008, SOURCE: GEOPHYSICAL RESEARCH LETTERS, VOLUME: 35, ISSUE: 22
INDEXED IN: Scopus WOS CrossRef: 80
9486
TITLE: Real-Time Communications over Cluster-Tree Sensor Networks with Mobile Sink Behaviour
AUTHORS: Jurcik, P; Severino, R ; Koubâa, A ; Alves, M ; Tovar, E ;
PUBLISHED: 2008, SOURCE: 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications in RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS, PAGES: 401-412
INDEXED IN: Scopus WOS DBLP CrossRef: 12 Handle
9487
TITLE: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTHORS: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLISHED: 2008, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 10
INDEXED IN: DBLP
9488
TITLE: Regular expression matching in reconfigurable hardware  Full Text
AUTHORS: Ioannis Sourdis; Stamatis Vassiliadis; Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: 5th IEEE International Conference on Field Programmable Technology in JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 51, ISSUE: 1, PAGES: 99-121
INDEXED IN: Scopus WOS DBLP CrossRef: 60
9489
TITLE: Research Challenges in Ubiquitous Knowledge Discovery
AUTHORS: Michael May; Bettina Berendt; Antoine Cornuéjols; João Gama ; Fosca Giannotti; Andreas Hotho; Donato Malerba; Ernestina Menasalvas; Katharina Morik; Rasmus Ulslev Pedersen; Lorenza Saitta; Yücel Saygin; Assaf Schuster; Koen Vanhoof;
PUBLISHED: 2008, SOURCE: Next Generation of Data Mining
INDEXED IN: DBLP
9490
TITLE: Resource Management and Signalling Architecture of a Hybrid Multicast Service for Multimedia Distribution
AUTHORS: Borcoci, E; Pinto, A ; Mehaoua, A; Fang, L; Wang, N;
PUBLISHED: 2008, SOURCE: 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services in MANAGEMENT OF CONVERGED MULTIMEDIA NETWORKS AND SERVICES, PROCEEDINGS, VOLUME: 5274, PAGES: 39-51
INDEXED IN: Scopus WOS DBLP CrossRef
9491
TITLE: Resources for situated actions
AUTHORS: Doherty, G; Campos, J ; Harrison, M ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PAGES: 194-+
INDEXED IN: Scopus WOS DBLP CrossRef: 7
9492
TITLE: Retargeting, evaluating, and generating reconfigurable array-based architectures
AUTHORS: Morra, C; Cardoso, JMP ; Bispo, J ; Becker, J;
PUBLISHED: 2008, SOURCE: 2008 Symposium on Application Specific Processors in 2008 SYMPOSIUM ON APPLICATION SPECIFIC PROCESSORS, PAGES: 34-+
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Handle
9493
TITLE: Reverse engineered formal models for GUI testing  Full Text
AUTHORS: Paiva, ACR ; Faria, JCP ; Mendes, PMC;
PUBLISHED: 2008, SOURCE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916, PAGES: 218-233
INDEXED IN: Scopus WOS DBLP CrossRef: 9
9494
TITLE: Revising first-order logic theories from examples through stochastic local search  Full Text
AUTHORS: Paes, A; Zaverucha, G; Costa, VS ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 200-+
INDEXED IN: Scopus WOS DBLP CrossRef: 5
9495
TITLE: RL-based Scheduling Strategies in Actual Grid Environments
AUTHORS: Costa, B; Dutra, I ; Mattoso, M;
PUBLISHED: 2008, SOURCE: IEEE International Symposium on Parallel and Distributed Processing with Applications in PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PAGES: 572-+
INDEXED IN: Scopus WOS DBLP CrossRef: 3
9496
TITLE: Robust Division in Clustering of Streaming Time Series
AUTHORS: Rodrigues, PP ; Gama, J ;
PUBLISHED: 2008, SOURCE: 18th European Conference on Artificial Intelligence in ECAI 2008, PROCEEDINGS, VOLUME: 178, PAGES: 172-+
INDEXED IN: Scopus WOS DBLP CrossRef
9497
TITLE: RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 379-+
INDEXED IN: Scopus WOS DBLP CrossRef: 5
9498
TITLE: Schema matching on streams with accuracy guarantees
AUTHORS: Gama, J ; Aguilar Ruiz, J; Klinkenberg, R;
PUBLISHED: 2008, SOURCE: Intelligent Data Analysis, VOLUME: 12, ISSUE: 3, PAGES: 253-270
INDEXED IN: Scopus
9499
TITLE: Secure biometric authentication with improved accuracy  Full Text
AUTHORS: Barbosa, M ; Brouard, T; Cauchie, S; de Sousa, SM ;
PUBLISHED: 2008, SOURCE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107, PAGES: 21-+
INDEXED IN: Scopus WOS DBLP CrossRef: 25 Handle
9500
TITLE: SECURING A HEALTH INFORMATION SYSTEM WITH A GOVERNMENT ISSUED DIGITAL IDENTIFICATION CARD
AUTHORS: Santos, R ; Correia, ME ; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 135-+
INDEXED IN: Scopus WOS CrossRef: 3

Results per Page: 20.
Page 475 of 536. Total results: 10702.