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: 24959
1716 Team MembersFilters -> Year: 2026
21461
TITLE: Calculating invariants as coreflexive bisimulations
AUTHORS: Barbosa, LS ; Oliveira, JN ; Silva, A ;
PUBLISHED: 2008, SOURCE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140, PAGES: 83-+
AUTHORS: Barbosa, LS ; Oliveira, JN ; Silva, A ;
PUBLISHED: 2008, SOURCE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140, PAGES: 83-+
21462
TITLE: Calibration Agent for Ecological Simulations: A Metaheuristic Approach
AUTHORS: Pedro Valente; António Pereira; Luis P Reis ;
PUBLISHED: 2008
AUTHORS: Pedro Valente; António Pereira; Luis P Reis ;
PUBLISHED: 2008
INDEXED IN:
Handle
Handle21463
TITLE: Case studies using fuzzy equivalent annual worth analysis
AUTHORS: Matos, M ; Dimitrovski, A;
PUBLISHED: 2008, SOURCE: Studies in Fuzziness and Soft Computing, VOLUME: 233, PAGES: 83-95
AUTHORS: Matos, M ; Dimitrovski, A;
PUBLISHED: 2008, SOURCE: Studies in Fuzziness and Soft Computing, VOLUME: 233, PAGES: 83-95
21464
TITLE: Certificateless signcryption
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2008, SOURCE: AsiaCCS, PAGES: 369-372
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2008, SOURCE: AsiaCCS, PAGES: 369-372
21465
TITLE: Changing seasonality in North Atlantic coastal sea level from the analysis of long tide gauge records Full Text
AUTHORS: Barbosa, SM ; Silva, ME ; Fernandes, MJ ;
PUBLISHED: 2008, SOURCE: TELLUS SERIES A-DYNAMIC METEOROLOGY AND OCEANOGRAPHY, VOLUME: 60, ISSUE: 1, PAGES: 165-177
AUTHORS: Barbosa, SM ; Silva, ME ; Fernandes, MJ ;
PUBLISHED: 2008, SOURCE: TELLUS SERIES A-DYNAMIC METEOROLOGY AND OCEANOGRAPHY, VOLUME: 60, ISSUE: 1, PAGES: 165-177
21466
TITLE: Characterization of B2C e-commerce solutions
AUTHORS: Ana Rodrigues; Marlene Pinto; Ramiro Goncalves ; Joao Varajao ;
PUBLISHED: 2008, SOURCE: 3rd Iberian Conference on Information Systems and Technologies in ACTAS DE LA III CONFERENCIA IBERICA DE SISTEMAS Y TECNOLOGIAS DE LA INFORMACION, VOL 1, PAGES: 399-410
AUTHORS: Ana Rodrigues; Marlene Pinto; Ramiro Goncalves ; Joao Varajao ;
PUBLISHED: 2008, SOURCE: 3rd Iberian Conference on Information Systems and Technologies in ACTAS DE LA III CONFERENCIA IBERICA DE SISTEMAS Y TECNOLOGIAS DE LA INFORMACION, VOL 1, PAGES: 399-410
INDEXED IN:
WOS
21467
TITLE: Characterization of response of a dual resonance of an arc-induced long-period grating to various physical parameters
AUTHORS: Caldas, P; Rego, G ; Santos, JL ; Ivanov, OV; Caldas, P; Rego, G; Caldas, P ; Santos, JL;
PUBLISHED: 2008, SOURCE: 2008 IEEE Sensors, SENSORS 2008 in Proceedings of IEEE Sensors, PAGES: 329-332
AUTHORS: Caldas, P; Rego, G ; Santos, JL ; Ivanov, OV; Caldas, P; Rego, G; Caldas, P ; Santos, JL;
PUBLISHED: 2008, SOURCE: 2008 IEEE Sensors, SENSORS 2008 in Proceedings of IEEE Sensors, PAGES: 329-332
21468
TITLE: Characterization of the loss allocation techniques for radial systems with distributed generation Full Text
AUTHORS: Carpaneto, E; Chicco, G; Sumaili Akilimali, J ;
PUBLISHED: 2008, SOURCE: Electric Power Systems Research, VOLUME: 78, ISSUE: 8, PAGES: 1396-1406
AUTHORS: Carpaneto, E; Chicco, G; Sumaili Akilimali, J ;
PUBLISHED: 2008, SOURCE: Electric Power Systems Research, VOLUME: 78, ISSUE: 8, PAGES: 1396-1406
21469
TITLE: Children as active partners: strategies for collaboration in spatial tasks through Virtual Worlds
AUTHORS: Santos, F; Fonseca, B ; Morgado, L ; Martins, P ;
PUBLISHED: 2008, SOURCE: 6th International Conference on Creating, Connecting and Collaborating Through Computing in C(5) 2008: SIXTH INTERNATIONAL CONFERENCE ON CREATING, CONNECTING AND COLLABORATING THROUGH COMPUTING, PROCEEDINGS, PAGES: 73-76
AUTHORS: Santos, F; Fonseca, B ; Morgado, L ; Martins, P ;
PUBLISHED: 2008, SOURCE: 6th International Conference on Creating, Connecting and Collaborating Through Computing in C(5) 2008: SIXTH INTERNATIONAL CONFERENCE ON CREATING, CONNECTING AND COLLABORATING THROUGH COMPUTING, PROCEEDINGS, PAGES: 73-76
21470
TITLE: Chromatographic pattern classification
AUTHORS: Sousa, AV ; Mendonça, AM ; Campilho, A ;
PUBLISHED: 2008, SOURCE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 55, ISSUE: 6, PAGES: 1687-1696
AUTHORS: Sousa, AV ; Mendonça, AM ; Campilho, A ;
PUBLISHED: 2008, SOURCE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 55, ISSUE: 6, PAGES: 1687-1696
21471
TITLE: Chronos - Sistema Reconfigurável de Monitorização para Aplicações Ultra-Low Power
AUTHORS: João Barata; Ricardo Martins; Rogério P Dionísio ;
PUBLISHED: 2008, SOURCE: 3º Workshop de Investigação e Desenvolvimento em Engenharia Eletrotécnica e das Telecomunicações (WIDEET'08)
AUTHORS: João Barata; Ricardo Martins; Rogério P Dionísio ;
PUBLISHED: 2008, SOURCE: 3º Workshop de Investigação e Desenvolvimento em Engenharia Eletrotécnica e das Telecomunicações (WIDEET'08)
INDEXED IN:
Handle
Handle21472
TITLE: Climbing robots: A survey of technologies and applications
AUTHORS: Silva, MF ; Machado, JAT ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2008 in Advances in Mobile Robotics - Proceedings of the 11th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2008, PAGES: 1133-1140
AUTHORS: Silva, MF ; Machado, JAT ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2008 in Advances in Mobile Robotics - Proceedings of the 11th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2008, PAGES: 1133-1140
21473
TITLE: CLP(BN): Constraint logic programming for probabilistic knowledge
AUTHORS: Santos Costa, V ; Page, D; Cussens, J;
PUBLISHED: 2008, SOURCE: Probabilistic Inductive Logic Programming in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4911 LNAI, PAGES: 156-188
AUTHORS: Santos Costa, V ; Page, D; Cussens, J;
PUBLISHED: 2008, SOURCE: Probabilistic Inductive Logic Programming in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4911 LNAI, PAGES: 156-188
21474
TITLE: Cluster-based novel concept detection in data streams applied to intrusion detection in computer networks
AUTHORS: Spinosa, EJ; de Carvalho, APDF; Gama, J ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 976-980
AUTHORS: Spinosa, EJ; de Carvalho, APDF; Gama, J ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 976-980
21475
TITLE: Clustering analysis on questionnaire data for program accreditation
AUTHORS: Papadourakis, G; Barbosa, FM ; Burkley, C; Hoffmann, M; Pasquet, D; Tsiriotis, G; Kiriakides, I;
PUBLISHED: 2008, SOURCE: 19th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference in 19th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference - Formal Proceedings, PAGES: 76-81
AUTHORS: Papadourakis, G; Barbosa, FM ; Burkley, C; Hoffmann, M; Pasquet, D; Tsiriotis, G; Kiriakides, I;
PUBLISHED: 2008, SOURCE: 19th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference in 19th EAEEIE (European Association for Education in Electrical and Information Engineering) Annual Conference - Formal Proceedings, PAGES: 76-81
INDEXED IN:
Scopus
CrossRef
CrossRef21476
TITLE: Clustering Distributed Sensor Data Streams
AUTHORS: Rodrigues, PP ; Gama, J ; Lopes, L ;
PUBLISHED: 2008, SOURCE: European Conference on Principles of Data Mining and Knowledge Discovery in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, PART II, PROCEEDINGS, VOLUME: 5212, ISSUE: PART 2, PAGES: 282-+
AUTHORS: Rodrigues, PP ; Gama, J ; Lopes, L ;
PUBLISHED: 2008, SOURCE: European Conference on Principles of Data Mining and Knowledge Discovery in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, PART II, PROCEEDINGS, VOLUME: 5212, ISSUE: PART 2, PAGES: 282-+
21477
TITLE: Code Transformations Full Text
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 67-107
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 67-107
INDEXED IN:
CrossRef
CrossRef21478
TITLE: Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures
AUTHORS: Morra, C; Bispo, J ; Cardoso, JMP ; Becker, J;
PUBLISHED: 2008, SOURCE: 16th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PAGES: 320-+
AUTHORS: Morra, C; Bispo, J ; Cardoso, JMP ; Becker, J;
PUBLISHED: 2008, SOURCE: 16th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PAGES: 320-+
21479
TITLE: CommGate: a communal residential gateway
AUTHORS: Moreira, R ; Mamede, J; Oliveira, B ; Silva, V ; Silva, L; Ruela, J ;
PUBLISHED: 2008, SOURCE: 5th IEEE Consumer Communications and Networking Conference in 2008 5TH IEEE CONSUMER COMMUNICATIONS AND NETWORKING CONFERENCE, VOLS 1-3, PAGES: 207-+
AUTHORS: Moreira, R ; Mamede, J; Oliveira, B ; Silva, V ; Silva, L; Ruela, J ;
PUBLISHED: 2008, SOURCE: 5th IEEE Consumer Communications and Networking Conference in 2008 5TH IEEE CONSUMER COMMUNICATIONS AND NETWORKING CONFERENCE, VOLS 1-3, PAGES: 207-+
21480
TITLE: Communal network architecture for sharing high bandwidth services
AUTHORS: Mamede, J; Moreira, R ; Oliveira, B; Brandao, V;
PUBLISHED: 2008, SOURCE: 6th Annual Conference on Communication Networks and Services Research in CNSR 2008: PROCEEDINGS OF THE 6TH ANNUAL COMMUNICATION NETWORKS AND SERVICES RESEARCH CONFERENCE, PAGES: 300-+
AUTHORS: Mamede, J; Moreira, R ; Oliveira, B; Brandao, V;
PUBLISHED: 2008, SOURCE: 6th Annual Conference on Communication Networks and Services Research in CNSR 2008: PROCEEDINGS OF THE 6TH ANNUAL COMMUNICATION NETWORKS AND SERVICES RESEARCH CONFERENCE, PAGES: 300-+