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: 18529
1699 Team MembersFilters -> Year: 2024
14101
TITLE: Transformation of structure-shy programs with application to XPath queries and strategic functions Full Text
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6, PAGES: 516-539
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6, PAGES: 516-539
14102
TITLE: Transformation Rules for Model Migration in Relational Database Preservation
AUTHORS: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2011, SOURCE: Proceedings of the 8th International Conference on Digital Preservation, iPRES 2011, Singapore, November 1-4, 2011
AUTHORS: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2011, SOURCE: Proceedings of the 8th International Conference on Digital Preservation, iPRES 2011, Singapore, November 1-4, 2011
INDEXED IN: DBLP
14103
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
14104
TITLE: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041, PAGES: 221-236
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041, PAGES: 221-236
14105
TITLE: Trebuchet: Exploring TLP with dataflow virtualisation
AUTHORS: Alves, TAO; Marzulo, LAJ; Franca, FMG; Costa, VS ;
PUBLISHED: 2011, SOURCE: International Journal of High Performance Systems Architecture, VOLUME: 3, ISSUE: 2-3, PAGES: 137-148
AUTHORS: Alves, TAO; Marzulo, LAJ; Franca, FMG; Costa, VS ;
PUBLISHED: 2011, SOURCE: International Journal of High Performance Systems Architecture, VOLUME: 3, ISSUE: 2-3, PAGES: 137-148
14106
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
14107
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
14108
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
14109
TITLE: Tunable immune detectors for behaviour-based network intrusion detection
AUTHORS: Antunes, M ; Manuel E. Correia ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Artificial Immune Systems, ICARIS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6825 LNCS, PAGES: 334-347
AUTHORS: Antunes, M ; Manuel E. Correia ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Artificial Immune Systems, ICARIS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6825 LNCS, PAGES: 334-347
14110
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
14111
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
14112
TITLE: Type-Safe Evolution of Spreadsheets Full Text
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-201
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-201
14113
TITLE: Ubiquitous Knowledge Discovery Introduction Full Text
AUTHORS: Joao Gama ; Michael May;
PUBLISHED: 2011, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, ISSUE: 1, PAGES: 1-2
AUTHORS: Joao Gama ; Michael May;
PUBLISHED: 2011, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, ISSUE: 1, PAGES: 1-2
14114
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
14115
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
14116
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
14117
TITLE: Uniformly hyperbolic diffeomorphisms in every surfaces Full Text
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1031-1047
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1031-1047
14118
TITLE: Unit commitment and operating reserves with probabilistic wind power forecasts
AUTHORS: Botterud, A; Zhou, Z; Wang, J; Valenzuela, J; Sumaili, J ; Bessa, RJ ; Keko, H; Miranda, V ;
PUBLISHED: 2011, SOURCE: 2011 IEEE PES Trondheim PowerTech: The Power of Technology for a Sustainable Society, POWERTECH 2011 in 2011 IEEE PES Trondheim PowerTech: The Power of Technology for a Sustainable Society, POWERTECH 2011
AUTHORS: Botterud, A; Zhou, Z; Wang, J; Valenzuela, J; Sumaili, J ; Bessa, RJ ; Keko, H; Miranda, V ;
PUBLISHED: 2011, SOURCE: 2011 IEEE PES Trondheim PowerTech: The Power of Technology for a Sustainable Society, POWERTECH 2011 in 2011 IEEE PES Trondheim PowerTech: The Power of Technology for a Sustainable Society, POWERTECH 2011
14119
TITLE: Universality in PSI20 fluctuations
AUTHORS: Rui Goncalves ; Helena Ferreira; Alberto A Pinto ;
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: 405-420
AUTHORS: Rui Goncalves ; Helena Ferreira; Alberto A Pinto ;
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: 405-420
INDEXED IN: Scopus WOS
14120
TITLE: Universality in the stock exchange market Full Text
AUTHORS: Goncalves, R ; Ferreira, H ; Pinto, AA ;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1049-1063
AUTHORS: Goncalves, R ; Ferreira, H ; Pinto, AA ;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1049-1063