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

531 Team Members
Filters -> Year: 2024
7101
TITLE: Survival of gastric and enterohepatic Helicobacter spp. in water: Implications for transmission
AUTHORS: Azevedo, NF ; Almeida, C ; Fernandes, I; Cerqueira, L ; Dias, S ; Keevil, CW; Vieira, MJ ;
PUBLISHED: 2008, SOURCE: APPLIED AND ENVIRONMENTAL MICROBIOLOGY, VOLUME: 74, ISSUE: 6, PAGES: 1805-1811
INDEXED IN: Scopus WOS CrossRef: 43
7102
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
7103
TITLE: Systematic analysis of control panel interfaces using formal tools
AUTHORS: Creissac C Campos ; Harrison, MD ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PAGES: 72-85
INDEXED IN: Scopus WOS DBLP CrossRef: 34
7105
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
7106
TITLE: The dimension of ECOCs for multiclass classification problems  Full Text
AUTHORS: Edgar Pimenta; Joao Gama ; Andre Carvalho;
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
7107
TITLE: The impact of contextual information on the accuracy of existing recommender systems for Web personalization
AUTHORS: Domingues, MA; Jorge, AM ; Soares, C ;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PAGES: 789-792
INDEXED IN: Scopus DBLP CrossRef: 2
7108
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
7109
TITLE: The Mob core language and abstract machine (rev 0.2) PDF
AUTHORS: Hervé Paulino ; Luís M. B. Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
INDEXED IN: DBLP arXiv
7110
TITLE: The Objects and Arrows of Computational Design
AUTHORS: Don Batory; Maider Azanza; Joao Saraiva ;
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: 17
7111
TITLE: Thread-Based Competitive Or-Parallelism
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-717
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7112
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: 22
7113
TITLE: Token-passing Nets for Functional Languages
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, ISSUE: C, PAGES: 181-198
INDEXED IN: Scopus DBLP CrossRef: 2
7114
TITLE: Tools for the Information System Function Management: A Roadmap
AUTHORS: Antonio Trigo ; Joao Varajao; Joao Barroso ;
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-483
INDEXED IN: Scopus WOS DBLP CrossRef
7115
TITLE: Towards a Platform for Cooperative Creation of Scientific Publications
AUTHORS: Guilherme Saraiva; Orlando Carvalho; Benjamim Fonseca ; Hugo Paredes ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Cooperative Design, Visualization, and Engineering in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, VOLUME: 5220, PAGES: 84-88
INDEXED IN: Scopus WOS DBLP CrossRef
7116
TITLE: Towards a specification of the ToonTalk language  Full Text
AUTHORS: Leonel Morgado ; Ken Kahn;
PUBLISHED: 2008, SOURCE: JOURNAL OF VISUAL LANGUAGES AND COMPUTING, VOLUME: 19, ISSUE: 5, PAGES: 574-597
INDEXED IN: Scopus WOS DBLP CrossRef: 6
7117
TITLE: Towards a Virtual Environment for Regulated Interaction Using the Social Theatres Model  Full Text
AUTHORS: Ana Guerra; Hugo Paredes ; Benjamim Fonseca ; Mario M Martins ;
PUBLISHED: 2008, SOURCE: 14th International Workshop of Groupware in GROUPWARE: DESIGN, IMPLEMENTATION, AND USE, VOLUME: 5411, PAGES: 164-170
INDEXED IN: Scopus WOS DBLP CrossRef
7118
TITLE: Towards Typed Prolog
AUTHORS: Tom Schrijvers; Vitor Santos Costa ; Jan Wielemaker; Bart Demoen;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-697
INDEXED IN: Scopus WOS DBLP CrossRef: 20
7119
TITLE: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations  Full Text
AUTHORS: Leandro A J Marzulo; Felipe M G Franca; Vitor Santos Costa ;
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-190
INDEXED IN: Scopus WOS DBLP CrossRef: 8
7120
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 356 of 410. Total results: 8185.