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

531 Team Members
Filters -> Year: 2024
7021
TITLE: Staff line detection and removal with stable paths
AUTHORS: Capela, A ; Rebelo, A ; Cardoso, JS ; Guedes, C ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 263-270
INDEXED IN: Scopus WOS DBLP
7022
TITLE: Statistical tools for examining long-term climate variability from the analysis of geophysical time series
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2008, SOURCE: International Symposium on Mountain Building and Climate-Tectonic Interaction in HIMALAYAN GEOLOGY, VOLUME: 29, ISSUE: 3, PAGES: 3-5
INDEXED IN: WOS
7023
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
7024
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
7025
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
7027
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
7028
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
7029
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
7030
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
7031
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
7032
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
7033
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
7034
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
7035
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
7036
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
7037
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
7038
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
7039
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
7040
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

Results per Page: 20.
Page 352 of 406. Total results: 8102.