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

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

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

1699 Team Members
Filters -> Year: 2024
13541
TITLE: Shacc: A functional prototyper for a component calculus
AUTHORS: Martins, A; Barbosa, LS ; Rodrigues, NF ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6859 LNCS, PAGES: 413-419
INDEXED IN: Scopus DBLP CrossRef: 1
13542
TITLE: Shop Floor Scheduling in a Mobile Robotic Environment  Full Text
AUTHORS: Andry Maykol Pinto ; Luis F Rocha ; Antonio Paulo Moreira ; Paulo G Costa ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 377-391
INDEXED IN: Scopus WOS DBLP CrossRef: 4
13543
TITLE: Short term constraints for a long term joint energy and reserve equilibrium
AUTHORS: Villar, J ; Campos, FA; Diaz, CA;
PUBLISHED: 2011, SOURCE: 2011 8th International Conference on the European Energy Market, EEM 11 in 2011 8th International Conference on the European Energy Market, EEM 11, PAGES: 81-86
INDEXED IN: Scopus CrossRef: 1
13544
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
INDEXED IN: Scopus DBLP CrossRef: 5
13545
TITLE: SIDE - System information to support teaching
AUTHORS: Luis Filipe Barbosa ; Paulo Alves; Joao Barroso ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 360-365
INDEXED IN: WOS
13546
TITLE: SIDE - Teaching support information system
AUTHORS: Barbosa, LF ; Alves, P; Barroso, J ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: Scopus
13547
TITLE: SidneyChart: a statechart GUI for SOA Orchestration in Autonomous Industrial Systems.
AUTHORS: Pedro Malaca; Germano Veiga ; Norberto Pires ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 238-243
INDEXED IN: Scopus WOS CrossRef: 1
13548
TITLE: Signal analysis in a new optical pulse waveform profiler for cardiovascular applications
AUTHORS: Pereira, T ; Oliveira, T; Cabeleira, M; Matos, P; Pereira, HC; Almeida, V ; Borges, E; Santos, H; Pereira, T; Cardoso, J ; Correia, C ;
PUBLISHED: 2011, SOURCE: IASTED International Conference on Signal and Image Processing and Applications, SIPA 2011 in Proceedings of the IASTED International Conference on Signal and Image Processing and Applications, SIPA 2011, PAGES: 19-25
INDEXED IN: Scopus CrossRef: 5
13549
TITLE: Signal Processing Techniques for Transmission Impairments Compensation in Optical Systems
AUTHORS: Oliveira, JMB ; Pessoa, LM ; Salgado, HM ; Darwazeh, I;
PUBLISHED: 2011, SOURCE: 12th International Conference on Transparent Optical Networks (ICTON) in 2010 12TH INTERNATIONAL CONFERENCE ON TRANSPARENT OPTICAL NETWORKS (ICTON)
INDEXED IN: Scopus WOS CrossRef
13550
TITLE: Simulating a Portuguese hospital master surgery schedule
AUTHORS: Almada Lobo, B ; Borges, J ; Brito, AC ; Morteo, A; Sperandio, F; Gomes, C;
PUBLISHED: 2011, SOURCE: 2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011 in 2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011
INDEXED IN: Scopus CrossRef
13551
TITLE: SIMULATION AS A DECISION SUPPORT TOOL IN MAINTENANCE FLOAT SYSTEMS
AUTHORS: Francisco Peito; Guilherme Pereira; Armando Leitao ; Luis Dias;
PUBLISHED: 2011, SOURCE: 17th European Concurrent Engineering Conference (ECEC 2011) / 7th Future Business Technology Conference (FUBUTEC 2011) in ECEC' 2011:17TH EUROPEAN CONCURRENT ENGINEERING CONFERENCE / 7TH FUTURE BUSINESS TECHNOLOGY CONFERENCE, PAGES: 68-74
INDEXED IN: Scopus WOS
13552
TITLE: SIMULATION AS A DECISION SUPPORT TOOL IN MAINTENANCE FLOAT SYSTEMS - SYSTEM AVAILABILITY VERSUS TOTAL MAINTENANCE COST
AUTHORS: Francisco Peito; Guilherme Pereira; Armando Leitao ; Luis Dias;
PUBLISHED: 2011, SOURCE: 10th International Conference on Modeling and Applied Simulation (MAS 2011) in 10TH INTERNATIONAL CONFERENCE ON MODELING AND APPLIED SIMULATION, MAS 2011, PAGES: 389-396
INDEXED IN: Scopus WOS
13553
TITLE: SIMULATION AS A DECISION SUPPORT TOOL IN MAINTENANCE FLOAT SYSTEMS - The Automatic Generation of Simulation Programs
AUTHORS: Francisco Peito; Guilherme Pereira; Armando Leitao ; Luis Dias;
PUBLISHED: 2011, SOURCE: 25th European Simulation and Modelling Conference (ESM 2011) in EUROPEAN SIMULATION AND MODELLING CONFERENCE 2011, PAGES: 53-+
INDEXED IN: Scopus WOS
13554
TITLE: Simultaneous measurement of curvature and strain using a suspended multicore fiber
AUTHORS: Silva, RM; Ferreira, MS ; Kobelke, J; Schuster, K; Frazao, O ;
PUBLISHED: 2011, SOURCE: OPTICS LETTERS, VOLUME: 36, ISSUE: 19, PAGES: 3939-3941
INDEXED IN: Scopus WOS CrossRef: 38
13555
TITLE: Simultaneous Measurement of Humidity and Temperature Based on an SiO2-Nanospheres Film Deposited on a Long-Period Grating In-Line With a Fiber Bragg Grating  Full Text
AUTHORS: Viegas, D ; Hernaez, M; Goicoechea, J; Santos, JL ; Araujo, FM; Arregui, F; Matias, IR;
PUBLISHED: 2011, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 11, ISSUE: 1, PAGES: 162-166
INDEXED IN: Scopus WOS CrossRef: 46
13556
TITLE: Simultaneous measurement of strain and temperature using fiber Bragg grating sensors embedded in hybrid composite laminates  Full Text
AUTHORS: Ferreira, MS ; Vieira, J ; Frias, C; Frazao, O ;
PUBLISHED: 2011, SOURCE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 22, ISSUE: 4, PAGES: 045206
INDEXED IN: Scopus WOS CrossRef: 15
13557
TITLE: Simultaneous measurement of strain and temperature using the FBG cladding modes based on a core misaligned splice
AUTHORS: Jesus, C ; Jorge, PAS ; Baptista, JM ; Frazao, O ;
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 CrossRef
13559
TITLE: Singing Voice Analysis Using Relative Harmonic Delays
AUTHORS: Ricardo Sousa ; Anibal Ferreira ;
PUBLISHED: 2011, SOURCE: 12th Annual Conference of the International-Speech-Communication-Association 2011 (INTERSPEECH 2011) in 12TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2011 (INTERSPEECH 2011), VOLS 1-5, PAGES: 2008-2011
INDEXED IN: Scopus WOS
13560
TITLE: Single and parallel machine capacitated lotsizing and scheduling: New iterative MIP-based neighborhood search heuristics  Full Text
AUTHORS: Ross J W James; Bernardo Almada Lobo ;
PUBLISHED: 2011, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 38, ISSUE: 12, PAGES: 1816-1825
INDEXED IN: Scopus WOS CrossRef: 58

Results per Page: 20.
Page 678 of 900. Total results: 18000.