Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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
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!
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!
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!
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: 24952
1716 Team MembersFilters -> Year: 2026
19721
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
AUTHORS: Cunha, A ; Visser, J;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6, PAGES: 516-539
19722
TITLE: Transformation Rules for Model Migration in Relational Database Preservation
AUTHORS: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2011, SOURCE: iPRES
AUTHORS: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2011, SOURCE: iPRES
INDEXED IN: 
DBLP
DBLP19723
TITLE: Transformer fault diagnosis based on autoassociative neural networks
AUTHORS: Castro, ARG; Miranda, V ; Lima, S;
PUBLISHED: 2011, SOURCE: 2011 16th International Conference on Intelligent System Applications to Power Systems, ISAP 2011 in 2011 16th International Conference on Intelligent System Applications to Power Systems, ISAP 2011
AUTHORS: Castro, ARG; Miranda, V ; Lima, S;
PUBLISHED: 2011, SOURCE: 2011 16th International Conference on Intelligent System Applications to Power Systems, ISAP 2011 in 2011 16th International Conference on Intelligent System Applications to Power Systems, ISAP 2011
19724
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
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: SEFM, VOLUME: 7041 LNCS, PAGES: 221-236
19725
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
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
19726
TITLE: Tributyltin-induced imposex in marine gastropods involves tissue-specific modulation of the retinoid X receptor Full Text
AUTHORS: Lima, D ; Reis Henriques, MA ; Silva, R ; Santos, AI; Filipe F C Castro ; Santos, MM ;
PUBLISHED: 2011, SOURCE: AQUATIC TOXICOLOGY, VOLUME: 101, ISSUE: 1, PAGES: 221-227
AUTHORS: Lima, D ; Reis Henriques, MA ; Silva, R ; Santos, AI; Filipe F C Castro ; Santos, MM ;
PUBLISHED: 2011, SOURCE: AQUATIC TOXICOLOGY, VOLUME: 101, ISSUE: 1, PAGES: 221-227
19727
TITLE: TriMARES - a Hybrid AUV/ROV for Dam Inspection Full Text
AUTHORS: Nuno A Cruz ; Anibal C Matos ; Rui M Almeida ; Bruno M Ferreira ; Nuno Abreu ;
PUBLISHED: 2011, SOURCE: MTS/IEEE OCEANS Conference in OCEANS 2011
AUTHORS: Nuno A Cruz ; Anibal C Matos ; Rui M Almeida ; Bruno M Ferreira ; Nuno Abreu ;
PUBLISHED: 2011, SOURCE: MTS/IEEE OCEANS Conference in OCEANS 2011
19728
TITLE: True power detector for RF PAb Built-in calibration and testing
AUTHORS: José M da Silva ; Pedro F da Mota;
PUBLISHED: 2011
AUTHORS: José M da Silva ; Pedro F da Mota;
PUBLISHED: 2011
INDEXED IN: 
Handle
Handle19729
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
AUTHORS: Mário Antunes ; Manuel Eduardo Correia ;
PUBLISHED: 2011, SOURCE: ICARIS, VOLUME: 6825 LNCS, PAGES: 334-347
19730
TITLE: TV White Spaces maps computation through interference analysis
AUTHORS: Rogerio Dionisio ; Paulo Marques ; Jonathan Rodriguez ;
PUBLISHED: 2011, SOURCE: Future Network & Mobile Summit, PAGES: 1-9
AUTHORS: Rogerio Dionisio ; Paulo Marques ; Jonathan Rodriguez ;
PUBLISHED: 2011, SOURCE: Future Network & Mobile Summit, PAGES: 1-9
INDEXED IN: 
Scopus DBLP
Scopus DBLP19731
TITLE: Twenty years of optical coherence tomography: challenges for the future
AUTHORS: Carla Carmelo Rosa ;
PUBLISHED: 2011, SOURCE: International Conference on Applications of Optics and Photonics in INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 8001
AUTHORS: Carla Carmelo Rosa ;
PUBLISHED: 2011, SOURCE: International Conference on Applications of Optics and Photonics in INTERNATIONAL CONFERENCE ON APPLICATIONS OF OPTICS AND PHOTONICS, VOLUME: 8001
INDEXED IN: Scopus 
WOS
Scopus WOS19732
TITLE: Two Humanoid Simulators: Comparison and Synthesis
AUTHORS: Nima Shafii; Luis Paulo Reis ; Rosaldo J F Rossetti ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 773-778
AUTHORS: Nima Shafii; Luis Paulo Reis ; Rosaldo J F Rossetti ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 773-778
INDEXED IN: Scopus WOS
Scopus WOS19733
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
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
19734
TITLE: Type Checking Cryptography Implementations
AUTHORS: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLISHED: 2011, SOURCE: FSEN, VOLUME: 7141 LNCS, PAGES: 316-334
AUTHORS: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLISHED: 2011, SOURCE: FSEN, VOLUME: 7141 LNCS, PAGES: 316-334
19735
TITLE: Type-Safe Evolution of Spreadsheets
AUTHORS: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-+
AUTHORS: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-+
19736
TITLE: Ubiquitous Knowledge Discovery Introduction
AUTHORS: Gama, J ; May, M;
PUBLISHED: 2011, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, ISSUE: 1, PAGES: 1-2
AUTHORS: Gama, J ; May, M;
PUBLISHED: 2011, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, ISSUE: 1, PAGES: 1-2
19737
TITLE: Ultralong 250 km remote sensor system based on a fiber loop mirror interrogated by an optical time-domain reflectometer
AUTHORS: Bravo, M; Baptista, JM ; Santos, JL ; Lopez Amo, M; Frazao, O ;
PUBLISHED: 2011, SOURCE: OPTICS LETTERS, VOLUME: 36, ISSUE: 20, PAGES: 4059-4061
AUTHORS: Bravo, M; Baptista, JM ; Santos, JL ; Lopez Amo, M; Frazao, O ;
PUBLISHED: 2011, SOURCE: OPTICS LETTERS, VOLUME: 36, ISSUE: 20, PAGES: 4059-4061
19738
TITLE: Ultrasonic energy as a tool to overcome some drawbacks in the determination of lead in brain tissue and urine of rats Full Text
AUTHORS: Guimaraes, D ; Santos, José Paulo ; Carvalho, ML ; Vale, G; Santos, HM ; Geraldes, V; Rocha, I; Capelo, JL ;
PUBLISHED: 2011, SOURCE: TALANTA, VOLUME: 86, ISSUE: 1, PAGES: 442-446
AUTHORS: Guimaraes, D ; Santos, José Paulo ; Carvalho, ML ; Vale, G; Santos, HM ; Geraldes, V; Rocha, I; Capelo, JL ;
PUBLISHED: 2011, SOURCE: TALANTA, VOLUME: 86, ISSUE: 1, PAGES: 442-446
19739
TITLE: Uncertainty on a Bertrand Duopoly with Product Differentiation
AUTHORS: Ferreira, F. A. ; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 389-395
AUTHORS: Ferreira, F. A. ; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 389-395
19740
TITLE: Uncertainty Sampling Methods for Selecting Datasets in Active Meta-Learning
AUTHORS: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2011, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2011 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1082-1089
AUTHORS: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2011, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2011 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1082-1089
