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

536 Team Members
Filters -> Year: 2026
9781
TITLE: Synthesis of regular expressions targeting FPGAs: Current status and open issues  Full Text
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
9782
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
9783
TITLE: The evolution and the future of the e-gov  Full Text
AUTHORS: Ricardo Campos ; Célio Gonçalo Marques;
PUBLISHED: 2007, SOURCE: EATIS, PAGES: 9
INDEXED IN: Scopus DBLP CrossRef: 1
9784
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
9785
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
9786
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
9787
TITLE: Tools and libraries to model and manipulate circular programs  Full Text
AUTHORS: João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2007, SOURCE: PEPM, PAGES: 102-111
INDEXED IN: Scopus DBLP CrossRef: 14
9788
TITLE: Tools for simulation output analysis
AUTHORS: Paulo B Sousa; Luís L Ferreira ;
PUBLISHED: 2007
INDEXED IN: Handle
9789
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
9790
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
9791
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
9794
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
9795
TITLE: Using neighbors to date web documents  Full Text
AUTHORS: Sérgio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2007, SOURCE: WIDM, PAGES: 129-136
INDEXED IN: Scopus DBLP CrossRef: 14
9796
TITLE: Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements  Full Text
AUTHORS: Carlos Morra; João M P Cardoso ; Jürgen Becker;
PUBLISHED: 2007, SOURCE: IPDPS, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef: 4
9797
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
9798
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
9799
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
9800
TITLE: Waist circumference in 6 to 10 years-old children of autonomous region of Madeira, Portugal
AUTHORS: Sousa, B; Oliveira B, B ; de Almeida, MDV;
PUBLISHED: 2007, SOURCE: ANNALS OF NUTRITION AND METABOLISM, VOLUME: 51, PAGES: 190-190
INDEXED IN: WOS Handle

Results per Page: 20.
Page 490 of 536. Total results: 10703.