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

536 Team Members
Filters -> Year: 2026
8521
TITLE: Test case generation from mutated task models
AUTHORS: Ana Barbosa; Ana C R Paiva ; José Creissac Campos ;
PUBLISHED: 2011, SOURCE: EICS, PAGES: 175-184
INDEXED IN: Scopus DBLP CrossRef: 22
8522
TITLE: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTHORS: de Andrade, FR; Faria, JP ; Paiva, ACR ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Software and Database Technologies (ICSOFT 2011) in ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, VOLUME: 2, PAGES: 192-200
INDEXED IN: Scopus WOS DBLP
8523
TITLE: Testing for Deterministic Trends in Global Sea Surface Temperature  Full Text
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2011, SOURCE: JOURNAL OF CLIMATE, VOLUME: 24, ISSUE: 10, PAGES: 2516-2522
INDEXED IN: Scopus WOS CrossRef: 23
8524
TITLE: The architecture design for content-aware network security services
AUTHORS: Lupu, R; Borcoci, E; Stanciu, M; Pinto, A ;
PUBLISHED: 2011, SOURCE: UPB Scientific Bulletin, Series C: Electrical Engineering, VOLUME: 73, ISSUE: 3, PAGES: 151-164
INDEXED IN: Scopus
8525
TITLE: The Importance of Precision in Humour Classification
AUTHORS: Joana Cósta; Catarina Silva ; Mário Antunes ; Bernardete Ribeiro ;
PUBLISHED: 2011, SOURCE: IDEAL, VOLUME: 6936 LNCS, PAGES: 271-278
INDEXED IN: Scopus DBLP CrossRef: 1
8526
TITLE: The importance of qualitative evaluation on E-learning systems
AUTHORS: Luciana Freire; Pedro M Arezes ; Jose C Campos ;
PUBLISHED: 2011, SOURCE: 7th International Symposium on Occupational Safety and Hygiene (SHO) in SHO2011: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PAGES: 278-282
INDEXED IN: WOS
8527
TITLE: THE IMPORTANCE OF SYSTEM INTEGRATION IN INTENSIVE CARE UNITS A Review
AUTHORS: Rui Fonseca; Pedro Pereira Rodrigues ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Health Informatics (HEALTHINF 2011) in HEALTHINF 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 142-147
INDEXED IN: Scopus WOS DBLP
8528
TITLE: The millennium development goals, national statistical offices, the international statistical literacy project and statistical literacy in schools  Full Text
AUTHORS: Sanchez, J; Forbes, S; Campos, P ; Giacche, P; Townsend, M; Mooney, G; Helenius, R;
PUBLISHED: 2011, SOURCE: Statistical Journal of the IAOS, VOLUME: 27, ISSUE: 3-4, PAGES: 157-171
INDEXED IN: Scopus CrossRef: 1
8529
TITLE: THE RED DOT SYSTEM Emergency Diagnosis Impact and Digital Radiology Implementation A Review
AUTHORS: Jose Manuel Coelho; Pedro Pereira Rodrigues ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Health Informatics (HEALTHINF 2011) in HEALTHINF 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 508-511
INDEXED IN: Scopus WOS DBLP
8530
TITLE: The Role of Coordination Analysis in Software Integration Projects
AUTHORS: Rodrigues, NF ; Oliveira, N; Barbosa, LS ;
PUBLISHED: 2011, SOURCE: Confederated International Workshops and Posters: EI2N plus NSF ICE, ICSP plus INBAST, ISDE, ORM, OTMA, SWWS plus MONET plus SeDeS, and VADER in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, VOLUME: 7046, PAGES: 83-+
INDEXED IN: Scopus WOS DBLP CrossRef
8531
TITLE: Three Behavioural Scenarios for Contingent Claims Valuation in Incomplete Markets
AUTHORS: Boukas, L; Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 221-228
INDEXED IN: Scopus WOS CrossRef
8532
TITLE: Tilings and Bussola for Making Decisions
AUTHORS: Alberto A Pinto ; Abdelrahim S Mousa ; Mohammad S Mousa; Rasha M Samarah;
PUBLISHED: 2011, SOURCE: International Conference on Dynamical Systems and Game Theory in Honor of Mauricio Peixoto and David Rand in DYNAMICS, GAMES AND SCIENCE I, VOLUME: 1, PAGES: 689-708
INDEXED IN: Scopus WOS CrossRef: 2
8533
TITLE: Time Series Motifs Statistical Significance
AUTHORS: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLISHED: 2011, SOURCE: SDM, PAGES: 687-698
INDEXED IN: Scopus DBLP CrossRef: 8
8534
TITLE: Traceability of Patient Records Usage: Barriers and Opportunities for Improving User Interface Design and Data Management
AUTHORS: Cruz Correia, R ; Lapao, L ; Rodrigues, PP ;
PUBLISHED: 2011, SOURCE: 23 rd Conference of the European Federation of Medical Informatics (MIE) in USER CENTRED NETWORKED HEALTH CARE, VOLUME: 169, PAGES: 275-279
INDEXED IN: Scopus WOS DBLP CrossRef
8535
TITLE: Transformation of structure-shy programs with application to XPath queries and strategic functions
AUTHORS: Cunha, A ; Visser, J;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6, PAGES: 516-539
INDEXED IN: Scopus WOS DBLP CrossRef: 5
8536
TITLE: Transformation Rules for Model Migration in Relational Database Preservation
AUTHORS: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2011, SOURCE: iPRES
INDEXED IN: DBLP
8537
TITLE: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: SEFM, VOLUME: 7041 LNCS, PAGES: 221-236
INDEXED IN: Scopus DBLP CrossRef: 7
8538
TITLE: Trebuchet: exploring TLP with dataflow virtualisation
AUTHORS: Tiago A O Alves; Leandro A J Marzulo; Felipe M G França; Vítor Santos Costa ;
PUBLISHED: 2011, SOURCE: Int. J. High Perform. Syst. Archit., VOLUME: 3, ISSUE: 2/3, PAGES: 137-148
INDEXED IN: Scopus DBLP CrossRef: 23
8539
TITLE: Tunable Immune Detectors for Behaviour-Based Network Intrusion Detection
AUTHORS: Mário Antunes ; Manuel Eduardo Correia ;
PUBLISHED: 2011, SOURCE: ICARIS, VOLUME: 6825 LNCS, PAGES: 334-347
INDEXED IN: Scopus DBLP CrossRef: 2
8540
TITLE: Two new power indices based on winning coalitions  Full Text
AUTHORS: Alonso Meijide, JM; Ferreira, F ; Alvarez Mozos, M; Pinto, AA ;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1095-1100
INDEXED IN: Scopus WOS CrossRef: 6

Results per Page: 20.
Page 427 of 532. Total results: 10639.