Laboratório de Inteligência Artificial e Ciência de Computadores (LIACC)
Artificial Intelligence and Computer Science Laboratory

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

86 Team Members
Filters -> Year: 2026
2921
TÍTULO: Knowledge representation in soccer domain: An ontology development
AUTORES: Abreu, P ; Faria, M; Reis, LP ; Gargarnta, J;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies, CISTI 2010 in Proceedings of the 5th Iberian Conference on Information Systems and Technologies, CISTI 2010
INDEXADO EM: Scopus
2922
TÍTULO: Linear Recursion
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1001.3368
INDEXADO EM: DBLP
2923
TÍTULO: Linearity and iterator types for Gödel's System
AUTORES: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLICAÇÃO: 2010, FONTE: High. Order Symb. Comput., VOLUME: 23, NÚMERO: 1, PÁGINAS: 1-27
INDEXADO EM: Scopus DBLP CrossRef: 1
2924
TÍTULO: Machine Learning algorithms applied to the classification of robotic soccer formations and opponent teams
AUTORES: Faria, BM ; Reis, LP ; Lau, N ; Castillo, G;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE International Conference on Cybernetics and Intelligent Systems, CIS 2010 in 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010, PÁGINAS: 344-349
INDEXADO EM: Scopus CrossRef: 27
2925
TÍTULO: Making Electronic Contracting Operational and Trustworthy
AUTORES: Urbano, J ; Cardoso, HL ; Oliveira, E ;
PUBLICAÇÃO: 2010, FONTE: 12th Ibero-American Conference on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, VOLUME: 6433, PÁGINAS: 264-273
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
2926
TÍTULO: Metalearning
AUTORES: Pavel Brazdil ; Ricardo Vilalta; Christophe G Giraud Carrier; Carlos Soares ;
PUBLICAÇÃO: 2010, FONTE: Encyclopedia of Machine Learning, PÁGINAS: 662-666
INDEXADO EM: DBLP CrossRef
2927
TÍTULO: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTORES: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, NÚMERO: PART 2, PÁGINAS: 191-+
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
2928
TÍTULO: Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach
AUTORES: Cardoso, HL ; Oliveira, E ;
PUBLICAÇÃO: 2010, FONTE: 7th International Workshop on Declarative Agent Languages and Technologies in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, VOLUME: 5948, PÁGINAS: 51-67
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2929
TÍTULO: Omnidirectional Locomotion in a Quadruped Robot: A CPG-based Approach
AUTORES: Vitor Matos; Cristina P Santos ;
PUBLICAÇÃO: 2010, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems in IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010), PÁGINAS: 3392-3397
INDEXADO EM: Scopus WOS CrossRef: 18
2930
TÍTULO: On identifying and optimizing instruction sequences for dynamic compilation
AUTORES: João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2010, FONTE: FPT, PÁGINAS: 437-440
INDEXADO EM: Scopus DBLP CrossRef: 7
2931
TÍTULO: On Identifying Patterns in Code Repositories to Assist the Generation of Hardware Templates  Full Text
AUTORES: Adriano K Sanches; João M P Cardoso ;
PUBLICAÇÃO: 2010, FONTE: FPL, PÁGINAS: 267-270
INDEXADO EM: Scopus DBLP CrossRef: 7
2932
TÍTULO: On Identifying Segments of Traces for Dynamic Compilation  Full Text
AUTORES: João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2010, FONTE: FPL, PÁGINAS: 263-266
INDEXADO EM: Scopus DBLP CrossRef: 7
2933
TÍTULO: On Using LALP to Map an Audio Encoder/Decoder on FPGAs
AUTORES: Ricardo Menotti; Joao M P Cardoso ; Marcio M Fernandes; Eduardo Marques;
PUBLICAÇÃO: 2010, FONTE: IEEE International Symposium on Industrial Electronics (ISIE) in IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE 2010), PÁGINAS: 3063-3068
INDEXADO EM: Scopus WOS CrossRef: 2
2934
TÍTULO: Password sharing and how to reduce it
AUTORES: Ferreira, A ; Correia, R ; Chadwick, DW; Santos, H; Gomes, R; Reis, D; Antunes, L ;
PUBLICAÇÃO: 2010, FONTE: Certification and Security in Health-Related Web Applications: Concepts and Solutions, PÁGINAS: 243-263
INDEXADO EM: Scopus CrossRef: 2
2936
TÍTULO: Patterns for consistent software documentation
AUTORES: Correia, FF ; Ferreira, HS ; Aguiar, A ; Flores, N ;
PUBLICAÇÃO: 2010, FONTE: 16th Conference on Pattern Languages of Programs, PLoP09 in ACM International Conference Proceeding Series
INDEXADO EM: Scopus CrossRef: 15
2937
TÍTULO: Performance parameters of a whole body counter  Full Text
AUTORES: Bento, J; Teles, P ; Silva, L; Nogueira, P ; Neves, M; Vaz, P ;
PUBLICAÇÃO: 2010, FONTE: RADIATION MEASUREMENTS, VOLUME: 45, NÚMERO: 2, PÁGINAS: 190-195
INDEXADO EM: Scopus WOS CrossRef: 12
2938
TÍTULO: Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation
AUTORES: Marco M Mendes; Francisco Restivo ; Paulo Leitao ; Armando W Colombo;
PUBLICAÇÃO: 2010, FONTE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314, PÁGINAS: 233-240
INDEXADO EM: Scopus WOS CrossRef
2939
TÍTULO: PETTool: A pattern-based GUI testing tool
AUTORES: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLICAÇÃO: 2010, FONTE: 2010 2nd International Conference on Software Technology and Engineering, ICSTE 2010 in ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings, VOLUME: 1
INDEXADO EM: Scopus CrossRef: 12
2940
TÍTULO: Playmaker: Graphical Definition of Formations and Setplays
AUTORES: Luis Paulo Reis ; Rui Lopes; Luis Mota ; Nuno Lau ;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PÁGINAS: 582-587
INDEXADO EM: Scopus WOS

Results per Page: 20.
Página 147 de 185. Total de resultados: 3694.