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: 18004

1699 Team Members
Filters -> Year: 2024
12761
TITLE: Software components as invariant-typed arrows
AUTHORS: Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS, PAGES: 1-5
INDEXED IN: Scopus DBLP CrossRef
12762
TITLE: Solving conjectured multi-leader-follower equilibriums for electricity markets with quadratic optimization problems
AUTHORS: Fco A Campos; Villar, J ; Diaz, C; Contreras, A;
PUBLISHED: 2012, SOURCE: 9th International Conference on the European Energy Market, EEM 12 in 9th International Conference on the European Energy Market, EEM 12
INDEXED IN: Scopus CrossRef: 1
12763
TITLE: Spatial and commercial evolution of aviation networks: a case study in mainland Portugal  Full Text
AUTHORS: Edgar Jimenez ; Joao Claro ; Jorge Pinho de Sousa ;
PUBLISHED: 2012, SOURCE: JOURNAL OF TRANSPORT GEOGRAPHY, VOLUME: 24, PAGES: 383-395
INDEXED IN: Scopus WOS CrossRef: 12
12764
TITLE: Spatial optical filter sensor based on hollow-core silica tube
AUTHORS: Marta S Ferreira ; Kay Schuster; Jens Kobelke; Jose L Santos ; Orlando Frazao ;
PUBLISHED: 2012, SOURCE: OPTICS LETTERS, VOLUME: 37, ISSUE: 5, PAGES: 890-892
INDEXED IN: Scopus WOS CrossRef: 10
12765
TITLE: Spatial patterns of linear and nonparametric long-term trends in Baltic sea-level variability  Full Text
AUTHORS: Donner, RV; Ehrcke, R; Barbosa, SM ; Wagner, J; Donges, JF; Kurths, J;
PUBLISHED: 2012, SOURCE: NONLINEAR PROCESSES IN GEOPHYSICS, VOLUME: 19, ISSUE: 1, PAGES: 95-111
INDEXED IN: Scopus WOS CrossRef: 37
12766
TITLE: Spatio-temporal prediction of atmospheric benzene (Part I)
AUTHORS: Fontes, T ; Barros, N ;
PUBLISHED: 2012, SOURCE: ENVIRONMENTAL MONITORING AND ASSESSMENT, VOLUME: 184, ISSUE: 2, PAGES: 893-902
INDEXED IN: Scopus WOS CrossRef Handle
12767
TITLE: Speaker identification using phonetic segmentation and normalized relative delays of source harmonics
AUTHORS: Mendes, D; Ferreira, A ;
PUBLISHED: 2012, SOURCE: 46th International Conference of the Audio Engineering Society, AES 2012 in Proceedings of the AES International Conference, PAGES: 215-222
INDEXED IN: Scopus
12768
TITLE: Specification-driven unit test generation for java generic classes
AUTHORS: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS, PAGES: 296-311
INDEXED IN: Scopus DBLP CrossRef: 4
12769
TITLE: Specifying Compiler Strategies for FPGA-based Systems
AUTHORS: Joao M P Cardoso ; Joao Teixeira; Jose C Alves ; Ricardo Nobre ; Pedro C Diniz ; Jose G F Coutinho; Wayne Luk;
PUBLISHED: 2012, SOURCE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PAGES: 192-199
INDEXED IN: Scopus WOS DBLP CrossRef: 10
12770
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PAGES: 312-326
INDEXED IN: Scopus DBLP CrossRef: 7
12771
TITLE: Spectra: Robust Estimation of Distribution Functions in Networks
AUTHORS: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2012, SOURCE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PAGES: 96-103
INDEXED IN: Scopus DBLP CrossRef: 4
12772
TITLE: SPIN-UP - Creating an Entrepreneurship Coaching and Training Program for University Spin-Offs
AUTHORS: Manuel Oliveira ; Joao Ferreira ; Alexandra Xavier ; Jose de Sousa; Goncalo Meireles; Milton Sousa; Dariusz Tzmrielak; Sanna Tomperi; Pekka Salmi; Marko Torkkeli; Arthur Tolsma; Qing Ye; Marina van Geenhuizen;
PUBLISHED: 2012, SOURCE: 7th European Conference on Innovation and Entrepreneurship (ECIE) in PROCEEDINGS OF THE 7TH EUROPEAN CONFERENCE ON INNOVATION AND ENTREPRENEURSHIP, VOLS 1 AND 2, PAGES: 530-538
INDEXED IN: WOS
12773
TITLE: Sports with values: Constructing a fairer society [Num desporto com valores: Construir uma sociedade mais justa]
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 2, PAGES: 1-7
INDEXED IN: Scopus
12774
TITLE: Sprite-based generation of side information for multi-view Distributed Video Coding  Full Text
AUTHORS: Lucian Ciobanu ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 60, ISSUE: 3, PAGES: 609-639
INDEXED IN: Scopus WOS CrossRef
12775
TITLE: State of the Art on Different Types of Electric Vehicles
AUTHORS: Soares, FJ ; Rocha M R Almeida; João Peças P Lopes; Rodrigo Garcia-Valle; Francesco Marra;
PUBLISHED: 2012, SOURCE: Electric Vehicle Integration into Modern Power Networks, PAGES: 1-13
INDEXED IN: CrossRef: 1
12776
TITLE: State of the Art on Methodologies for the Development of a Metadata Application Profile
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PAGES: 61-73
INDEXED IN: WOS
12777
TITLE: Stationarity in moment closure and quasi-stationarity of the SIS model  Full Text
AUTHORS: Jose Martins ; Alberto Pinto ; Nico Stollenwerk ;
PUBLISHED: 2012, SOURCE: MATHEMATICAL BIOSCIENCES, VOLUME: 236, ISSUE: 2, PAGES: 126-131
INDEXED IN: Scopus WOS CrossRef: 2
12778
TITLE: Stopping ongoing broadcasts in large MANETs
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2012, SOURCE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PAGES: 4:1-4:5
INDEXED IN: Scopus DBLP CrossRef: 1 Handle
12779
TITLE: Strain Characterization of Suspended-Core Fiber Tapers
AUTHORS: Ricardo M Andre ; Susana O Silva ; Martin Becker; Kay Schuster; Rothardt, M; Bartelt, H; Manuel B Marques ; Orlando Frazao ;
PUBLISHED: 2012, SOURCE: Conference on Microstructured and Specialty Optical Fibres in MICRO-STRUCTURED AND SPECIALTY OPTICAL FIBRES, VOLUME: 8426
INDEXED IN: Scopus WOS CrossRef
12780
TITLE: Strategic optimization in R&D investment  Full Text
AUTHORS: Ferreira, M; Figueiredo, IP ; Oliveira, BMPM ; Pinto, AA ;
PUBLISHED: 2012, SOURCE: OPTIMIZATION, VOLUME: 61, ISSUE: 8, PAGES: 1013-1023
INDEXED IN: Scopus WOS CrossRef: 6

Results per Page: 20.
Página 639 de 901. Total de resultados: 18004.