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

536 Team Members
Filters -> Year: 2026
9461
TITLE: Synthesis of regular expressions for FPGAs  Full Text
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 95, ISSUE: 7, PAGES: 685-704
INDEXED IN: Scopus WOS CrossRef: 7
9462
TITLE: Systematic analysis of control panel interfaces using formal tools
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PAGES: 72-+
INDEXED IN: Scopus WOS DBLP CrossRef: 45
9464
TITLE: Testing a unit root based on aggregate time series  Full Text
AUTHORS: Paulo Teles ; William W S Wei; Erin M Hodgess;
PUBLISHED: 2008, SOURCE: COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, VOLUME: 37, ISSUE: 4, PAGES: 565-590
INDEXED IN: Scopus WOS CrossRef: 11
9465
TITLE: The dimension of ECOCs for multiclass classification problems
AUTHORS: Pimenta, E; Gama, J ; Carvalho, A;
PUBLISHED: 2008, SOURCE: 20th International-Florida-AI-Research-Society Conference in INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, ISSUE: 3, PAGES: 433-447
INDEXED IN: Scopus WOS DBLP CrossRef: 3
9466
TITLE: The Impact of Contextual Information on the Accuracy of Existing Recommender Systems for Web Personalization
AUTHORS: Marcos Aurélio Domingues; Alípio Mário Jorge ; Carlos Soares ;
PUBLISHED: 2008, SOURCE: Web Intelligence, PAGES: 789-792
INDEXED IN: Scopus DBLP CrossRef: 2
9467
TITLE: The Life of a Logic Programming System
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 5
9468
TITLE: The Mob core language and abstract machine (rev 0.2)
AUTHORS: Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
INDEXED IN: DBLP
9469
TITLE: The number, age, sharing and relatedness of S-locus specificities in Prunus
AUTHORS: Jorge Vieira ; Nuno A Fonseca ; Raquel A M Santos; Tsuyoshi Habu; Ryutaro Tao; Cristina P Vieira ;
PUBLISHED: 2008, SOURCE: GENETICS RESEARCH, VOLUME: 90, ISSUE: 1, PAGES: 17-26
INDEXED IN: Scopus WOS CrossRef: 17
9470
TITLE: The Objects and Arrows of Computational Design
AUTHORS: Batory, D; Azanza, M; Saraiva, J ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301, PAGES: 1-+
INDEXED IN: Scopus WOS DBLP CrossRef: 22
9471
TITLE: Thread-Based Competitive Or-Parallelism
AUTHORS: Moura, P ; Rocha, R ; Madeira, SC ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-+
INDEXED IN: Scopus WOS DBLP CrossRef: 1
9472
TITLE: Time series analysis of sea-level records: Characterising long-term variability
AUTHORS: Barbosa, SM ; Silva, ME ; Fernandes, MJ ;
PUBLISHED: 2008, SOURCE: Lecture Notes in Earth Sciences, VOLUME: 112, PAGES: 157-173
INDEXED IN: Scopus CrossRef: 23
9473
TITLE: Tools for the Information System Function Management: A Roadmap
AUTHORS: Antonio Trigo ; Varajao, J ; Barroso, J ;
PUBLISHED: 2008, SOURCE: 1st World Summit on the Knowledge Society (WSKS 2008) in OPEN KNOWLEDGE SOCIETY: A COMPUTER SCIENCE AND INFORMATION SYSTEMS MANIFESTO, VOLUME: 19, PAGES: 476-+
INDEXED IN: Scopus WOS DBLP CrossRef
9474
TITLE: Towards a Platform for Cooperative Creation of Scientific Publications
AUTHORS: Saraiva, G; Carvalho, O; Fonseca, B ; Paredes, H ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Cooperative Design, Visualization, and Engineering in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, VOLUME: 5220, PAGES: 84-+
INDEXED IN: Scopus WOS DBLP CrossRef
9475
TITLE: Towards a specification of the ToonTalk language
AUTHORS: Morgado, L ; Kahn, K;
PUBLISHED: 2008, SOURCE: JOURNAL OF VISUAL LANGUAGES AND COMPUTING, VOLUME: 19, ISSUE: 5, PAGES: 574-597
INDEXED IN: Scopus WOS DBLP CrossRef: 7
9476
TITLE: Towards a Virtual Environment for Regulated Interaction Using the Social Theatres Model
AUTHORS: Guerra, A; Paredes, H ; Fonseca, B ; Martins, FM ;
PUBLISHED: 2008, SOURCE: 14th International Workshop of Groupware in GROUPWARE: DESIGN, IMPLEMENTATION, AND USE, VOLUME: 5411, PAGES: 164-+
INDEXED IN: Scopus WOS DBLP CrossRef
9477
TITLE: Towards Typed Prolog
AUTHORS: Schrijvers, T; Costa, VS ; Wielemaker, J; Demoen, B;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-+
INDEXED IN: Scopus WOS DBLP CrossRef: 24
9478
TITLE: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations
AUTHORS: Marzulo, LAJ; França, FMG; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th International Symposium on Computer Architecture and High Performance Computing in 20TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 183-+
INDEXED IN: Scopus WOS DBLP CrossRef: 9
9479
TITLE: Transforming Data by Calculation
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2008, SOURCE: 2nd International Summer School on Generative and Transformational Techniques in Software Engineering in GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING II, VOLUME: 5235, PAGES: 134-195
INDEXED IN: Scopus WOS

Results per Page: 20.
Page 474 of 533. Total results: 10645.