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: 18102
1699 Team MembersFilters -> Year: 2024
12941
TITLE: Type checking cryptography implementations
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PAGES: 316-334
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PAGES: 316-334
12942
TITLE: Typed linear algebra for weigthed (probabilistic) automata
AUTHORS: Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PAGES: 52-65
AUTHORS: Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PAGES: 52-65
12943
TITLE: Ultrahigh-sensitivity temperature fiber sensor based on multimode interference
AUTHORS: Susana Silva ; Edwin G P Pachon; Marcos A R Franco; Juliano G Hayashi; Xavier Malcata, FX ; Orlando Frazao ; Pedro Jorge ; Cristiano M B Cordeiro;
PUBLISHED: 2012, SOURCE: APPLIED OPTICS, VOLUME: 51, ISSUE: 16, PAGES: 3236-3242
AUTHORS: Susana Silva ; Edwin G P Pachon; Marcos A R Franco; Juliano G Hayashi; Xavier Malcata, FX ; Orlando Frazao ; Pedro Jorge ; Cristiano M B Cordeiro;
PUBLISHED: 2012, SOURCE: APPLIED OPTICS, VOLUME: 51, ISSUE: 16, PAGES: 3236-3242
12944
TITLE: Uma reflexão crítica sobre a prática científica e o seu contributo para a qualidade de vida da sociedade Full Text
AUTHORS: José Vasconcelos-Raposo ; Carla Maria Teixeira; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 1
AUTHORS: José Vasconcelos-Raposo ; Carla Maria Teixeira; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 1
INDEXED IN: 
CrossRef
CrossRef12945
TITLE: Unachievable region in precision-recall space and its effect on empirical evaluation
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP12946
TITLE: Underdamped second-order systems overshoot control
AUTHORS: Moura Oliveira, PB ; Vrancic, D;
PUBLISHED: 2012, SOURCE: 2nd IFAC Conference on Advances in PID Control, PID 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 2, ISSUE: PART 1, PAGES: 518-523
AUTHORS: Moura Oliveira, PB ; Vrancic, D;
PUBLISHED: 2012, SOURCE: 2nd IFAC Conference on Advances in PID Control, PID 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 2, ISSUE: PART 1, PAGES: 518-523
INDEXED IN: Scopus
Scopus12947
TITLE: Usability test of 3Dconnexion 3D mice versus keyboard plus mouse in Second Life undertaken by people with motor disabilities due to medullary lesions
AUTHORS: Marcio Martins ; Antonio Cunha ; Leonel Morgado ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 119-127
AUTHORS: Marcio Martins ; Antonio Cunha ; Leonel Morgado ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 119-127
12948
TITLE: Using Agile Practice for Student Software Projects Full Text
AUTHORS: Fernando Almeida ;
PUBLISHED: 2012, SOURCE: Journal of Education and Vocational Research, VOLUME: 3, ISSUE: 9, PAGES: 280-290
AUTHORS: Fernando Almeida ;
PUBLISHED: 2012, SOURCE: Journal of Education and Vocational Research, VOLUME: 3, ISSUE: 9, PAGES: 280-290
INDEXED IN: CrossRef
CrossRef12949
TITLE: Using data mining to study the impact of topology characteristics on the performance of wireless mesh networks
AUTHORS: Tania Calcada; Paulo Cortez ; Manuel Ricardo ;
PUBLISHED: 2012, SOURCE: IEEE Wireless Communications and Networking Conference (WCNC) in 2012 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), PAGES: 1725-1730
AUTHORS: Tania Calcada; Paulo Cortez ; Manuel Ricardo ;
PUBLISHED: 2012, SOURCE: IEEE Wireless Communications and Networking Conference (WCNC) in 2012 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), PAGES: 1725-1730
12950
TITLE: USING MOBILE DEVICES FOR TOPOLOGICAL INFERENCE OF INDOOR ENVIRONMENTS
AUTHORS: Marco Paiva; Marcelo Petry ; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Agents and Artificial Intelligence in ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, VOLUME: 1, PAGES: 427-432
AUTHORS: Marco Paiva; Marcelo Petry ; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Agents and Artificial Intelligence in ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, VOLUME: 1, PAGES: 427-432
12951
TITLE: Using Peano-Hilbert space filling curves for fast bidimensional ensemble EMD realization Full Text
AUTHORS: Paulo Costa; Joao Barroso ; Hugo Fernandes ; Leontios J Hadjileontiadis;
PUBLISHED: 2012, SOURCE: EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, VOLUME: 2012, ISSUE: 1, PAGES: 181
AUTHORS: Paulo Costa; Joao Barroso ; Hugo Fernandes ; Leontios J Hadjileontiadis;
PUBLISHED: 2012, SOURCE: EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, VOLUME: 2012, ISSUE: 1, PAGES: 181
12952
TITLE: Using Permutation Tests to Study How the Dimensionality, the Number of Classes, and the Number of Samples Affect Classification Analysis
AUTHORS: Mohammed Sadeq Al Rawi; Joao Paulo Silva Cunha ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT I, VOLUME: 7324, ISSUE: PART 1, PAGES: 34-42
AUTHORS: Mohammed Sadeq Al Rawi; Joao Paulo Silva Cunha ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT I, VOLUME: 7324, ISSUE: PART 1, PAGES: 34-42
12953
TITLE: Using Photovoltaic Systems to Improve Voltage Control in Low Voltage Networks
AUTHORS: Rodrigues, JM ; Resende, FO ;
PUBLISHED: 2012, SOURCE: 3rd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies Europe (ISGT Europe) in 2012 3RD IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT EUROPE)
AUTHORS: Rodrigues, JM ; Resende, FO ;
PUBLISHED: 2012, SOURCE: 3rd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies Europe (ISGT Europe) in 2012 3RD IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT EUROPE)
12954
TITLE: Using Serious Games to Train Evacuation Behaviour PDF
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, VOLUME: abs/1303.3828, PAGES: 771-776
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, VOLUME: abs/1303.3828, PAGES: 771-776
INDEXED IN: Scopus 
WOS DBLP 
arXiv
Scopus WOS DBLP arXiv12955
TITLE: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PAGES: 493-495
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PAGES: 493-495
12956
TITLE: Using the overlapping community structure of a network of tags to improve text clustering
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 239-244
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 239-244
12957
TITLE: USING UWB FOR HUMAN TRAJECTORY EXTRACTION PDF
AUTHORS: Goncalo Vasconcelos; Marcelo Petry ; Joao Emilio Almeida; Rosaldo J F Rossetti ; Antonio Leca Coelho;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), VOLUME: abs/1303.4696, PAGES: 428-433
AUTHORS: Goncalo Vasconcelos; Marcelo Petry ; Joao Emilio Almeida; Rosaldo J F Rossetti ; Antonio Leca Coelho;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), VOLUME: abs/1303.4696, PAGES: 428-433
INDEXED IN: Scopus WOS DBLP arXiv
Scopus WOS DBLP arXiv12958
TITLE: Validation of a waveform delineator device for cardiac studies: repeatability and data mining analysis
AUTHORS: Almeida, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, JMR ; Correia, C ;
PUBLISHED: 2012, SOURCE: 2nd IEEE Portuguese Meeting in Bioengineering (ENBENG) in 2012 IEEE 2ND PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
AUTHORS: Almeida, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, JMR ; Correia, C ;
PUBLISHED: 2012, SOURCE: 2nd IEEE Portuguese Meeting in Bioengineering (ENBENG) in 2012 IEEE 2ND PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
12959
TITLE: Vehicular sensing: Emergence of a massive urban scanner
AUTHORS: Ferreira, M ; Fernandes, R; Conceicao, H ; Gomes, P; D'Orey, PM ; Moreira Matias, L ; Gama, J ; Lima, F; Damas, L ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 1-14
AUTHORS: Ferreira, M ; Fernandes, R; Conceicao, H ; Gomes, P; D'Orey, PM ; Moreira Matias, L ; Gama, J ; Lima, F; Damas, L ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 1-14
12960
TITLE: Verification conditions for single-assignment programs Full Text
AUTHORS: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1264-1270
AUTHORS: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1264-1270
