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

531 Team Members
Filters -> Year: 2024
4421
TITLE: Formalization of context-free language theory PDF
AUTHORS: Marcus V. M. Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1510.09092
INDEXED IN: DBLP arXiv
4422
TITLE: Frequency of intradialytic hypotensive episodes: old problem, new insights
AUTHORS: Ana Rocha; Clemente Sousa ; Paulo Teles ; Augusto Coelho; Eva Xavier;
PUBLISHED: 2015, SOURCE: JOURNAL OF THE AMERICAN SOCIETY OF HYPERTENSION, VOLUME: 9, ISSUE: 10, PAGES: 763-768
INDEXED IN: Scopus WOS CrossRef: 26
4423
TITLE: Game Design Techniques for Software Engineering Management Education
AUTHORS: Pedro Letra; Ana C R Paiva ; Nuno Flores ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 192-199
INDEXED IN: Scopus WOS DBLP CrossRef: 5
4424
TITLE: Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs
AUTHORS: Hazem Ismail Ali; Benny Akesson; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015), PAGES: 701-710
INDEXED IN: Scopus WOS
4425
TITLE: Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs
AUTHORS: Hazem Ismail Ali; Benny Akesson; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
INDEXED IN: CrossRef
4426
TITLE: GPU-based computing for nesting problems: The importance of sequences in static selection approaches
AUTHORS: Rocha, P ; Rodrigues, R ; Miguel Gomes, A ; Alves, C;
PUBLISHED: 2015, SOURCE: Operations Research and Big Data: IO2015-XVII Congress of Portuguese Association of Operational Research (APDIO), VOLUME: 15, PAGES: 195-202
INDEXED IN: Scopus CrossRef
4427
TITLE: GreenDroid: A Tool for Analysing Power Consumption in the Android Ecosystem
AUTHORS: Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Rui Pereira ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: IEEE 13th International Scientific Conference on Informatics in 2015 IEEE 13th International Scientific Conference on Informatics, PAGES: 67-72
INDEXED IN: Scopus WOS CrossRef: 4
4428
TITLE: Guest Editorial ARC 2014  Full Text
AUTHORS: Diana Goehringer; Marco D Santambrogio; João M P Cardoso ; Koen Bertels;
PUBLISHED: 2015, SOURCE: TRETS, VOLUME: 9, ISSUE: 1, PAGES: 5
INDEXED IN: Scopus DBLP CrossRef
4429
TITLE: Guest Editorial FPL 2013  Full Text
AUTHORS: Joao M P Cardoso ; Pedro C Diniz ; Katherine (Compton) Morrow;
PUBLISHED: 2015, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 8, ISSUE: 2, PAGES: 8
INDEXED IN: Scopus WOS DBLP CrossRef
4430
TITLE: Guest Editorial: Overcoming the Technological Hurdles Facing Virtual Worlds in Education: The Road to Widespread Deployment  Full Text
AUTHORS: Leonel Morgado ; Baltasar F Fernandez Manion; Christian Guetl;
PUBLISHED: 2015, SOURCE: EDUCATIONAL TECHNOLOGY & SOCIETY, VOLUME: 18, ISSUE: 1, PAGES: 1-2
INDEXED IN: Scopus WOS DBLP
4431
TITLE: Guest editors introduction: special issue of the ECMLPKDD 2015 journal track  Full Text
AUTHORS: Concha Bielza; Joao Gama ; Alipio Jorge ; Indre Zliobaite;
PUBLISHED: 2015, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, ISSUE: 5, PAGES: 1113-1115
INDEXED IN: Scopus WOS DBLP
4432
TITLE: Guest Editors introduction: special issue of the ECMLPKDD 2015 journal track  Full Text
AUTHORS: Concha Bielza; Joao Gama ; Alipio Jorge ; Indre Zliobaite;
PUBLISHED: 2015, SOURCE: MACHINE LEARNING, VOLUME: 100, ISSUE: 2-3, PAGES: 157-159
INDEXED IN: Scopus WOS DBLP CrossRef
4433
TITLE: Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning  Full Text
AUTHORS: Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2015, SOURCE: MACHINE LEARNING, VOLUME: 100, ISSUE: 1, PAGES: 1-3
INDEXED IN: Scopus WOS DBLP CrossRef
4434
TITLE: Health Twitter Big Bata Management with Hadoop Framework
AUTHORS: Cunha, J; Silva, C; Antunes, M ;
PUBLISHED: 2015, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 425-431
INDEXED IN: Scopus WOS DBLP CrossRef: 18
4435
TITLE: HEP-Frame: A Software Engineered Framework to Aid the Development and Efficient Multicore Execution of Scientific Code
AUTHORS: Andre Pereira ; Antonio Onofre ; Alberto Proenca ;
PUBLISHED: 2015, SOURCE: International Conference on Computational Science and Computational Intelligence (CSCI) in 2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), PAGES: 615-620
INDEXED IN: Scopus WOS CrossRef
4436
TITLE: Holistic Analysis for Fork-Join Distributed Tasks supported by the FTT-SE Protocol
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Paulo Pedreiras; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: IEEE World Conference on Factory Communication Systems (WFCS) in 2015 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS), VOLUME: 2015-July
INDEXED IN: Scopus WOS CrossRef: 2
4437
TITLE: Human pluripotent stem cell-derived neural constructs for predicting neural toxicity
AUTHORS: Michael P Schwartz; Zhonggang G Hou; Nicholas E Propson; Jue Zhang; Collin J Engstrom; Vitor Santos Costa ; Peng Jiang; Bao Kim Nguyen; Jennifer M Bolin; William Daly; Yu Wang; Ron Stewart; David D Page; William L Murphy; James A Thomson;
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, VOLUME: 112, ISSUE: 40, PAGES: 12516-12521
INDEXED IN: Scopus WOS CrossRef: 262
4438
TITLE: Hybrid tabu search and a truncated branch-and-bound for the unrelated parallel machine scheduling problem  Full Text
AUTHORS: Veronique Sels; Jose Coelho ; Antonio Manuel Dias; Mario Vanhoucke;
PUBLISHED: 2015, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 53, PAGES: 107-117
INDEXED IN: Scopus WOS DBLP CrossRef: 47
4439
TITLE: ID-CONNECT: Combining Network and Call Features to Link Different Identities of a User
AUTHORS: Muhammad Ajmal Azad ; Ricardo Morla ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 160-167
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4440
TITLE: iLearnTest Educational Game for Learning Software Testing
AUTHORS: Tania P B Ribeiro; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXED IN: Scopus WOS CrossRef: 4

Results per Page: 20.
Page 222 of 408. Total results: 8154.