Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 24999

1714 Team Members
Filters -> Year: 2026
18021
TÍTULO: Bounded Model Checking of Temporal Formulas with Alloy PDF
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.2746
INDEXADO EM: DBLP arXiv
18022
TÍTULO: Bridging between programming exercises formats with BabeLO
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2012, FONTE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
INDEXADO EM: Handle
18023
TÍTULO: Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. efficient causality tracking in distributed storage systems with dotted version vectors
AUTORES: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLICAÇÃO: 2012, FONTE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in ACM Symposium on Principles of Distributed Computing, PODC '12, Funchal, Madeira, Portugal, July 16-18, 2012, PÁGINAS: 335-336
INDEXADO EM: Scopus DBLP CrossRef Handle
18024
TÍTULO: Brief Announcement: Semantics of Eventually Consistent Replicated Sets
AUTORES: Annette Bieniusa; Marek Zawirski; Nuno Preguica ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sergio Duarte ;
PUBLICAÇÃO: 2012, FONTE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PÁGINAS: 441-442
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
18025
TÍTULO: Brillouin effect characterization in all-Raman amplified 4 40 Gb/s WDM system  Full Text
AUTORES: Pontes, MJ; Segatto, MEV; Barbero, APL; Rocco Giraldi, MTM; Rocha, AM ; Neto, B; Costa, JCW; Martinez, MAG; Frazao, O ; Baptista, JM ; Salgado, H ; Teixeira, ALJ ; Andre, PS ;
PUBLICAÇÃO: 2012, FONTE: MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, VOLUME: 54, NÚMERO: 6, PÁGINAS: 1403-1407
INDEXADO EM: Scopus WOS CrossRef: 1
18026
TÍTULO: BRISA: Combining Efficiency and Reliability in Epidemic Data Dissemination
AUTORES: Miguel Matos ; Valerio Schiavoni; Pascal Felber; Rui Oliveira ; Etienne Riviere;
PUBLICAÇÃO: 2012, FONTE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), PÁGINAS: 983-994
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
18027
TÍTULO: BRKGA adapted to multiobjective unit commitment: Solving Pareto Frontier for UC Multiobjective Problem using BRKGA SPEA2 NPGA and NSGA II Techniques
AUTORES: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLICAÇÃO: 2012, FONTE: 1st International Conference on Operations Research and Enterprise Systems, ICORES 2012 in ICORES 2012 - Proceedings of the 1st International Conference on Operations Research and Enterprise Systems, PÁGINAS: 64-72
INDEXADO EM: Scopus DBLP
18028
TÍTULO: Building a Microscope for the Data Center
AUTORES: Pereira, N ; Tennina, S; Tovar, E ;
PUBLICAÇÃO: 2012, FONTE: 7th International Conference on Wireless Algorithms, Systems, and Applications (WASA) in WIRELESS ALGORITHMS, SYSTEMS, AND APPLICATIONS, WASA 2012, VOLUME: 7405, PÁGINAS: 619-630
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
18029
TÍTULO: Building and Exploring Semantic Equivalences Resources
AUTORES: Gracinda Carvalho; David Martins de Matos ; Vitor Rocio ;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on Language Resources and Evaluation (LREC) in LREC 2012 - EIGHTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PÁGINAS: 2038-2042
INDEXADO EM: Scopus WOS DBLP
18030
TÍTULO: Bus Bunching Detection by Mining Sequences of Headway Deviations  Full Text
AUTORES: Luís Moreira Matias ; Carlos Abreu Ferreira ; João Gama ; João Mendes Moreira ; Jorge Freire de Sousa ;
PUBLICAÇÃO: 2012, FONTE: ICDM, VOLUME: 7377 LNAI, PÁGINAS: 77-91
INDEXADO EM: Scopus DBLP CrossRef: 20
18031
TÍTULO: Bus Bunching detection: A sequence mining approach
AUTORES: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLICAÇÃO: 2012, FONTE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PÁGINAS: 13-17
INDEXADO EM: Scopus
18032
TÍTULO: Business Model Development for Virtual Enterprises
AUTORES: Evelyn Paola S Soto Rojas; Ana Cristina Barros ; Americo Lopes de Azevedo ; Antonio Batocchio;
PUBLICAÇÃO: 2012, FONTE: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises (PROVE-VE 2012) in COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, VOLUME: 380, PÁGINAS: 624-634
INDEXADO EM: Scopus WOS CrossRef: 6
18033
TÍTULO: Business Narrative Modelling Language (BNML) representations: A storyline view and a plot view of how interoperability is an antecedent of innovation at IP BRICK  Full Text
AUTORES: Manuel Au-Yong Oliveira, ;
PUBLICAÇÃO: 2012, FONTE: Afr. J. Bus. Manage. - AFRICAN JOURNAL OF BUSINESS MANAGEMENT, VOLUME: 6, NÚMERO: 15
INDEXADO EM: CrossRef
18034
TÍTULO: Business, social responsibility, and corruption. Business, social responsibility, and corruption  Full Text
AUTORES: Branco, MC ; Delgado, C ;
PUBLICAÇÃO: 2012, FONTE: Journal of Public Affairs, VOLUME: 12, NÚMERO: 4, PÁGINAS: 357-365
INDEXADO EM: Scopus CrossRef: 31
18035
TÍTULO: Can GUI Implementation Markup Languages Be Used for Modelling?
AUTORES: Carlos E Silva; José Creissac Campos ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Human-Centered Software Engineering, HCSE 2012 in Human-Centered Software Engineering - 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings, VOLUME: 7623, PÁGINAS: 112-129
INDEXADO EM: Scopus DBLP CrossRef Handle
18037
TÍTULO: Caracterização estato-ponderal de crianças e adolescentes numa amostra representativa da população portuguesa
AUTORES: Bruno Oliveira ; Rui Poínhos; Claúdia Afonso; Bela Franchini; Vitor H Teixeira; Pedro Moreira; Catarina Durão; Olívia Pinho; Diana Silva; J.P.L. Reis; M.T. Veríssimo; Flora Correia; Maria D Almeida;
PUBLICAÇÃO: 2012
INDEXADO EM: Handle
18038
TÍTULO: Cerebral Palsy EEG signals Classification: Facial Expressions and Thoughts for Driving an Intelligent Wheelchair
AUTORES: Brigida Monica Faria ; Luis Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2012, FONTE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PÁGINAS: 33-40
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
18039
TÍTULO: Certifying execution time
AUTORES: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLICAÇÃO: 2012, FONTE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS, PÁGINAS: 108-125
INDEXADO EM: Scopus DBLP CrossRef: 1
18040
TÍTULO: CHAIR: automatic image registration based on correlation and Hough transform  Full Text
AUTORES: Goncalves, H ; Goncalves, JA ; Corte Real, L ; Teodoro, AC ;
PUBLICAÇÃO: 2012, FONTE: INTERNATIONAL JOURNAL OF REMOTE SENSING, VOLUME: 33, NÚMERO: 24, PÁGINAS: 7936-7968
INDEXADO EM: Scopus WOS CrossRef: 24

Results per Page: 20.
Página 902 de 1250. Total de resultados: 24999.