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

536 Team Members
Filters -> Year: 2026
9741
TITLE: SWORDFISH: an autonomous surface vehicle for network centric operations
AUTHORS: Ferreira, H ; Martins, R; Marques, E ; Pinto, J ; Martins, A ; Almeida, J ; Sousa, J ; Silva, EP ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3, PAGES: 1470-+
INDEXED IN: Scopus WOS CrossRef: 47
9742
TITLE: Synthesis of regular expressions targeting FPGAs: Current status and open issues
AUTHORS: Bispo, J ; Sourdis, I; Cardoso, JMP ; Vassiliadis, S;
PUBLISHED: 2007, SOURCE: 3rd International Workshop on Applied Reconfigurable Computing in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 4419, PAGES: 179-+
INDEXED IN: Scopus WOS DBLP CrossRef: 14
9743
TITLE: Technology and digital art  Full Text
AUTHORS: Aderito Fernandes Marcos ;
PUBLISHED: 2007, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 31, ISSUE: 6, PAGES: 785-787
INDEXED IN: Scopus WOS CrossRef
9744
TITLE: The evolution and the future of the e-gov
AUTHORS: Ricardo Campos ; Célio Gonçalo Marques;
PUBLISHED: 2007, SOURCE: EATIS, PAGES: 9
INDEXED IN: Scopus DBLP CrossRef: 1
9745
TITLE: The Meta Sketch Editor - A reflexive modeling editor
AUTHORS: Leonel Nobrega ; Nuno Jardim Nunes ; Helder Coelho ;
PUBLISHED: 2007, SOURCE: 6th International Conference on Computer-Aided Design of User Interfaces in COMPUTER-AIDED DESIGN OF USER INTERFACES V, PAGES: 201-214
INDEXED IN: Scopus WOS
9746
TITLE: The phase transition lines in pair approximation for the basic reinfection model SIRI  Full Text
AUTHORS: Nico Stollenwerk ; Jose Martins ; Alberto Pinto ;
PUBLISHED: 2007, SOURCE: PHYSICS LETTERS A, VOLUME: 371, ISSUE: 5-6, PAGES: 379-388
INDEXED IN: Scopus WOS CrossRef: 27
9747
TITLE: Token-passing Nets for Functional Languages
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: WRS@RDP, VOLUME: 204, ISSUE: C, PAGES: 181-198
INDEXED IN: Scopus DBLP CrossRef: 2
9748
TITLE: Tools and libraries to model and manipulate circular programs
AUTHORS: João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2007, SOURCE: PEPM, PAGES: 102-111
INDEXED IN: Scopus DBLP CrossRef: 14
9749
TITLE: Tools for simulation output analysis
AUTHORS: Paulo B Sousa; Luís L Ferreira ;
PUBLISHED: 2007
INDEXED IN: Handle
9750
TITLE: Topic maps applied to PubMed
AUTHORS: Librelotto, GR; Machado, HT; Martins, M; Ferreira, PGD ; Ramalho, JC; Henriques, PR ;
PUBLISHED: 2007, SOURCE: Extreme Markup Languages 2007 Conference in Proceedings of Extreme Markup Languages 2007 Conference
INDEXED IN: Scopus
9751
TITLE: Towards detecting and solving aspect conflicts and interferences using unit tests
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2007, SOURCE: SPLAT, VOLUME: 217, PAGES: 7
INDEXED IN: Scopus DBLP CrossRef: 5 Handle
9752
TITLE: Towards the Integration of Visual and Formal Models for GUI Testing
AUTHORS: Ana C R Paiva ; João C P Faria ; Raul F A M Vidal ;
PUBLISHED: 2007, SOURCE: MBT, VOLUME: 190, ISSUE: 2 SPEC. ISS., PAGES: 99-111
INDEXED IN: Scopus DBLP CrossRef: 13 Handle
9755
TITLE: Ubiquitous access through the integration of mobile ad-hoc networks
AUTHORS: Sargento, S ; Sarro, R; Duarte, R; Stupar, P; Gallera, F; Natkaniec, M; Vilela, JP ; Barros, J ;
PUBLISHED: 2007, SOURCE: 16th IST Mobile and Wireless Communications in 2007 PROCEEDINGS OF THE 16TH IST MOBILE AND WIRELESS COMMUNICATIONS, VOLS 1-3, PAGES: 1072-1077
INDEXED IN: Scopus WOS CrossRef
9756
TITLE: Using neighbors to date web documents
AUTHORS: Sérgio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2007, SOURCE: WIDM, PAGES: 129-136
INDEXED IN: Scopus DBLP CrossRef: 14
9757
TITLE: Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements
AUTHORS: Carlos Morra; João M P Cardoso ; Jürgen Becker;
PUBLISHED: 2007, SOURCE: IPDPS, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef: 4
9758
TITLE: Utility-based regression
AUTHORS: Torgo, L ; Ribeiro, R ;
PUBLISHED: 2007, SOURCE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2007, PROCEEDINGS, VOLUME: 4702, PAGES: 597-+
INDEXED IN: Scopus WOS DBLP CrossRef: 41
9759
TITLE: Utilização de XML numa plataforma de Data Mining distribuído
AUTHORS: Ruy Ramos; Carlos A Gonçalves; Rui Camacho ;
PUBLISHED: 2007
INDEXED IN: Handle
9760
TITLE: Visual Programming with Recursion Patterns in Interaction Nets
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 6
INDEXED IN: Scopus DBLP

Results per Page: 20.
Page 488 of 534. Total results: 10668.