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

37 Team Members
Filters -> Year: 2024
542
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
543
TÍTULO: Rand-FaSE: fast approximate subgraph census
AUTORES: Pedro Paredes ; Pedro Ribeiro ;
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: 9
544
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
546
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
547
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
548
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
549
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
550
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
551
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
552
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
553
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
554
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
555
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
556
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
557
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
558
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
559
TÍTULO: When Good-Enough is Enough: Complex Queries at Fixed Cost
AUTORES: Nathan D Mickulicz; Rolando Martins ; Priya Narasimhan; Rajeev Gandhi;
PUBLICAÇÃO: 2015, FONTE: 1st IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015 in First IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2015, Redwood City, CA, USA, March 30 - April 2, 2015, PÁGINAS: 89-98
INDEXADO EM: Scopus DBLP CrossRef: 3
560
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 28 de 55. Total de resultados: 1094.