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: 24967
1716 Team MembersFilters -> Year: 2026
14341
TITLE: A review of simheuristics: Extending metaheuristics to deal with stochastic combinatorial optimization problems
AUTHORS: Juan, AA; Faulin, J; Grasman, SE; Rabe, M; Figueira, G ;
PUBLISHED: 2015, SOURCE: OPERATIONS RESEARCH PERPSECTIVES, VOLUME: 2, PAGES: 62-72
AUTHORS: Juan, AA; Faulin, J; Grasman, SE; Rabe, M; Figueira, G ;
PUBLISHED: 2015, SOURCE: OPERATIONS RESEARCH PERPSECTIVES, VOLUME: 2, PAGES: 62-72
14342
TITLE: A Robot in the Classroom
AUTHORS: Manuel F Silva ; Belen Curto; Vidal Moreno;
PUBLISHED: 2015, SOURCE: 3rd International Conference on Technological Ecosystems for Enhancing Multiculturality in THIRD INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY, PROCEEDINGS TEEM'15, VOLUME: Part F118785, PAGES: 197-201
AUTHORS: Manuel F Silva ; Belen Curto; Vidal Moreno;
PUBLISHED: 2015, SOURCE: 3rd International Conference on Technological Ecosystems for Enhancing Multiculturality in THIRD INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY, PROCEEDINGS TEEM'15, VOLUME: Part F118785, PAGES: 197-201
14343
TITLE: A serious games framework for health rehabilitation
AUTHORS: Rego, PA ; Moreira, PM ; Reis, LP ;
PUBLISHED: 2015, SOURCE: Gamification: Concepts, Methodologies, Tools, and Applications, VOLUME: 1-4, PAGES: 404-424
AUTHORS: Rego, PA ; Moreira, PM ; Reis, LP ;
PUBLISHED: 2015, SOURCE: Gamification: Concepts, Methodologies, Tools, and Applications, VOLUME: 1-4, PAGES: 404-424
14344
TITLE: A short note on type-inhabitation: Formula-trees vs. game semantics
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11, PAGES: 908-911
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11, PAGES: 908-911
14345
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators
AUTHORS: de Oliveira, CB; Menotti, R; Cardoso, JMP ; Marques, E;
PUBLISHED: 2015, SOURCE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PAGES: 74-81
AUTHORS: de Oliveira, CB; Menotti, R; Cardoso, JMP ; Marques, E;
PUBLISHED: 2015, SOURCE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PAGES: 74-81
14346
TITLE: A Structural Approach to Assess Graph-Based Exercises
AUTHORS: Sousa, R; Leal, JP ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
AUTHORS: Sousa, R; Leal, JP ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
14347
TITLE: A study of risk-aware program transformation
AUTHORS: Murta, D; Oliveira, JN ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PAGES: 51-77
AUTHORS: Murta, D; Oliveira, JN ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PAGES: 51-77
14348
TITLE: A Survey of Distributed Data Aggregation Algorithms
AUTHORS: Jesus, P ; Baquero, C ; Almeida, PS ;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, ISSUE: 1, PAGES: 381-404
AUTHORS: Jesus, P ; Baquero, C ; Almeida, PS ;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, ISSUE: 1, PAGES: 381-404
14349
TITLE: A Survey of Predictive Modelling under Imbalanced Distributions
AUTHORS: Paula Branco ; Luís Torgo ; Rita P Ribeiro ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01658
AUTHORS: Paula Branco ; Luís Torgo ; Rita P Ribeiro ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01658
INDEXED IN: 
DBLP
DBLP14350
TITLE: A survey of task-oriented crowdsourcing Full Text
AUTHORS: Nuno Luz; Nuno Silva ; Paulo Novais ;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 44, ISSUE: 2, PAGES: 187-213
AUTHORS: Nuno Luz; Nuno Silva ; Paulo Novais ;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 44, ISSUE: 2, PAGES: 187-213
14351
TITLE: A Survey on Factors that Impact Industrial Agent Acceptance
AUTHORS: Leitão, P ; Karnouskos, S;
PUBLISHED: 2015, SOURCE: Industrial Agents: Emerging Applications of Software Agents in Industry, PAGES: 401-429
AUTHORS: Leitão, P ; Karnouskos, S;
PUBLISHED: 2015, SOURCE: Industrial Agents: Emerging Applications of Software Agents in Industry, PAGES: 401-429
14352
TITLE: A survey on smart meeting rooms and open issues Full Text
AUTHORS: Freitas, CF; Barroso, J ; Ramos, C;
PUBLISHED: 2015, SOURCE: International Journal of Smart Home, VOLUME: 9, ISSUE: 9, PAGES: 13-20
AUTHORS: Freitas, CF; Barroso, J ; Ramos, C;
PUBLISHED: 2015, SOURCE: International Journal of Smart Home, VOLUME: 9, ISSUE: 9, PAGES: 13-20
14353
TITLE: A sustainability assessment of advanced materials for novel housing solutions Full Text
AUTHORS: Pouya Samani; Adelio Mendes ; Vitor Leal ; João Miranda Guedes ; Nuno Correia;
PUBLISHED: 2015, SOURCE: BUILDING AND ENVIRONMENT, VOLUME: 92, PAGES: 182-191
AUTHORS: Pouya Samani; Adelio Mendes ; Vitor Leal ; João Miranda Guedes ; Nuno Correia;
PUBLISHED: 2015, SOURCE: BUILDING AND ENVIRONMENT, VOLUME: 92, PAGES: 182-191
14354
TITLE: A system dynamics model to support the management of artisanal dredge fisheries in the south coast of Portugal. A system dynamics model to support the management of artisanal dredge fisheries in the south coast of Portugal Full Text
AUTHORS: H. Martins ; S. Camanho ; Oliveira, M ; B. Gaspar;
PUBLISHED: 2015, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 22, ISSUE: 4, PAGES: 611-634
AUTHORS: H. Martins ; S. Camanho ; Oliveira, M ; B. Gaspar;
PUBLISHED: 2015, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 22, ISSUE: 4, PAGES: 611-634
14355
TITLE: A time synchronization circuit with sub-microsecond skew for multi-hop wired wearable networks
AUTHORS: Derogarian, F; Ferreira, JC ; Tavares, VMG ;
PUBLISHED: 2015, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 39, ISSUE: 8, PAGES: 1029-1038
AUTHORS: Derogarian, F; Ferreira, JC ; Tavares, VMG ;
PUBLISHED: 2015, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 39, ISSUE: 8, PAGES: 1029-1038
14356
TITLE: A Two-Level Framework to Fault Diagnosis and Decision Making for Power Transformers
AUTHORS: Shigeaki L Lima; Osvaldo R Saavedra; Vladimiro Miranda ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 30, ISSUE: 1, PAGES: 497-504
AUTHORS: Shigeaki L Lima; Osvaldo R Saavedra; Vladimiro Miranda ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 30, ISSUE: 1, PAGES: 497-504
14357
TITLE: A Typed Language for Events
AUTHORS: Alves, S ; Broda, S ; Fernández, M;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
AUTHORS: Alves, S ; Broda, S ; Fernández, M;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
14358
TITLE: A Ubl/ubiquitin switch in the activation of Parkin
AUTHORS: Véronique Sauvé; Asparouh Lilov; Marjan Seirafi; Marta Vranas ; Shafqat Rasool; Guennadi Kozlov; Tara Sprules; Jimin Wang; Jean‐François Trempe; Kalle Gehring;
PUBLISHED: 2015, SOURCE: The EMBO Journal, VOLUME: 34, ISSUE: 20, PAGES: 2492-2505
AUTHORS: Véronique Sauvé; Asparouh Lilov; Marjan Seirafi; Marta Vranas ; Shafqat Rasool; Guennadi Kozlov; Tara Sprules; Jimin Wang; Jean‐François Trempe; Kalle Gehring;
PUBLISHED: 2015, SOURCE: The EMBO Journal, VOLUME: 34, ISSUE: 20, PAGES: 2492-2505
14359
TITLE: A Virtual Reservoir Electricity Market Design Applied to the Brazilian System Using an Agent Based Model
AUTHORS: Felipe Alves Calabria; Joao Tome Saraiva ; Ana Paula Rocha ;
PUBLISHED: 2015, SOURCE: 12th International Conference on the European Energy Market (EEM) in 2015 12TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2015-August
AUTHORS: Felipe Alves Calabria; Joao Tome Saraiva ; Ana Paula Rocha ;
PUBLISHED: 2015, SOURCE: 12th International Conference on the European Energy Market (EEM) in 2015 12TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2015-August
14360
TITLE: a-GIZO TFT neural modeling, circuit simulation and validation Full Text
AUTHORS: Pydi Ganga Bahubalindruni; Vitor Grade Tavares ; Pedro Barquinha; Candido Duarte ; Nuno Cardoso; Pedro Guedes de Oliveira; Rodrigo Martins; Elvira Fortunato ;
PUBLISHED: 2015, SOURCE: SOLID-STATE ELECTRONICS, VOLUME: 105, PAGES: 30-36
AUTHORS: Pydi Ganga Bahubalindruni; Vitor Grade Tavares ; Pedro Barquinha; Candido Duarte ; Nuno Cardoso; Pedro Guedes de Oliveira; Rodrigo Martins; Elvira Fortunato ;
PUBLISHED: 2015, SOURCE: SOLID-STATE ELECTRONICS, VOLUME: 105, PAGES: 30-36
