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: 18407
1699 Team MembersFilters -> Year: 2024
12361
TITLE: The viStaMPS tool for visualization and manipulation of time series interferometric results
AUTHORS: Joaquim João Sousa; Luís G Magalhães; Antonio M Ruiz; António M R Sousa ; Gil Cardoso;
PUBLISHED: 2013, SOURCE: Comput. Geosci., VOLUME: 52, PAGES: 409-421
AUTHORS: Joaquim João Sousa; Luís G Magalhães; Antonio M Ruiz; António M R Sousa ; Gil Cardoso;
PUBLISHED: 2013, SOURCE: Comput. Geosci., VOLUME: 52, PAGES: 409-421
INDEXED IN: 
DBLP
DBLP12362
TITLE: The viStaMPS tool for visualization and manipulation of time series interferometric results Full Text
AUTHORS: Joaquim J Sousa ; Luis G Magalhaes ; Antonio M Ruiz; Antonio M R Sousa ; Gil Cardoso;
PUBLISHED: 2013, SOURCE: COMPUTERS & GEOSCIENCES, VOLUME: 52, PAGES: 409-421
AUTHORS: Joaquim J Sousa ; Luis G Magalhaes ; Antonio M Ruiz; Antonio M R Sousa ; Gil Cardoso;
PUBLISHED: 2013, SOURCE: COMPUTERS & GEOSCIENCES, VOLUME: 52, PAGES: 409-421
12363
TITLE: Theory of Constraints in the Service Sector: Characterization for Banking and Analysis of the Factors Involved in Its Adoption
AUTHORS: Julian D M Castano; Maria R A Moreira ; Paulo S A Sousa ; Raquel Ch. C Meneses ;
PUBLISHED: 2013, SOURCE: 4th International Conferences on Exploring Service Science in EXPLORING SERVICES SCIENCE, IESS 2013, VOLUME: 143, PAGES: 58-72
AUTHORS: Julian D M Castano; Maria R A Moreira ; Paulo S A Sousa ; Raquel Ch. C Meneses ;
PUBLISHED: 2013, SOURCE: 4th International Conferences on Exploring Service Science in EXPLORING SERVICES SCIENCE, IESS 2013, VOLUME: 143, PAGES: 58-72
12364
TITLE: Thermo-Optic Variable Attenuator/Waveplate Based on Waveguides Patterned on Organic-Inorganic Hybrids
AUTHORS: Vicente, CMS ; Freitas, C; Marques, PV ; Correia, SFH; Lima, PP ; Carlos, LD ; Andre, PS; Ferreira, RAS ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Transparent Optical Networks (ICTON) in 2013 15TH INTERNATIONAL CONFERENCE ON TRANSPARENT OPTICAL NETWORKS (ICTON 2013)
AUTHORS: Vicente, CMS ; Freitas, C; Marques, PV ; Correia, SFH; Lima, PP ; Carlos, LD ; Andre, PS; Ferreira, RAS ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Transparent Optical Networks (ICTON) in 2013 15TH INTERNATIONAL CONFERENCE ON TRANSPARENT OPTICAL NETWORKS (ICTON 2013)
12365
TITLE: Thermographic and Visible Spectrum Camera Calibration for Marine Robotic Target Detection
AUTHORS: Andre Dias ; Carlos Bras; Alfredo Martins ; Jose Almeida ; Eduardo Silva ;
PUBLISHED: 2013, SOURCE: MTS/IEEE Oceans Conference in 2013 OCEANS - SAN DIEGO
AUTHORS: Andre Dias ; Carlos Bras; Alfredo Martins ; Jose Almeida ; Eduardo Silva ;
PUBLISHED: 2013, SOURCE: MTS/IEEE Oceans Conference in 2013 OCEANS - SAN DIEGO
INDEXED IN: 
Scopus 
WOS
Scopus WOS12366
TITLE: TIGRE - An autonomous ground robot for outdoor exploration
AUTHORS: Alfredo Martins ; Guilherme Amaral; Andre Dias ; Carlos Almeida ; Jose Almeida ; Eduardo Silva ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Autonomous Robot Systems in PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS (ROBOTICA)
AUTHORS: Alfredo Martins ; Guilherme Amaral; Andre Dias ; Carlos Almeida ; Jose Almeida ; Eduardo Silva ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Autonomous Robot Systems in PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS (ROBOTICA)
12367
TITLE: Time Automaton: A visual mechanism for temporal querying Full Text
AUTHORS: Luis Certo; Teresa Galvao ; Jose Borges ;
PUBLISHED: 2013, SOURCE: JOURNAL OF VISUAL LANGUAGES AND COMPUTING, VOLUME: 24, ISSUE: 1, PAGES: 24-36
AUTHORS: Luis Certo; Teresa Galvao ; Jose Borges ;
PUBLISHED: 2013, SOURCE: JOURNAL OF VISUAL LANGUAGES AND COMPUTING, VOLUME: 24, ISSUE: 1, PAGES: 24-36
12368
TITLE: TimeMesh - A Serious Game for European Citizenship
AUTHORS: Ricardo Baptista ; Carlos Vaz de Carvalho;
PUBLISHED: 2013, SOURCE: EAI Endorsed Trans. Serious Games, VOLUME: 1, ISSUE: 1
AUTHORS: Ricardo Baptista ; Carlos Vaz de Carvalho;
PUBLISHED: 2013, SOURCE: EAI Endorsed Trans. Serious Games, VOLUME: 1, ISSUE: 1
12369
TITLE: Tool to Support Computer Architecture Teaching and Learning
AUTHORS: Bruno Nova; Joao C Ferreira ; Antonio Araujo ;
PUBLISHED: 2013, SOURCE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
AUTHORS: Bruno Nova; Joao C Ferreira ; Antonio Araujo ;
PUBLISHED: 2013, SOURCE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
12370
TITLE: Topic 8: Distributed Systems and Algorithms - (Introduction)
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PAGES: 367-368
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PAGES: 367-368
12371
TITLE: Torque allocation in electric vehicles with in-wheel motors: a performance-oriented approach
AUTHORS: de Castro, R; Tanelli, M; Araujo, RE ; Savaresi, SM;
PUBLISHED: 2013, SOURCE: 52nd IEEE Annual Conference on Decision and Control (CDC) in 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PAGES: 1538-1543
AUTHORS: de Castro, R; Tanelli, M; Araujo, RE ; Savaresi, SM;
PUBLISHED: 2013, SOURCE: 52nd IEEE Annual Conference on Decision and Control (CDC) in 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PAGES: 1538-1543
12372
TITLE: Torsion sensor based on a figure-of-eight cavity fibre laser Full Text
AUTHORS: Ferreira, MS ; Santos, JL ; Mergo, P; Frazao, O ;
PUBLISHED: 2013, SOURCE: LASER PHYSICS LETTERS, VOLUME: 10, ISSUE: 4, PAGES: 045105
AUTHORS: Ferreira, MS ; Santos, JL ; Mergo, P; Frazao, O ;
PUBLISHED: 2013, SOURCE: LASER PHYSICS LETTERS, VOLUME: 10, ISSUE: 4, PAGES: 045105
12373
TITLE: Towards a Faster Network-Centric Subgraph Census
AUTHORS: Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2013, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PAGES: 270-277
AUTHORS: Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2013, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PAGES: 270-277
12374
TITLE: Towards a holistic approach to the travel experience: A qualitative study of bus transportation Full Text
AUTHORS: Rui Carreira ; Lia Patricio ; Renato Natal Jorge ; Chris Magee; Qi Van Eikema Hommes;
PUBLISHED: 2013, SOURCE: TRANSPORT POLICY, VOLUME: 25, PAGES: 233-243
AUTHORS: Rui Carreira ; Lia Patricio ; Renato Natal Jorge ; Chris Magee; Qi Van Eikema Hommes;
PUBLISHED: 2013, SOURCE: TRANSPORT POLICY, VOLUME: 25, PAGES: 233-243
12375
TITLE: Towards a mostly-automated prover for bit-vector arithmetic
AUTHORS: Abal, I; Pinto, JS ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PAGES: 132-133
AUTHORS: Abal, I; Pinto, JS ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PAGES: 132-133
12376
TITLE: Towards a serious games evacuation simulator PDF
AUTHORS: João Ribeiro; João Emílio Almeida; Rosaldo J F Rossetti ; António Coelho ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.3827
AUTHORS: João Ribeiro; João Emílio Almeida; Rosaldo J F Rossetti ; António Coelho ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.3827
INDEXED IN: DBLP 
arXiv
DBLP arXiv12377
TITLE: Towards a Time-Feature Independent Phonocardiogram Segmentation
AUTHORS: Joao P Ramos; Paulo Carvalho ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 35th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2013 35TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 2116-2119
AUTHORS: Joao P Ramos; Paulo Carvalho ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 35th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2013 35TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 2116-2119
12378
TITLE: Towards an accurate evaluation of deduplicated storage systems
AUTHORS: Joao Paulo ; Pedro Reis; Jose Pereira ; Antonio Sousa ;
PUBLISHED: 2013, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, ISSUE: 6, PAGES: 427-437
AUTHORS: Joao Paulo ; Pedro Reis; Jose Pereira ; Antonio Sousa ;
PUBLISHED: 2013, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, ISSUE: 6, PAGES: 427-437
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP12379
TITLE: Towards an Auto-Associative Topology State Estimator
AUTHORS: Jakov Krstulovic; Vladimiro Miranda ; Antonio J A S Simoes Costa; Jorge Pereira ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 28, ISSUE: 3, PAGES: 3311-3318
AUTHORS: Jakov Krstulovic; Vladimiro Miranda ; Antonio J A S Simoes Costa; Jorge Pereira ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 28, ISSUE: 3, PAGES: 3311-3318
12380
TITLE: Towards deductive verification of MPI programs against session types
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137, PAGES: 103-113
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137, PAGES: 103-113
