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

1699 Team Members
Filters -> Year: 2024
12941
TÍTULO: Type checking cryptography implementations
AUTORES: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 316-334
INDEXADO EM: Scopus DBLP CrossRef: 3
12942
TÍTULO: Typed linear algebra for weigthed (probabilistic) automata
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 52-65
INDEXADO EM: Scopus CrossRef: 1
12943
TÍTULO: Ultrahigh-sensitivity temperature fiber sensor based on multimode interference
AUTORES: Susana Silva ; Edwin G P Pachon; Marcos A R Franco; Juliano G Hayashi; Xavier Malcata, FX ; Orlando Frazao ; Pedro Jorge ; Cristiano M B Cordeiro;
PUBLICAÇÃO: 2012, FONTE: APPLIED OPTICS, VOLUME: 51, NÚMERO: 16, PÁGINAS: 3236-3242
INDEXADO EM: Scopus WOS CrossRef: 109
12945
TÍTULO: Unachievable region in precision-recall space and its effect on empirical evaluation
AUTORES: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLICAÇÃO: 2012, FONTE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PÁGINAS: 639-646
INDEXADO EM: Scopus DBLP
12946
TÍTULO: Underdamped second-order systems overshoot control
AUTORES: Moura Oliveira, PB ; Vrancic, D;
PUBLICAÇÃO: 2012, FONTE: 2nd IFAC Conference on Advances in PID Control, PID 2012 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 2, NÚMERO: PART 1, PÁGINAS: 518-523
INDEXADO EM: Scopus
12947
TÍTULO: Usability test of 3Dconnexion 3D mice versus keyboard plus mouse in Second Life undertaken by people with motor disabilities due to medullary lesions
AUTORES: Marcio Martins ; Antonio Cunha ; Leonel Morgado ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 119-127
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
12948
TÍTULO: Using Agile Practice for Student Software Projects  Full Text
AUTORES: Fernando Almeida ;
PUBLICAÇÃO: 2012, FONTE: Journal of Education and Vocational Research, VOLUME: 3, NÚMERO: 9, PÁGINAS: 280-290
INDEXADO EM: CrossRef
12949
TÍTULO: Using data mining to study the impact of topology characteristics on the performance of wireless mesh networks
AUTORES: Tania Calcada; Paulo Cortez ; Manuel Ricardo ;
PUBLICAÇÃO: 2012, FONTE: IEEE Wireless Communications and Networking Conference (WCNC) in 2012 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), PÁGINAS: 1725-1730
INDEXADO EM: Scopus WOS DBLP CrossRef
12950
TÍTULO: USING MOBILE DEVICES FOR TOPOLOGICAL INFERENCE OF INDOOR ENVIRONMENTS
AUTORES: Marco Paiva; Marcelo Petry ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 427-432
INDEXADO EM: Scopus WOS DBLP CrossRef
12951
TÍTULO: Using Peano-Hilbert space filling curves for fast bidimensional ensemble EMD realization  Full Text
AUTORES: Paulo Costa; Joao Barroso ; Hugo Fernandes ; Leontios J Hadjileontiadis;
PUBLICAÇÃO: 2012, FONTE: EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, VOLUME: 2012, NÚMERO: 1, PÁGINAS: 181
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
12952
TÍTULO: Using Permutation Tests to Study How the Dimensionality, the Number of Classes, and the Number of Samples Affect Classification Analysis
AUTORES: Mohammed Sadeq Al Rawi; Joao Paulo Silva Cunha ;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT I, VOLUME: 7324, NÚMERO: PART 1, PÁGINAS: 34-42
INDEXADO EM: Scopus WOS CrossRef
12953
TÍTULO: Using Photovoltaic Systems to Improve Voltage Control in Low Voltage Networks
AUTORES: Rodrigues, JM ; Resende, FO ;
PUBLICAÇÃO: 2012, FONTE: 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)
INDEXADO EM: Scopus WOS CrossRef: 7
12954
TÍTULO: Using Serious Games to Train Evacuation Behaviour PDF
AUTORES: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, VOLUME: abs/1303.3828, PÁGINAS: 771-776
INDEXADO EM: Scopus WOS DBLP arXiv
12955
TÍTULO: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTORES: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 493-495
INDEXADO EM: Scopus DBLP CrossRef
12956
TÍTULO: Using the overlapping community structure of a network of tags to improve text clustering
AUTORES: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 239-244
INDEXADO EM: Scopus DBLP CrossRef: 4
12957
TÍTULO: USING UWB FOR HUMAN TRAJECTORY EXTRACTION PDF
AUTORES: Goncalo Vasconcelos; Marcelo Petry ; Joao Emilio Almeida; Rosaldo J F Rossetti ; Antonio Leca Coelho;
PUBLICAÇÃO: 2012, FONTE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), VOLUME: abs/1303.4696, PÁGINAS: 428-433
INDEXADO EM: Scopus WOS DBLP arXiv
12958
TÍTULO: Validation of a waveform delineator device for cardiac studies: repeatability and data mining analysis
AUTORES: Almeida, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, JMR ; Correia, C ;
PUBLICAÇÃO: 2012, FONTE: 2nd IEEE Portuguese Meeting in Bioengineering (ENBENG) in 2012 IEEE 2ND PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
INDEXADO EM: Scopus WOS CrossRef
12959
TÍTULO: Vehicular sensing: Emergence of a massive urban scanner
AUTORES: Ferreira, M ; Fernandes, R; Conceicao, H ; Gomes, P; D'Orey, PM ; Moreira Matias, L ; Gama, J ; Lima, F; Damas, L ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 1-14
INDEXADO EM: Scopus DBLP CrossRef: 5
12960
TÍTULO: Verification conditions for single-assignment programs  Full Text
AUTORES: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1264-1270
INDEXADO EM: Scopus DBLP CrossRef: 1

Results per Page: 20.
Página 648 de 906. Total de resultados: 18102.