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
14721
TITLE: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTHORS: Ricardo D F Ferreira; Joao P Faria ; Ana C R Paiva ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 268-273
AUTHORS: Ricardo D F Ferreira; Joao P Faria ; Ana C R Paiva ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 268-273
14722
TITLE: Test coverage analysis of UML state machines
AUTHORS: Ferreira, RDF; Paiva, ACR ; Faria, JP ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010 in ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops, PAGES: 284-289
AUTHORS: Ferreira, RDF; Paiva, ACR ; Faria, JP ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010 in ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops, PAGES: 284-289
14723
TITLE: Testing Aspect-Oriented Programs
AUTHORS: Moreira, RMLM; Paiva, ACR ; Aguiar, A ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 271-276
AUTHORS: Moreira, RMLM; Paiva, ACR ; Aguiar, A ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 271-276
INDEXED IN: 
Scopus 
WOS 
Handle
Scopus WOS Handle14724
TITLE: The "digitalisation" of youth: How do they manage and integrate digital technologies?. How Do They Manage and Integrate Digital Technologies?
AUTHORS: Brito, PQ ;
PUBLISHED: 2010, SOURCE: Handbook of Research on Digital Media and Advertising: User Generated Content Consumption, PAGES: 345-373
AUTHORS: Brito, PQ ;
PUBLISHED: 2010, SOURCE: Handbook of Research on Digital Media and Advertising: User Generated Content Consumption, PAGES: 345-373
14725
TITLE: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
AUTHORS: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409, PAGES: 6-21
AUTHORS: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409, PAGES: 6-21
14726
TITLE: The assessment of retailing efficiency using Network Data Envelopment Analysis Full Text
AUTHORS: Vaz, CB ; Camanho, AS ; Guimaraes, RC;
PUBLISHED: 2010, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 173, ISSUE: 1, PAGES: 5-24
AUTHORS: Vaz, CB ; Camanho, AS ; Guimaraes, RC;
PUBLISHED: 2010, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 173, ISSUE: 1, PAGES: 5-24
14727
TITLE: The branch and cut method for the facility location problem with client's preferences Full Text
AUTHORS: Vasilyev, IL; Klimentova, KB ;
PUBLISHED: 2010, SOURCE: Journal of Applied and Industrial Mathematics, VOLUME: 4, ISSUE: 3, PAGES: 441-454
AUTHORS: Vasilyev, IL; Klimentova, KB ;
PUBLISHED: 2010, SOURCE: Journal of Applied and Industrial Mathematics, VOLUME: 4, ISSUE: 3, PAGES: 441-454
14728
TITLE: The Effect of Gait Speed on Three-Dimensional Analysis of Hindlimb Kinematics during Treadmill Locomotion in Rats
AUTHORS: Luis M Costa; Jose E Pereira; Vitor M Filipe ; Pedro A Couto ; Luis G Magalhaes ; Jose Bulas Cruz; Ana C Mauricio ; Stefano Geuna; Artur S P Varejao ;
PUBLISHED: 2010, SOURCE: REVIEWS IN THE NEUROSCIENCES, VOLUME: 21, ISSUE: 6, PAGES: 487-497
AUTHORS: Luis M Costa; Jose E Pereira; Vitor M Filipe ; Pedro A Couto ; Luis G Magalhaes ; Jose Bulas Cruz; Ana C Mauricio ; Stefano Geuna; Artur S P Varejao ;
PUBLISHED: 2010, SOURCE: REVIEWS IN THE NEUROSCIENCES, VOLUME: 21, ISSUE: 6, PAGES: 487-497
14729
TITLE: The evolutionary algorithm EPSO to coordinate directional overcurrent relays
AUTHORS: Leite, H ; Barros, J; Miranda, V ;
PUBLISHED: 2010, SOURCE: 10th IET International Conference on Developments in Power System Protection, DPSP 2010 in IET Conference Publications, VOLUME: 2010, ISSUE: 558 CP
AUTHORS: Leite, H ; Barros, J; Miranda, V ;
PUBLISHED: 2010, SOURCE: 10th IET International Conference on Developments in Power System Protection, DPSP 2010 in IET Conference Publications, VOLUME: 2010, ISSUE: 558 CP
14730
TITLE: The Feasibility of Navigation Algorithms on Smartphones using J2ME Full Text
AUTHORS: Andre C Santos; Luis Tarrataca; Joao M P Cardoso ;
PUBLISHED: 2010, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 15, ISSUE: 6, PAGES: 819-830
AUTHORS: Andre C Santos; Luis Tarrataca; Joao M P Cardoso ;
PUBLISHED: 2010, SOURCE: MOBILE NETWORKS & APPLICATIONS, VOLUME: 15, ISSUE: 6, PAGES: 819-830
14731
TITLE: The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code. towards a language independent approach to reverse engineering GUI code
AUTHORS: Joao Carlos Silva; Carlos Silva; Rui Goncalo; Joao Saraiva ; Jose Creissac Campos ;
PUBLISHED: 2010, SOURCE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems in EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 181-186
AUTHORS: Joao Carlos Silva; Carlos Silva; Rui Goncalo; Joao Saraiva ; Jose Creissac Campos ;
PUBLISHED: 2010, SOURCE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems in EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PAGES: 181-186
14732
TITLE: The Impact of Pre-processing on the Classification of MEDLINE Documents
AUTHORS: Carlos Adriano Goncalves ; Celia Talma Goncalves; Rui Camacho ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Workshop on Pattern Recognition in Information Systems, PRIS 2010 / ICEIS 2010 in PATTERN RECOGNITION IN INFORMATION SYSTEMS, PAGES: 53-61
AUTHORS: Carlos Adriano Goncalves ; Celia Talma Goncalves; Rui Camacho ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Workshop on Pattern Recognition in Information Systems, PRIS 2010 / ICEIS 2010 in PATTERN RECOGNITION IN INFORMATION SYSTEMS, PAGES: 53-61
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP14733
TITLE: The measurement of relative efficiency using data envelopment analysis with assurance regions that link inputs and outputs Full Text
AUTHORS: Khalili, M; Camanho, AS ; Portela, MCAS ; Alirezaee, MR;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 203, ISSUE: 3, PAGES: 761-770
AUTHORS: Khalili, M; Camanho, AS ; Portela, MCAS ; Alirezaee, MR;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 203, ISSUE: 3, PAGES: 761-770
14734
TITLE: The next generation of transportation systems, greenhouse emissions, and data mining
AUTHORS: Kargupta, H; Gama, J ; Fan, W;
PUBLISHED: 2010, SOURCE: 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD-2010 in Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, PAGES: 1209-1211
AUTHORS: Kargupta, H; Gama, J ; Fan, W;
PUBLISHED: 2010, SOURCE: 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD-2010 in Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, PAGES: 1209-1211
14735
TITLE: The role of an aggregator agent for EV in the electricity market
AUTHORS: Bessa, RJ ; Matos, MA ;
PUBLISHED: 2010, SOURCE: 7th Mediterranean Conference and Exhibition on Power Generation, Transmission, Distribution and Energy Conversion, MedPower 2010 in IET Conference Publications, VOLUME: 2010, ISSUE: 572 CP
AUTHORS: Bessa, RJ ; Matos, MA ;
PUBLISHED: 2010, SOURCE: 7th Mediterranean Conference and Exhibition on Power Generation, Transmission, Distribution and Energy Conversion, MedPower 2010 in IET Conference Publications, VOLUME: 2010, ISSUE: 572 CP
14736
TITLE: The SmartVision Navigation Prototype for the Blind
AUTHORS: du Buf, JMH; Barroso, J ; Rodrigues, JMF ; Paredes, H ; Farrajota, M; Fernandes, H ; Jose, J; Teixeira, V; Saleiro, M;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2010), VOLUME: 5, ISSUE: 5, PAGES: 167-174
AUTHORS: du Buf, JMH; Barroso, J ; Rodrigues, JMF ; Paredes, H ; Farrajota, M; Fernandes, H ; Jose, J; Teixeira, V; Saleiro, M;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2010), VOLUME: 5, ISSUE: 5, PAGES: 167-174
14737
TITLE: Thomas-Fermi model of an ultra-cold Rydberg plasma
AUTHORS: Guerreiro, A ; Tercas, H; Mendonca, JT ;
PUBLISHED: 2010, SOURCE: 37th EPS Conference on Plasma Physics 2010, EPS 2010 in 37th EPS Conference on Plasma Physics 2010, EPS 2010, VOLUME: 3, PAGES: 1548-1551
AUTHORS: Guerreiro, A ; Tercas, H; Mendonca, JT ;
PUBLISHED: 2010, SOURCE: 37th EPS Conference on Plasma Physics 2010, EPS 2010 in 37th EPS Conference on Plasma Physics 2010, EPS 2010, VOLUME: 3, PAGES: 1548-1551
INDEXED IN: Scopus
Scopus14738
TITLE: Threads and or-parallelism unified
AUTHORS: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6, PAGES: 417-432
AUTHORS: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6, PAGES: 417-432
14739
TITLE: Time Domain BRS Estimation: Least Squares versus Quantile Regression
AUTHORS: Gouveia, S ; Rocha, C ; Rocha, AP ; Silva, ME ;
PUBLISHED: 2010, SOURCE: 37th Annual Conference of the Computing-in-Cardiology in COMPUTING IN CARDIOLOGY 2010, VOL 37, VOLUME: 37, PAGES: 931-934
AUTHORS: Gouveia, S ; Rocha, C ; Rocha, AP ; Silva, ME ;
PUBLISHED: 2010, SOURCE: 37th Annual Conference of the Computing-in-Cardiology in COMPUTING IN CARDIOLOGY 2010, VOL 37, VOLUME: 37, PAGES: 931-934
INDEXED IN: Scopus WOS
Scopus WOS14740
TITLE: Tone Mapping Operators on Small Screen Devices: An Evaluation Study Full Text
AUTHORS: Urbano, C; Magalhaes, L ; Moura, J.P. ; Bessa, M ; Marcos, A ; Chalmers, A;
PUBLISHED: 2010, SOURCE: COMPUTER GRAPHICS FORUM, VOLUME: 29, ISSUE: 8, PAGES: 2469-2478
AUTHORS: Urbano, C; Magalhaes, L ; Moura, J.P. ; Bessa, M ; Marcos, A ; Chalmers, A;
PUBLISHED: 2010, SOURCE: COMPUTER GRAPHICS FORUM, VOLUME: 29, ISSUE: 8, PAGES: 2469-2478
