Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer 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: 1120

37 Team Members
Filters -> Year: 2024
562
TÍTULO: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTORES: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 10, PÁGINAS: 280-298
INDEXADO EM: WOS DBLP CrossRef: 24
563
TÍTULO: Rand-FaSE: fast approximate subgraph census
AUTORES: Paredes, P ; Ribeiro, P ;
PUBLICAÇÃO: 2015, FONTE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 5, NÚMERO: 1, PÁGINAS: 17:1-17:18
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
564
TÍTULO: Reducing Large Semantic Graphs to Improve Semantic Relatedness
AUTORES: Teresa Costa ; Jose Paulo Leal ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PÁGINAS: 236-245
INDEXADO EM: Scopus WOS DBLP CrossRef
566
TÍTULO: Reducing WSN Simulation Runtime by using Multiple Simultaneous Instances  Full Text
AUTORES: Pedro Pinto ; Antnio Pinto ; Manuel Ricardo ;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXADO EM: Scopus WOS CrossRef
567
TÍTULO: SkILL - a Stochastic Inductive Logic Learner
AUTORES: Joana Corte Real ; Theofrastos Mantadelis ; Ines Dutra ; Ricardo Rocha ; Elizabeth Burnside;
PUBLICAÇÃO: 2015, FONTE: IEEE 14th International Conference on Machine Learning and Applications ICMLA in 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA), PÁGINAS: 555-558
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
568
TÍTULO: Social Media Content Analysis in the Higher Education Sector: From Content to Strategy. From Content to Strategy
AUTORES: Luciana Oliveira ; Álvaro Figueira ;
PUBLICAÇÃO: 2015, FONTE: IJWP, VOLUME: 7, NÚMERO: 2, PÁGINAS: 16-32
INDEXADO EM: Scopus DBLP CrossRef: 7
569
TÍTULO: Special Issue: Euro-Par 2014  Full Text
AUTORES: Christian Lengauer; Luc Bouge; Fernando Silva ;
PUBLICAÇÃO: 2015, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 27, NÚMERO: 16, PÁGINAS: 4073-4074
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
570
TÍTULO: The Impact of Longstanding Messages In Micro-Blogging Classification
AUTORES: Joana Costa; Catarina Silva ; Mario Antunes ; Bernardete Ribeiro ;
PUBLICAÇÃO: 2015, FONTE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
571
TÍTULO: Thread-aware logic programming for data-driven parallel programs PDF
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLICAÇÃO: 2015, FONTE: 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1433
INDEXADO EM: Scopus DBLP
572
TÍTULO: Time/Space based Biometric Handwritten Signature Verification
AUTORES: Ricardo P Goncalves ; Alexandre B Augusto; Manuel E. Correia ;
PUBLICAÇÃO: 2015, FONTE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXADO EM: Scopus WOS CrossRef
573
TÍTULO: Towards Out-of-the-Box Programming of Wireless Sensor-Actuator Networks
AUTORES: Gil Ferro ; Roberto Silva; Luis Lopes ;
PUBLICAÇÃO: 2015, FONTE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PÁGINAS: 110-119
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
574
TÍTULO: Towards programmable coordination of unmanned vehicle networks
AUTORES: Marques, ERB ; João Manuel R. S. Tavares ; Pinto, J ; Sousa, JB ; Martins, F;
PUBLICAÇÃO: 2015, FONTE: 4th IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles, NGCUV 2015 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 48, NÚMERO: 2, PÁGINAS: 256-261
INDEXADO EM: Scopus CrossRef: 5
575
TÍTULO: Tuning a Semantic Relatedness Algorithm using a Multiscale Approach  Full Text
AUTORES: Leal, JP ; Costa, T ;
PUBLICAÇÃO: 2015, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 12, NÚMERO: 2, PÁGINAS: 635-654
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
576
TÍTULO: Uncoordinated Frequency Hopping for secrecy with broadband jammers and eavesdroppers
AUTORES: Sousa, JS; Vilela, JP ;
PUBLICAÇÃO: 2015, FONTE: IEEE International Conference on Communications, ICC 2015 in IEEE International Conference on Communications, VOLUME: 2015-September, PÁGINAS: 7252-7256
INDEXADO EM: Scopus
577
TÍTULO: Uncoordinated Frequency Hopping for Secrecy with Broadband Jammers and Eavesdroppers
AUTORES: Joao Sa Sousa; Joao P Vilela ;
PUBLICAÇÃO: 2015, FONTE: IEEE International Conference on Communications (ICC) in 2015 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PÁGINAS: 7252-7256
INDEXADO EM: WOS CrossRef: 1
578
TÍTULO: Visualization of Passively Extracted HL7 Production Metrics
AUTORES: Ricardo Ferreira ; Manuel E. Correia ; Francisco Nuno Rocha Goncalves ; Ricardo João Cruz Correia ;
PUBLICAÇÃO: 2015, FONTE: 8th International Conference on Health Informatics, HEALTHINF 2015 in HEALTHINF 2015 - Proceedings of the International Conference on Health Informatics, Lisbon, Portugal, 12-15 January, 2015., PÁGINAS: 423-430
INDEXADO EM: Scopus DBLP CrossRef
579
TÍTULO: When Good-Enough is Enough: Complex Queries at Fixed Cost
AUTORES: Mickulicz, ND; Rolando Martins ; Narasimhan, P; Gandhi, R;
PUBLICAÇÃO: 2015, FONTE: 1st IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015 in 2015 IEEE FIRST INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING SERVICE AND APPLICATIONS (BIGDATASERVICE 2015), PÁGINAS: 89-98
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
580
TÍTULO: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal
AUTORES: Maria João Varanda Pereira; José Paulo Leal ; Alberto Simões;
PUBLICAÇÃO: 2014, FONTE: SLATE, VOLUME: 38
INDEXADO EM: DBLP

Results per Page: 20.
Página 29 de 56. Total de resultados: 1120.